Development of requirements specifications is a key activity in the development of a system. Model based development techniques can help validation of requirements specifications by allowing early simulation and testing. However models are created by interpreting written requirements, and potential representation errors continue to exist. This paper reports on 'AMBERS', or assertive model-based engineering requirement specifications, an Airbus initiative to improve the quality of engineering specifications by providing a common framework for requirements engineers and modelling engineers to work in. The AMBERS framework builds on the software cost reduction US-NRL method to augment textual requirements with assertive (Parnas) function tables and creates a bridge to model-based developments by using these tables as proof objectives that a model must comply with. This supports proofguided simulation and testing, allowing more effective use of validation activities. Extending DOORS and SCADE to provide a two-way traceability between model and requirements specification, and to provide support for automatic proof generation has allowed developing a tool support prototype for the 'AMBERS' approach.
AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration
AMBERS: Verbesserte Anforderungsspezifikation durch repräsentative Modelle und SCADE/DOORS
2007
25 Seiten, 18 Bilder, 5 Quellen
Conference paper
English
Sichere SSW-Architektur mit SCADE
Automotive engineering | 2015
|Using SCADE System for the Design and Integration of Critical Systems
SAE Technical Papers | 2011
|Modeling and Realization of CBTC Interlocking System Using SCADE
Trans Tech Publications | 2013
|SCADE-based interlocking system, interlocking control method, equipment and storage medium
European Patent Office | 2023
|