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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Using SPIN model checking for flight software verification


    Beteiligte:
    Gluck, P. R. (Autor:in) / Holzmann, G. J. (Autor:in)

    Kongress:

    IEEE Aerospace Conference


    Erscheinungsdatum :

    10.03.2002


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch




    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