A Theory of Fault Recovery for Component-Based Models

Author

Bonakdarpour, Borzoo ; Bozga, Marius ; Goessler, Gregor

Author_Institution

Sch. of Comput. Sci., Univ. of Waterloo, Waterloo, ON, Canada

fYear

2011

fDate

4-7 Oct. 2011

Firstpage

265

Lastpage

270

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 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 separate recovery from functional concerns.

Keywords

fault tolerant computing; formal specification; object-oriented programming; synchronisation; system recovery; atomic component; component based model formalization; composite component; corrector component; corrector component identification; fault recovery theory; glue operators; Bismuth; Computational modeling; Context modeling; Fault tolerance; Fault tolerant systems; Safety; Semantics; BIP; Fault-tolerance; component-based; modularity; recovery; separation of concerns;

fLanguage

English

Publisher

ieee

Conference_Titel

Reliable Distributed Systems (SRDS), 2011 30th IEEE Symposium on

Conference_Location

Madrid

ISSN

1060-9857

Print_ISBN

978-1-4577-1349-1

Type

conf

DOI

10.1109/SRDS.2011.39

Filename

6076785