MaC: A Framework for Run-Time Correctness Assurance of Real-Time Systems
Moonjoo Kim, Mahesh Viswanathan, Hanêne Ben‐Abdallah, Sampath Kannan, Insup Lee, Oleg V. Sokolsky · ScholarlyCommons (University of Pennsylvania) · 1998
1 We describe the Monitoring and Checking (MaC) framework which provides assur-ance on the correctness of program execution at run-time. Our approach complements the two traditional approaches for ensuring that a system is correct, namely static analy-sis and testing. Unlike these approaches, which try to ensure that all possible executions of the system are correct, our approach concentrates on the correctness of the current execution of the system. The MaC architecture consists of three components: a lter, an event recognizer, and a run-time checker. The lter extracts low-level information, e.g., values of program variables and function calls, from the system code, and sends it to the event recognizer. From this low-level information, the event recognizer detects the occurrence of \\ab-stract " requirements-level events, and informs the run-time checker about them. The run-time checker uses these events to check that the current system execution conforms to the formal requirements specication of the system.