The University of Southampton
University of Southampton Institutional Repository

The engineering of generic requirements for failure management

Record type: Conference or Workshop Item (Paper)

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.

PDF refsq05postWS.pdf - Other
Download (326kB)

Citation

Snook, Colin, Poppleton, Michael and Johnson, Ian, (2005) The engineering of generic requirements for failure management Kamsties, Erik, Gervasi, Vincenzo and Sawyer, Pete (eds.) At Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality. 13 - 14 Jun 2005. , pp. 145-160.

More information

Published date: 2005
Additional Information: Event Dates: 13-14 June 2005
Venue - Dates: Eleventh International Workshop on Requirements Engineering: Foundation for Software Quality, 2005-06-13 - 2005-06-14
Keywords: generic requirements, refinement, failure detection and management, formal validation, formal verification
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 261882
URI: http://eprints.soton.ac.uk/id/eprint/261882
ISBN: ISBN 3-922602-98-3
PURE UUID: eea18174-3f92-4f8c-8cbf-9c30d9ca12c8
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983

Catalogue record

Date deposited: 30 Jan 2006
Last modified: 18 Jul 2017 08:57

Export record

Contributors

Author: Colin Snook ORCID iD
Author: Michael Poppleton
Author: Ian Johnson
Editor: Erik Kamsties
Editor: Vincenzo Gervasi
Editor: Pete Sawyer

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.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

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.

×