Rigorous engineering of product-line requirements: a case study in failure management

Snook, Colin, Poppleton, Michael and Johnson, Ian (2008) Rigorous engineering of product-line requirements: a case study in failure management. [in special issue: Section 1: Most-cited software engineering articles in 2001. Section 2: Requirement engineering: Foundation for software quality] Information and Software Technology, 50, (1-2), 112-129. (doi:10.1016/j.infsof.2007.10.010).


[img] PDF - Published Version
Download (511Kb)


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 method 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 system instance. Domain analysis and engineering produce a validated 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, ProB and prototype Requirements Manager tools. This work is a demonstrator for a tool-supported method which will be an output of EU project RODIN\footnote{This work is conducted in the setting of the EU funded research project: IST 511599 RODIN (Rigorous Open Development Environment for Complex Systems) \texttt{http://rodin.cs.ncl.ac.uk/}.}. The use of existing and prototype formal verification and support tools is discussed. The method, developed in application to this novel combination of product line, failure management and safety-critical engineering, is evaluated and considered to be applicable to a wide range of domains.

Item Type: Article
ISSNs: 0950-5849 (print)
Keywords: formal specification, generic requirements, product line, refinement, tools, uml-b, verification, failure management, formal, generic, refinement, requirements
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
T Technology > TS Manufactures
Divisions: Faculty of Physical Sciences and Engineering > Electronics and Computer Science > Electronic & Software Systems
ePrint ID: 266490
Date Deposited: 03 Aug 2008 22:28
Last Modified: 27 Mar 2014 20:11
Further Information:Google Scholar
ISI Citation Count:0
URI: http://eprints.soton.ac.uk/id/eprint/266490

Actions (login required)

View Item View Item