DocumentCode
2598639
Title
Applying run-time monitoring to the Deep-Impact fault protection engine
Author
Drusinsky, Doron ; Watney, Garth
Author_Institution
Time Rover Inc., Cupertino, CA, USA
fYear
2003
fDate
3-4 Dec. 2003
Firstpage
127
Lastpage
133
Abstract
Run-time monitoring is a lightweight verification method whereby the correctness of a programs´ execution is verified at run-time using executable specifications. This paper describes the verification of the fault protection engine of the Deep-Impact spacecraft flight software using a temporal logic based run-time monitoring tool.
Keywords
aerospace computing; data flow analysis; formal specification; program verification; software fault tolerance; temporal logic; Deep-Impact spacecraft; executable specifications; fault protection engine; program execution; program verification; run-time monitoring; temporal logic; Engines; Graphical user interfaces; Logic; Monitoring; NASA; Protection; Protocols; Runtime; Software testing; Time factors;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard
Print_ISBN
0-7695-2064-2
Type
conf
DOI
10.1109/SEW.2003.1270735
Filename
1270735
Link To Document