Applying Run-Time Monitoring to the Deep-Impact Fault Protection Engine

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.

• Type: Conference
• Year: 2003
• Where: SEW
• Authors: Doron Drusinsky, Garth Watney
• Keywords: Lightweight Verification Method, Run-time Monitoring, Run-time Monitoring Tool, SEW 2003