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.
A brief overview of NASA Langley's research program in formal methods
1992-11-01
Aufsatz (Konferenz)
Keine Angabe
Englisch
Overview of NASA Langley's Formal Methods Program
British Library Conference Proceedings | 1995
|Overview of NASA Langley's Systems Analysis Capabilities
British Library Conference Proceedings | 2006
|Overview of NASA Langley's Systems Analysis Capabilities
AIAA | 2006
|ARIES: NASA Langley's Airborne Research Facility
NTRS | 2002
|