Towards a methodology for rigorous development of generic requirements patterns


Snook, Colin, Poppleton, Michael and Johnson, Ian (2005) Towards a methodology for rigorous development of generic requirements patterns. In, Workshop on Rigorous Engineering of Fault Tolerant Systems, Newcastle, UK, , 17-27.

Download

[img] PDF
Download (107Kb)

Description/Abstract

We present work in progress on a methodology 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. 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 verification 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.

Item Type: Conference or Workshop Item (Paper)
Additional Information: Event Dates: 19-07-2005
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 261201
Date Deposited: 08 Sep 2005
Last Modified: 27 Mar 2014 20:04
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/261201

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