Towards a method for rigorous development of generic requirements patterns
Snook, Colin, Poppleton, Michael and Johnson, Ian (2006) Towards a method for rigorous development of generic requirements patterns. In, Butler, M, Jones, C, Romanovsky, A and Troubitsyna, E (eds.) Rigorous development of complex fault tolerant systems. , Springer-Verlag Lecture Notes in Computer Science, 326-342. (Springer Lecture Notes in Computer Science).
This is the latest version of this item.
We present work in progress on a method for the engineering, validation and verification 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 verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural 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:||Book Section|
|Additional Information:||LNCS 4157|
|Keywords:||generic requirements, formal methods, failure management, UML-B|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science
|Date Deposited:||10 Aug 2006|
|Last Modified:||27 Mar 2014 20:06|
|Publisher:||Springer-Verlag Lecture Notes in Computer Science|
|Further Information:||Google Scholar|
|ISI Citation Count:||0|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Available Versions of this Item
Towards a method for rigorous development of generic requirements patterns. (deposited 06 Jul 2006)
- Towards a method for rigorous development of generic requirements patterns. (deposited 10 Aug 2006) [Currently Displayed]
Actions (login required)