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.

DOI: 10.1007/978-3-642-33536-5_31

Extracted Key Phrases

3 Figures and Tables

Cite this paper

@article{Bonakdarpour2011ATO, title={A Theory of Fault Recovery for Component-Based Models}, author={Borzoo Bonakdarpour and Marius Bozga and Gregor G{\"{o}\ssler}, journal={2011 IEEE 30th International Symposium on Reliable Distributed Systems}, year={2011}, pages={265-270} }