Towards a method for rigorous development of generic requirements patterns

Snook, Colin, Poppleton, Michael and Johnson, Ian, Butler, M, Jones, C, Romanovsky, A and Troubitsyna, E (eds.) (2006) Towards a method for rigorous development of generic requirements patterns, Springer-Verlag (Springer Lecture Notes in Computer Science).

WarningThere is a more recent version of this item available.


[img] PDF
Download (294Kb)


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
Keywords: generic requirements, formal methods, failure management, UML-B
Divisions : Faculty of Physical Sciences and Engineering > Electronics and Computer Science
ePrint ID: 262810
Accepted Date and Publication Date:
Date Deposited: 06 Jul 2006
Last Modified: 27 Mar 2014 20:06
Further Information:Google Scholar

Available Versions of this Item

Actions (login required)

View Item View Item

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