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, Springer-Verlag (Springer Lecture Notes in Computer Science).

WarningThere is a more recent version of this item available.

Download

[img] PDF
Download (294Kb)

Description/Abstract

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
Date Deposited: 06 Jul 2006
Last Modified: 27 Mar 2014 20:06
Publisher: Springer-Verlag
Further Information:Google Scholar
ISI Citation Count:0
URI: http://eprints.soton.ac.uk/id/eprint/262810

Available Versions of this Item

Actions (login required)

View Item View Item