The goal of this task was to investigate how formal methods could be incorporated into a software engineering process for flight-control systems under DO-178B and to demonstrate that process by developing a formal specification for NASA's Guidance and Controls Software (GCS) Experiment. GCS is software to control the descent of a spacecraft onto a planet's surface. The GCS example is simplified from a real example spacecraft, but exhibits the characteristics of realistic spacecraft control software. The formal specification is written in Larch.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Using formal specification in the Guidance and Control Software (GCS) experiment. Formal design and verification technology for life critical systems


    Beteiligte:
    Weber, Doug (Autor:in) / Jamsek, Damir (Autor:in)

    Erscheinungsdatum :

    05.04.1994


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch