A Theory of Fault Recovery for Component-Based Models

被引：3
作者：
Bonakdarpour, Borzoo [1 ]
Bozga, Marius [2 ]
Goessler, Gregor [3 ]
机构：
[1] Univ Waterloo, Sch Comp Sci, Waterloo, ON N2L 3G1, Canada
[2] VERIMAG, Saint Martind Heres, France
[3] INRIA Grenoble, Rhone Alpes, France
来源：
2011 30TH IEEE INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS) | 2011年
关键词：
Fault-tolerance; recovery; component-based; separation of concerns; modularity; BIP; TOLERANCE;
D O I：
10.1109/SRDS.2011.39
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：265 / 270
页数：6
相关论文
共 22 条
  • [1] Abdellatif T., 2010, Proceedings of the tenth ACM international conference on Embedded software, P229
  • [2] [Anonymous], 2009, ACM INT C EMB SOFTW, DOI DOI 10.1145/1629335.1629347
  • [3] [Anonymous], P 10 ACM INT C EMB S
  • [4] DISTRIBUTED RESET
    ARORA, A
    GOUDA, M
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (09) : 1026 - 1038
  • [5] CLOSURE AND CONVERGENCE - A FOUNDATION OF FAULT-TOLERANT COMPUTING
    ARORA, A
    GOUDA, M
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (11) : 1015 - 1027
  • [6] Detectors and correctors: A theory of fault-tolerance components
    Arora, A
    Kulkarni, SS
    [J]. 18TH INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 1998, : 436 - 443
  • [7] Basu A, 2006, I C SOFTW ENG FORM M, P3
  • [8] Basu A, 2010, LECT NOTES COMPUT SC, V6366, P4
  • [9] Bonakdarpour B., 2010, 2010 International Symposium on Industrial Embedded Systems (SIES 2010), P108, DOI 10.1109/SIES.2010.5551377
  • [10] Bonakdarpour B., 2008, ACM INT C EMB SOFTW, P169
123