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.
Document type :
Conference papers
Liste complète des métadonnées

Contributor : Gregor Gössler <>
Submitted on : Wednesday, October 31, 2012 - 5:13:32 PM
Last modification on : Thursday, October 11, 2018 - 8:48:03 AM




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. 2012, 〈10.1109/SRDS.2011.39〉. 〈hal-00747622〉



Record views