We describe a recent NASA-sponsored pilot project intended to gauge the effectiveness of using formal methods in Space Shuttle software requirements analysis. Several Change Requests (CRs) were selected as promising targets to demonstrate the utility of formal methods in this demanding application domain. A CR to add new navigation capabilities to the Shuttle, based on Global Positioning System (GPS) technology, is the focus of this industrial usage report. Portions of the GPS CR were modeled using the language of SRI's Prototype Verification System (PVS). During a limited analysis conducted on the formal specifications, numerous requirements issues were discovered. We present a summary of these encouraging results and conclusions we have drawn from the pilot project.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Formalizing New Navigation Requirements for NASA's Space Shuttle


    Beteiligte:
    DiVito, Ben L. (Autor:in)

    Erscheinungsdatum :

    01.01.1996


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Keine Angabe


    Sprache :

    Englisch







    NASA's Space Shuttle: Perspectives on Technology Transfer

    Lockney, D. / American Institute of Aeronautics and Astronautics | British Library Conference Proceedings | 2010


    Shuttle diplomacy [NASA's manned space flight programme]

    Williamson, M. | IET Digital Library Archive | 2003