The University of Southampton
University of Southampton Institutional Repository

Towards a methodology for rigorous development of generic requirements patterns

Record type: Conference or Workshop Item (Paper)

We present work in progress on a methodology for the engineering, validation and veri?cation of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of veri?cation demanded by safety-critical domains such as avionics. We consider the failure detection and management function for engine control systems as an application domain where product line engineering is useful. The methodology produces a generic requirement set in our, UML based, formal notation, UML-B. The formal veri?cation both of the generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools.

PDF reft_009.pdf - Other
Download (109kB)

Citation

Snook, Colin, Poppleton, Michael and Johnson, Ian, (2005) Towards a methodology for rigorous development of generic requirements patterns Butler, M, Jones, C, Romanovsky, A and Troubitsyna, E (eds.) At Workshop on Rigorous Engineering of Fault Tolerant Systems, United Kingdom. , pp. 17-27.

More information

Published date: 2005
Additional Information: Event Dates: 19-07-2005
Venue - Dates: Workshop on Rigorous Engineering of Fault Tolerant Systems, United Kingdom, 2005-07-19
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 261201
URI: http://eprints.soton.ac.uk/id/eprint/261201
PURE UUID: dea0c0f7-ce0f-4c64-bd32-6008f27945a0
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983
ORCID for M Butler: ORCID iD orcid.org/0000-0003-4642-5373

Catalogue record

Date deposited: 08 Sep 2005
Last modified: 18 Jul 2017 09:04

Export record

Contributors

Author: Colin Snook ORCID iD
Author: Michael Poppleton
Author: Ian Johnson
Editor: M Butler ORCID iD
Editor: C Jones
Editor: A Romanovsky
Editor: E Troubitsyna

University divisions


Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×