The University of Southampton
University of Southampton Institutional Repository

Towards a method for rigorous development of generic requirements patterns

Snook, Colin, Poppleton, Michael and Johnson, Ian (2006) Towards a method for rigorous development of generic requirements patterns In, Butler, M, Jones, C, Romanovsky, A and Troubitsyna, E (eds.) Rigorous development of complex fault tolerant systems. Springer-Verlag Lecture Notes in Computer Science pp. 326-342. (Springer Lecture Notes in Computer Science).

Record type: Book Section

Abstract

We present work in progress on a method for the engineering, validation and verification 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 verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools.

PDF reft05Book.pdf - Other
Download (301kB)

More information

Published date: 2006
Additional Information: LNCS 4157
Keywords: generic requirements, formal methods, failure management, UML-B
Organisations: Electronics & Computer Science

Identifiers

Local EPrints ID: 262889
URI: http://eprints.soton.ac.uk/id/eprint/262889
ISBN: 978-3-540-48265-9
PURE UUID: 5bd2e24b-8ac7-4b96-bd0c-83342594e277

Catalogue record

Date deposited: 10 Aug 2006
Last modified: 18 Jul 2017 08:47

Export record

Contributors

Author: Colin Snook
Author: Michael Poppleton
Author: Ian Johnson
Editor: M Butler
Editor: C Jones
Editor: A Romanovsky
Editor: E Troubitsyna

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.

×