The University of Southampton
University of Southampton Institutional Repository

Towards a methodology for rigorous development of generic requirements patterns

Towards a methodology for rigorous development of generic requirements patterns
Towards a methodology for rigorous development of generic requirements patterns
We present work in progress on a methodology for the engineering, validation and veri?cation 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 veri?cation demanded by safety-critical domains such as avionics. We consider the failure detection and management function for engine control systems as an application domain where product line engineering is useful. The methodology produces a generic requirement set in our, UML based, formal notation, UML-B. The formal veri?cation both of the generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools.
17-27
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Poppleton, Michael
4c60e63f-188c-4636-98b9-de8a42789b1b
Johnson, Ian
c7857806-a02b-4336-8201-55e6d474a79b
Butler, M
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Jones, C
851a8ca4-5fc8-4412-a177-dd7a8c01eb65
Romanovsky, A
ad9d13c9-a56b-4c2d-ab89-1be78f53e31f
Troubitsyna, E
31589197-d602-43ae-abf3-ae759377fe0e
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Poppleton, Michael
4c60e63f-188c-4636-98b9-de8a42789b1b
Johnson, Ian
c7857806-a02b-4336-8201-55e6d474a79b
Butler, M
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Jones, C
851a8ca4-5fc8-4412-a177-dd7a8c01eb65
Romanovsky, A
ad9d13c9-a56b-4c2d-ab89-1be78f53e31f
Troubitsyna, E
31589197-d602-43ae-abf3-ae759377fe0e

Snook, Colin, Poppleton, Michael and Johnson, Ian (2005) Towards a methodology for rigorous development of generic requirements patterns. Butler, M, Jones, C, Romanovsky, A and Troubitsyna, E (eds.) At Workshop on Rigorous Engineering of Fault Tolerant Systems Workshop on Rigorous Engineering of Fault Tolerant Systems, United Kingdom. pp. 17-27.

Record type: Conference or Workshop Item (Paper)

Abstract

We present work in progress on a methodology for the engineering, validation and veri?cation 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 veri?cation demanded by safety-critical domains such as avionics. We consider the failure detection and management function for engine control systems as an application domain where product line engineering is useful. The methodology produces a generic requirement set in our, UML based, formal notation, UML-B. The formal veri?cation both of the 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 reft_009.pdf - Other
Download (109kB)

More information

Published date: 2005
Additional Information: Event Dates: 19-07-2005
Venue - Dates: Workshop on Rigorous Engineering of Fault Tolerant Systems, United Kingdom, 2005-07-19
Organisations: Electronic & Software Systems

Identifiers

Local EPrints ID: 261201
URI: https://eprints.soton.ac.uk/id/eprint/261201
PURE UUID: dea0c0f7-ce0f-4c64-bd32-6008f27945a0
ORCID for Colin Snook: ORCID iD orcid.org/0000-0002-0210-0983
ORCID for M Butler: ORCID iD orcid.org/0000-0003-4642-5373

Catalogue record

Date deposited: 08 Sep 2005
Last modified: 18 Jul 2017 09:04

Export record

Contributors

Author: Colin Snook ORCID iD
Author: Michael Poppleton
Author: Ian Johnson
Editor: M Butler ORCID iD
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 https://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.

×