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.
Type de document :
Communication dans un congrès
Stabilization, Safety, and Security of Distributed Systems, 2012, Toronto, Canada. 2012, 〈10.1109/SRDS.2011.39〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00747622
Contributeur : Gregor Gössler <>
Soumis le : mercredi 31 octobre 2012 - 17:13:32
Dernière modification le : jeudi 11 octobre 2018 - 08:48:03

Identifiants

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

191