Application of Early Error Detection for Handling Degraded Modes of Operation

Thomas Robert (1) , Jean-Charles Fabre (1) , Matthieu Roy (1)

1 LAAS-TSF - Équipe Tolérance aux fautes et Sûreté de Fonctionnement informatique

Real-time software applications are in charge of maintaining a timely and predictable interaction with their environment, being it hardware devices, or other software entities. In this paper, we illustrate the use of early error detectors (that we previously described in [1]), generated from timed automata based specifications, in a recovery block-like design pattern. This design pattern is enhanced with our Early Error Detection service that allows triggering as soon as possible error recovery mechanisms

Mots clés: timed automata; monitoring for early detection; fault tolerance design pattern

Domaines: Génie logiciel [cs.SE]

Thomas Robert, Jean-Charles Fabre, Matthieu Roy. Application of Early Error Detection for Handling Degraded Modes of Operation. 12th European Workshop on Dependable Computing, EWDC 2009, May 2009, Toulouse, France. 3 p. ⟨hal-00381913⟩