Title :
Analytic verification of flight software
Author :
Lowry, Michael ; Dvorak, Daniel
Author_Institution :
NASA Ames Res. Center, Moffett Field, CA, USA
Abstract :
To provide rigorous validation and verification of autonomous flight software for space vehicles, the authors apply two analytic verification approaches: design-time model checking and run-time behavior auditing
Keywords :
aerospace control; auditing; mobile robots; program verification; space vehicles; analytic verification; autonomous flight software; autonomous space vehicles; design-time model checking; runtime behavior auditing; software validation; Algorithm design and analysis; Circuit simulation; Circuit testing; Computational modeling; Formal verification; Microprogramming; Protocols; Space missions; Space technology; System testing;
Journal_Title :
Intelligent Systems and their Applications, IEEE
DOI :
10.1109/5254.722359
