A Theory of Fault Recovery for Component-Based Models
- 592 Downloads
This paper introduces a theory of fault recovery for component-based models. We specify a model in terms of a set of atomic components 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 (e.g., in self-stabilizing systems). We identify corrector 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. We also show that any model that provides fault recovery can be transformed into an equivalent model, where functional and recovery tasks are modularized in different components.
KeywordsFault-tolerance Transformation Separation of concerns BIP
Unable to display preview. Download preview PDF.
- 1.Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications. In: ACM International Conference on Embedded Software (EMSOFT), pp. 229–238 (2010)Google Scholar
- 3.Arora, A., Kulkarni, S.S.: Detectors and correctors: A theory of fault-tolerance components. In: International Conference on Distributed Computing Systems (ICDCS), pp. 436–443 (1998)Google Scholar
- 5.Bonakdarpour, B., Bozga, M., Jaber, M., Quilbeuf, J., Sifakis, J.: A framework for automated distributed implementation of component-based models. Springer Journal on Distributed Computing, DC (to appear, 2012)Google Scholar
- 6.Bonakdarpour, B., Kulkarni, S.S.: Compositional verification of real-time fault-tolerant programs. In: ACM International Conference on Embedded Software (EMSOFT), pp. 29–38 (2009)Google Scholar
- 7.Bonakdarpour, B., Kulkarni, S.S., Arora, A.: Disassembling real-time fault-tolerant programs. In: ACM International Conference on Embedded Software (EMSOFT), pp. 169–178 (2008)Google Scholar
- 8.Bozga, M., Sfyrla, V., Sifakis, J.: Modeling synchronous systems in BIP. In: ACM International Conference on Embedded Software (EMSOFT), pp. 77–86 (2009)Google Scholar
- 9.Brukman, O., Dolev, S.: Recovery oriented programming: runtime monitoring of safety and liveness. Springer Journal on Software Tools for Technology Transfer (STTT) 13(4), 377–395 (2011)Google Scholar
- 14.Leal, W., Arora, A.: Scalable self-stabilization via composition. In: Distributed Computing Systems (ICDCS), pp. 12–21 (2004)Google Scholar