Toward an Error Handling Mechanism for Timing Errors With Java Pathfinder and Ptolemy II
Designing effective error handling systems in an embedded software system is essential for acceptable and reliable functionality in cases of errors and for the recovery from faults. Errors in the error handling system can cause catastrophic failures of the software, lead to mission failures and can endanger human life. The authors take a principled approach of extending a Model of Computation (MoC) with timing semantics for embedded systems by an error handling mechanism for timing errors in model-based design. As a apart of the mechanism they use Java Path Finder (JPF), a model checker developed at NASA Ames.