A Theory of Fault Recovery for Component-Based Models - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2012

A Theory of Fault Recovery for Component-Based Models

Résumé

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.
Fichier non déposé

Dates et versions

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

Identifiants

Citer

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⟩
123 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More