Runtime Assertion Checking of Temporal Specifications in a Mobile Environment - AHS
A mobile concurrent system can be checked for correctness at run-time by placing assertions in the code in a method called assertion checking. We propose using this method on a model problem, the Automated Highway System (AHS), to ensure that temporal specifications of the system are fulfilled at run-time. The process of assertion checking used involves collection of event histories and using assertions to scan through these histories to evaluate them for correctness. Implementation results using Java Aglets (Mobile Agents) on a network of workstations are used to measure the effectiveness of the error detection through fault coverage and error detection latency for various induced failures.
C. Sreerambhatla and B. M. McMillin, "Runtime Assertion Checking of Temporal Specifications in a Mobile Environment - AHS," 2001 Symposium on Reliable Distributed Systems, Jan 2001.
Keywords and Phrases
Error Checking; Mobile Computing; Monitoring; Software Correctness; Temporal Logic
Article - Conference proceedings