An overview of NASA Langley's research program in formal methods is presented. The major goal of this work is to bring formal methods technology to a sufficiently mature level for use by the United States aerospace industry. Towards this goal, work is underway to design and formally verify a fault-tolerant computing platform suitable for advanced flight control applications. Also, several direct technology transfer efforts have been initiated that apply formal methods to critical subsystems of real aerospace computer systems. The research team consists of six NASA civil servants and contractors from Boeing Military Aircraft Company, Computational Logic Inc., Odyssey Research Associates, SRI International, University of California at Davis, and Vigyan Inc.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Brief Overview of NASA Langley's Research Program in Formal Methods


    Erscheinungsdatum :

    1992


    Format / Umfang :

    14 pages


    Medientyp :

    Report


    Format :

    Keine Angabe


    Sprache :

    Englisch





    Overview of NASA Langley's Formal Methods Program

    Butler, R. W. / United States; National Aeronautics and Space Administration | British Library Conference Proceedings | 1995


    Overview of NASA Langley's Systems Analysis Capabilities

    Cavanaugh, S. / Kumar, A. / Brewer, L. et al. | British Library Conference Proceedings | 2006


    Overview of NASA Langley's Systems Analysis Capabilities

    Cavanaugh, Stephen / Kumar, Ajay / Brewer, Laura et al. | AIAA | 2006