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 pp. 326-342. (Springer Lecture Notes in Computer Science).

This is the latest version of this item.


[img] PDF reft05Book.pdf - Other
Download (301kB)


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
ISBNs: 9783540482659 (print)
Keywords: generic requirements, formal methods, failure management, UML-B
Organisations: Electronics & Computer Science
ePrint ID: 262889
Date :
Date Event
Date Deposited: 10 Aug 2006
Last Modified: 17 Apr 2017 21:34
Further Information:Google Scholar

Available Versions of this Item

Actions (login required)

View Item View Item