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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    AMBERS: Improving requirements specification through assertive models and SCADE/ DOORS integration


    Additional title:

    AMBERS: Verbesserte Anforderungsspezifikation durch repräsentative Modelle und SCADE/DOORS


    Contributors:


    Publication date :

    2007


    Size :

    25 Seiten, 18 Bilder, 5 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    Sichere SSW-Architektur mit SCADE

    Ansys Germany,DE / Subaru Motor,JP | Automotive engineering | 2015


    Using SCADE System for the Design and Integration of Critical Systems

    Le Guennec, Alain / Terrier, Francois / Gerard, Sebastien et al. | SAE Technical Papers | 2011


    Modeling and Realization of CBTC Interlocking System Using SCADE

    Wang, Xi ;Liu, Shuo | Trans Tech Publications | 2013


    SCADE-based interlocking system, interlocking control method, equipment and storage medium

    GUO YINGHUA / LIAO LIANG / HAO QINGSHENG et al. | European Patent Office | 2023

    Free access

    Route safety verification of train control system by FTA modeling in SCADE

    Wang, Haifeng / Ning, Bin / Chen, Tan et al. | IEEE | 2018