The workshop brought together researchers involved in the NASA formal methods research effort for detailed technical interchange and provided a mechanism for interaction with representatives from the FAA and the aerospace industry. The workshop also included speakers from industry to debrief the formal methods researchers on the current state of practice in flight critical system design, verification, and certification. The goals were: define and characterize the verification problem for ultra-reliable life critical flight control systems and the current state of practice in industry today; determine the proper role of formal methods in addressing these problems, and assess the state of the art and recent progress toward applying formal methods to this area.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    NASA Formal Methods Workshop, 1990


    Beteiligte:

    Erscheinungsdatum :

    1990-11-01


    Medientyp :

    Sonstige


    Format :

    Keine Angabe


    Sprache :

    Englisch




    1990 NASA Aerospace Battery Workshop

    L. M. Kennedy | NTIS | 1991


    The 1990 NASA Aerospace Battery Workshop

    Kennedy, Lewis M. | NTRS | 1991


    The 1990 NASA Aerospace Battery Workshop : proceedings of a workshop ... Huntsville, Alabama, December 4 - 6, 1990

    Aerospace Battery Workshop / USA, Aerospace Battery Steering Committee | TIBKAT | 1991



    Overview of NASA Langley's Formal Methods Program

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