Skip to Main content Skip to Navigation
Conference papers

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
Complete list of metadata
Contributor : Gregor Gössler Connect in order to contact the contributor
Submitted on : Wednesday, October 31, 2012 - 5:13:32 PM
Last modification on : Wednesday, July 6, 2022 - 4:11:56 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. ⟨10.1109/SRDS.2011.39⟩. ⟨hal-00747622⟩



Record views