A Theory of Fault Recovery for Component-Based Models - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

A Theory of Fault Recovery for Component-Based Models

Abstract

This paper introduces a theory of fault recovery for component-based models. In our framework, a model is specified in terms of a set of atomic components that are incrementally composed and synchronized by a set of glue operators. We define what it means for such models to provide a recovery mechanism, so that the model converges to its normal behavior in the presence of faults. We identify \emph{corrector} (atomic or composite) components whose presence in a model is essential to guarantee recovery after the occurrence of faults. We also formalize component-based models that effectively \emph{separate} recovery from functional concerns.
No file

Dates and versions

hal-00747622 , version 1 (31-10-2012)

Identifiers

Cite

Borzoo Bonakdarpour, Marius Bozga, Gregor Goessler. A Theory of Fault Recovery for Component-Based Models. Stabilization, Safety, and Security of Distributed Systems, 2012, Toronto, Canada. ⟨10.1109/SRDS.2011.39⟩. ⟨hal-00747622⟩
120 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More