Title :
NASA Langley´s research program in formal methods
Author :
Butler, Ricky W.
Author_Institution :
NASA Langley Res. Center, Hampton, VA, USA
Abstract :
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
Keywords :
aerospace computer control; fault tolerant computing; formal logic; formal specification; program verification; Byzantine agreement; NASA civil servants; advanced flight control applications; aerospace designs; clock synchronization; contractors; critical subsystems; fault-tolerant computing platform; formal methods; research program; verification; voting; Aerospace control; Aerospace engineering; Aircraft propulsion; Computer industry; Electronics industry; Formal verification; Logic; NASA; Technical Councils; Utility programs;
Conference_Titel :
Computer Assurance, 1991. COMPASS '91, Systems Integrity, Software Safety and Process Security. Proceedings of the Sixth Annual Conference on
Conference_Location :
Gaithersburg, MD
Print_ISBN :
0-7803-0126-9
DOI :
10.1109/CMPASS.1991.161055
