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.
Finally, runtime monitoring, a lightweight version of verification, has been applied to the fault protection engine of the Deep-Impact spacecraft flight software REF .
Applying run-time monitoring to the Deep-Impact fault protection engine
28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.
28th Annual NASA Goddard Software Engineering Workshop, 2003. Proceedings.
Computer Science