This paper describes a project appling formal methods to a portion of the shuttle on-orbit digital autopilot (DAP). Three objectives of the project were to: demonstrate the use of formal methods on a shuttle application, facilitate the incorporation and validation of new requirements for the system, and verify the safety-critical properties to be exhibited by the software.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Applying Formal Methods and Object-Oriented Design to Existing Flight Software


    Beteiligte:
    Cheng, Betty (Autor:in) / Auernheimer, Brent (Autor:in)

    Erscheinungsdatum :

    01.12.1993


    Medientyp :

    Preprint


    Format :

    Keine Angabe


    Sprache :

    Englisch





    The Feasibility of Applying Object-Oriented Technologies to Operational Flight Software

    DuBois, T. A. / IEEE / AIAA | British Library Conference Proceedings | 2000



    Generation of object-oriented formal software specifications

    Hartrum, T.C. / Karagias, T. | IEEE | 1997


    Generation of Object-Oriented Formal Software Specifications

    Karagias, T. / Hartrum, T. / IEEE | British Library Conference Proceedings | 1997