Towards a methodology for rigorous development of generic requirements patterns


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.

Download

[img] PDF reft_009.pdf - Other
Download (109kB)

Description/Abstract

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.

Item Type: Conference or Workshop Item (Paper)
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
ePrint ID: 261201
Date :
Date Event
2005Published
Date Deposited: 08 Sep 2005
Last Modified: 17 Apr 2017 22:00
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261201

Actions (login required)

View Item View Item