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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2010-04-01


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Temporal requirements checking in a safety analysis of railway systems

    Defossez, F. / Collart-Dutilleul, S. / Bon, P. | Tema Archive | 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 Archive | 1998