NASA Langley´s research and technology-transfer program in formal methods

Author

Butler, Ricky W. ; Caldwell, James L. ; Carreno, V.A. ; Holloway, C. Michael ; Miner, Paul S. ; Vito, Ben L Di

Author_Institution

Assessment Technol. Branch, NASA Langley Res. Center, Hampton, VA, USA

fYear

1995

fDate

25-29 Jun 1995

Firstpage

135

Lastpage

149

Abstract

This paper presents an overview of NASA Langley´s research program in formal methods. The major goals of this work are to make formal methods practical for use on life critical systems, and to orchestrate the transfer of this technology to U.S. industry through use of carefully designed demonstration projects. 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 five NASA civil servants and contractors from Odyssey Research Associates, SRI International, and ViGYAN Inc

Keywords

aerospace computing; formal specification; safety-critical software; technology transfer; NASA Langley´s research and technology-transfer program; Odyssey Research Associates; SRI International; ViGYAN Inc; direct technology transfer; formal methods; life critical systems; real aerospace computer systems; Aerospace control; Aerospace electronics; Aerospace industry; Aircraft propulsion; Computer bugs; Error correction; Hardware; Microprocessors; NASA; Space technology;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Assurance, 1995. COMPASS '95. Systems Integrity, Software Safety and Process Security. Proceedings of the Tenth Annual Conference on

Conference_Location

Gaithersburg, MD

Print_ISBN

0-7803-2680-2

Type

conf

DOI

10.1109/CMPASS.1995.521893

Filename

521893