NASA Langley´s research program in formal methods

Author

Butler, Ricky W.

Author_Institution

NASA Langley Res. Center, Hampton, VA, USA

fYear

1991

fDate

24-27 Jun 1991

Firstpage

157

Lastpage

162

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CMPASS.1991.161055

Filename

161055