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 veri?cation 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 veri?cation 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 veri?cation 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
Accepted Date and Publication Date:
Date Deposited: 08 Sep 2005
Last Modified: 31 Mar 2016 14:03
Further Information:Google Scholar

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