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
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;
Conference_Titel :
Software Engineering Workshop, 2003. Proceedings. 28th Annual NASA Goddard
Print_ISBN :
0-7695-2064-2
DOI :
10.1109/SEW.2003.1270735
