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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:
    Weber, Doug (author) / Jamsek, Damir (author)

    Publication date :

    1994-04-05


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English







    Formal Specification of Software Critical Systems with Agents

    Coriat, M. / IEEE; Aerospace and Electronics Systems Society | British Library Conference Proceedings | 1995


    Formal Verification of Flight Critical Software

    Miller, Steven / Anderson, Elise / Wagner, Lucas et al. | AIAA | 2005