Snook, Colin, Poppleton, Michael and Johnson, Ian,
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.
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.
Conference or Workshop Item
||Event Dates: 19-07-2005
|Venue - Dates:
||Workshop on Rigorous Engineering of Fault Tolerant Systems, United Kingdom, 2005-07-19
||Electronic & Software Systems
||08 Sep 2005
||17 Apr 2017 22:00
|Further Information:||Google Scholar|
Actions (login required)