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.


[img] PDF
Download (107Kb)


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

Actions (login required)

View Item View Item