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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

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


    Publication date :

    1992


    Size :

    14 pages


    Type of media :

    Report


    Type of material :

    No indication


    Language :

    English




    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