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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Contributors:

    Publication date :

    1993-12-01


    Type of media :

    Preprint


    Type of material :

    No indication


    Language :

    English






    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