A feasibility study was performed on a representative aerospace system to determine the following: (1) the benefits and limitations to using SCADE , a commercially available tool for model checking, in comparison to using a proprietary tool that was studied previously [1] and (2) metrics for performing the model checking and for assessing the findings. This study was performed independently of the development task by a group unfamiliar with the system, providing a fresh, external perspective free from development bias.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Phase Two Feasibility Study for Software Safety Requirements Analysis Using Model Checking


    Beteiligte:
    Turgeon, Gregory (Autor:in) / Price, Petra (Autor:in)


    Erscheinungsdatum :

    01.04.2010


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    Temporal requirements checking in a safety analysis of railway systems

    Defossez, F. / Collart-Dutilleul, S. / Bon, P. | Tema Archiv | 2008




    Validating Requirements for Fault Tolerant Systems Using Model Checking

    Holzlmann, Gerard J. / Callahan, John R. / Easterbrook, Steve M. et al. | NTRS | 1998


    Validating requirements for fault tolerant systems using model checking

    Schneider, F. / Easterbrook, S.M. / Callahan, J.R. et al. | Tema Archiv | 1998