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
    [J]. 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
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2009, 5775 : 297 - 310
  • [3] Stateful component-based performance models
    Lucia Happe
    Barbora Buhnova
    Ralf Reussner
    [J]. Software & Systems Modeling, 2014, 13 : 1319 - 1343
  • [4] Stateful component-based performance models
    Happe, Lucia
    Buhnova, Barbora
    Reussner, Ralf
    [J]. 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
    [J]. MATHEMATICAL AND COMPUTER MODELLING, 2013, 58 (5-6) : 1362 - 1378
  • [6] Integration of Simulink Models with Component-based Software Models
    Marian, Nicolae
    Top, Soren
    [J]. 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
    [J]. THEORETICAL COMPUTER SCIENCE, 2020, 837 : 158 - 180
  • [8] Self-adjusting component-based fault management
    Su, Rong
    Chaudron, Michel R. V.
    [J]. 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
    [J]. 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.
    [J]. PROCEEDINGS OF THE 2019 ANNUAL ACM SOUTHEAST CONFERENCE (ACMSE 2019), 2019, : 64 - 71
12345