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
相关论文
共 50 条
  • [1] Fault Detection in Component-based Models Using BIP Models
    Smara, Mounya
    Aliouat, Makhlouf
    Aliouat, Zibouda
    2015 12th IEEE International Conference on Programming and Systems (ISPS), 2015, : 357 - 365
  • [2] Component-Based Abstraction in Fault Tree Analysis
    Domis, Dominik
    Trapp, Mario
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2009, 5775 : 297 - 310
  • [3] Stateful component-based performance models
    Lucia Happe
    Barbora Buhnova
    Ralf Reussner
    Software & Systems Modeling, 2014, 13 : 1319 - 1343
  • [4] Stateful component-based performance models
    Happe, Lucia
    Buhnova, Barbora
    Reussner, Ralf
    SOFTWARE AND SYSTEMS MODELING, 2014, 13 (04): : 1319 - 1343
  • [5] Deadlock detection and recovery for component-based systems
    Li, Chen
    Huang, Linpeng
    Chen, Luxi
    Luo, Weichao
    MATHEMATICAL AND COMPUTER MODELLING, 2013, 58 (5-6) : 1362 - 1378
  • [6] Integration of Simulink Models with Component-based Software Models
    Marian, Nicolae
    Top, Soren
    ADVANCES IN ELECTRICAL AND COMPUTER ENGINEERING, 2008, 8 (02) : 3 - 10
  • [7] Causality analysis and fault ascription in component-based systems
    Gassler, Gregor
    Stefani, Jean-Bernard
    THEORETICAL COMPUTER SCIENCE, 2020, 837 : 158 - 180
  • [8] Self-adjusting component-based fault management
    Su, Rong
    Chaudron, Michel R. V.
    32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 118 - +
  • [9] Component-based composition of system dynamics models
    Bauer, C
    Bodendorf, F
    Simulation in Wider Europe, 2005, : 320 - 327
  • [10] Component-based Implementation of Cyberattack Simulation Models
    Mayfield, Katia P.
    Petty, Mikel D.
    Whitaker, Tymaine S.
    Bland, John A.
    Cantrell, Walter A.
    PROCEEDINGS OF THE 2019 ANNUAL ACM SOUTHEAST CONFERENCE (ACMSE 2019), 2019, : 64 - 71
12345