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 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. 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 verification 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
2005
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.)
Workshop on Rigorous Engineering of Fault Tolerant Systems, Newcastle, United Kingdom.
.
Record type:
Conference or Workshop Item
(Paper)
Abstract
We present work in progress on a methodology 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. 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 verification 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.
Text
reft_009.pdf
- Other
More information
Published date: 2005
Additional Information:
Event Dates: 19-07-2005
Venue - Dates:
Workshop on Rigorous Engineering of Fault Tolerant Systems, Newcastle, United Kingdom, 2005-07-19
Organisations:
Electronic & Software Systems
Identifiers
Local EPrints ID: 261201
URI: http://eprints.soton.ac.uk/id/eprint/261201
PURE UUID: dea0c0f7-ce0f-4c64-bd32-6008f27945a0
Catalogue record
Date deposited: 08 Sep 2005
Last modified: 15 Mar 2024 03:12
Export record
Contributors
Author:
Colin Snook
Author:
Michael Poppleton
Author:
Ian Johnson
Editor:
M Butler
Editor:
C Jones
Editor:
A Romanovsky
Editor:
E Troubitsyna
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