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
关键词
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
相关论文
共 50 条
  • [31] An Analytical Study of Component-Based LifeCycle Models: A Survey
    Negi, Deepti
    Chauhan, Yashwant Singh
    Dimri, Priti
    Harbola, Aditya
    2015 INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMMUNICATION NETWORKS (CICN), 2015, : 746 - 750
  • [32] An ontology for component-based models of water resource systems
    Elag, Mostafa
    Goodall, Jonathan L.
    WATER RESOURCES RESEARCH, 2013, 49 (08) : 5077 - 5091
  • [33] Architectural runtime models for integrating runtime observations and component-based models
    Heinrich, Robert
    JOURNAL OF SYSTEMS AND SOFTWARE, 2020, 169
  • [34] Runtime recovery and manipulation of software architecture of component-based systems
    Gang Huang
    Hong Mei
    Fu-Qing Yang
    Automated Software Engineering, 2006, 13 (2) : 257 - 281
  • [35] Runtime recovery and manipulation of software architecture of component-based systems
    Huang, Gang
    Mei, Hong
    Yang, Fu-Qing
    Autom Software Eng, 2 (257-281):
  • [36] A Model-Based Fault Tolerance Configuration Framework for Component-Based Systems
    Wu, Yihan
    He, Miao
    Shen, Shijun
    Chen, Xing
    Liu, Zhe
    Zheng, Yasong
    2017 INTERNATIONAL CONFERENCE ON GREEN INFORMATICS (ICGI), 2017, : 252 - 262
  • [37] Autonomous Fault Detection for Performance Bugs in Component-Based Robotic Systems
    Wienke, Johannes
    Wrede, Sebastian
    2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), 2016, : 3291 - 3297
  • [38] Adaptive runtime fault management for services in component-based software applications
    Su, Rong
    Chaudron, Michel R. V.
    Lukkien, Johan J.
    PROCEEDINGS OF THE 10TH IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND APPLICATIONS, 2006, : 216 - +
  • [39] A Data Set for Fault Detection Research on Component-Based Robotic Systems
    Wienke, Johannes
    Borgsen, Sebastian Meyer Zu
    Wrede, Sebastian
    TOWARDS AUTONOMOUS ROBOTIC SYSTEMS, TAROS 2016, 2016, 9716 : 339 - 350
  • [40] PASSIVE FAULT-TOLERANCE MANAGEMENT IN COMPONENT-BASED EMBEDDED SYSTEMS
    Nogueira, Luis
    Coelho, Jorge
    COMPUTING AND INFORMATICS, 2015, 34 (01) : 23 - 44