The University of Southampton
University of Southampton Institutional Repository

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), pp. 112-129. (doi:10.1016/j.infsof.2007.10.010).

Record type: Article


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{}.}. 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.

PDF ISTpoppleton.pdf - Version of Record
Download (523kB)

More information

e-pub ahead of print date: 26 October 2007
Published date: January 2008
Keywords: formal specification, generic requirements, product line, refinement, tools, uml-b, verification, failure management, formal, generic, requirements
Organisations: Electronic & Software Systems


Local EPrints ID: 266490
PURE UUID: 5e2271c2-a193-43f4-abfd-98f8909cb8ac
ORCID for Colin Snook: ORCID iD

Catalogue record

Date deposited: 03 Aug 2008 22:28
Last modified: 18 Jul 2017 07:16

Export record



Author: Colin Snook ORCID iD
Author: Michael Poppleton
Author: Ian Johnson

University divisions

Download statistics

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

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton:

ePrints Soton supports OAI 2.0 with a base URL of

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.