The engineering of generic requirements for failure management
Snook, Colin, Poppleton, Michael and Johnson, Ian (2005) The engineering of generic requirements for failure management. In, Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, Oporto, 13 - 14 Jun 2005. Essener Informatik Beitraege, 145-160.
This is the latest version of this item.
We consider the failure detection and management function for engine control systems as an application domain where product line engineering is indicated. 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 this safety-critical domain, subject to avionics industry standards. We present our case study experience in this area as a candidate methodology for the engineering, validation and verification of generic requirements using domain engineering and Formal Methods techniques and tools. For a defined class of systems, the case study produces a generic requirement set in UML and an example instantiation in tabular form. Domain analysis and engineering produce a model which is integrated with the formal specification/ verification method B by the use of our UML-B profile. The formal verification both of the generic requirement set, and of a simple system instance, is demonstrated using our U2B and ProB tools. This work is a demonstrator for a tool-supported method which will be an output of EU project RODIN. The method, based in the dominant UML standard, will exploit formal verification technology largely as a "black box" for this novel combination of product line, failure management and safety-critical engineering.
|Item Type:||Conference or Workshop Item (Paper)|
|Additional Information:||Event Dates: 13-14 June 2005|
|Keywords:||generic requirements, refinement, failure detection and management, formal validation, formal verification|
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
|Date Deposited:||30 Jan 2006|
|Last Modified:||27 Mar 2014 20:04|
|Publisher:||Essener Informatik Beitraege|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Available Versions of this Item
- The engineering of generic requirements for failure management. (deposited 30 Jan 2006) [Currently Displayed]
Actions (login required)