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...
Saved in:
Published in | COMPASS '91, Proceedings of the Sixth Annual Conference on Computer Assurance pp. 157 - 162 |
---|---|
Main Author | |
Format | Conference Proceeding |
Language | English |
Published |
IEEE
1991
|
Subjects | |
Online Access | Get full text |
Cover
Loading…
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 |