NASA Langley's research program in formal methods

An overview of NASA Langley's research program in formal methods is presented. Although the program is concerned with the application of formal methods to a wide range of aerospace designs, the focus of the work is on the design and verification of a fault-tolerant computing platform suitable f...

Full description

Saved in:
Bibliographic Details
Published inCOMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance pp. 157 - 162
Main Author Butler, R.W.
Format Conference Proceeding
LanguageEnglish
Published IEEE 1991
Subjects
Aerospace control
Aerospace engineering
Aircraft propulsion
Computer industry
Electronics industry
Formal verification
Logic
NASA
Technical Councils
Utility programs
Online AccessGet full text

Cover

More Information
Summary:An overview of NASA Langley's research program in formal methods is presented. Although the program is concerned with the application of formal methods to a wide range of aerospace designs, the focus of the work is on the design and verification of a fault-tolerant computing platform suitable for advanced flight control applications. The research team consists of NASA civil servants and contractors. Much of the progress has already been made in applying formal methods to critical subsystems such as clock synchronization, Byzantine agreement, voting, etc.< >
ISBN:0780301269
9780780301269
DOI:10.1109/CMPASS.1991.161055