We will describe the model checking process, the tools used, and the methods and conditions necessary to successfully perform model checking on the DS1 flight software.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Using SPIN model checking for flight software verification


    Contributors:

    Conference:

    IEEE Aerospace Conference


    Publication date :

    2002-03-10


    Type of media :

    Conference paper


    Type of material :

    No indication


    Language :

    English




    Using SPIN model checking for flight software verification

    Gluck, P.R. / Holzmann, G.J. | IEEE | 2002


    2.0303 Using Spin Model Checking for Flight Software Verification

    Institute of Electrical and Electronics Engineers | British Library Conference Proceedings | 2002


    Using SPIN model checking for verification of flight software

    Gluck, P. R. / Holzmann, G. J. | NTRS | 2002


    Program Model Checking Using Design-for-Verification: NASA Flight Software Case Study

    Markosian, Lawrence Z. / Mansouri-Samani, Masoud / Mehlitz, Peter C. et al. | IEEE | 2007


    Verification of Flight Software with Karnough Map-based Checking

    Jaw, Link / Tsai, W. T. / Homan, David et al. | IEEE | 2007