Shanna-Shaye Forbes

EECS Department, University of California, Berkeley

Technical Report No. UCB/EECS-2010-123

September 7, 2010

http://www2.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-123.pdf

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. We 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 we use Java PathFinder (JPF), a model checker developed at NASA Ames. This work presents our attempt during a summer project as we use JPF along with the Ptolemy II modeling and simulation framework, developed at UC Berkeley, with the goal of speeding up the design process of a correct and adequate error handling mechanism for timing errors for a model of computation with timing semantics.

---

BibTeX citation:

@techreport{Forbes:EECS-2010-123,
    Author= {Forbes, Shanna-Shaye},
    Title= {Toward an error handling mechanism for timing errors with Java Pathfinder and Ptolemy II},
    Year= {2010},
    Month= {Sep},
    Url= {http://www2.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-123.html},
    Number= {UCB/EECS-2010-123},
    Abstract= {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. We 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 we use Java PathFinder (JPF), a model checker developed at NASA Ames. This work presents our attempt during a summer project as we use JPF along with the Ptolemy II modeling and simulation framework, developed at UC Berkeley, with the goal of speeding up the design process of a correct and adequate error handling mechanism for timing errors for a model of computation with timing semantics.},
}

EndNote citation:

%0 Report
%A Forbes, Shanna-Shaye 
%T Toward an error handling mechanism for timing errors with Java Pathfinder and Ptolemy II
%I EECS Department, University of California, Berkeley
%D 2010
%8 September 7
%@ UCB/EECS-2010-123
%U http://www2.eecs.berkeley.edu/Pubs/TechRpts/2010/EECS-2010-123.html
%F Forbes:EECS-2010-123