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 条

[41] Component-based modelling of thermofluid systems for sensor placement and fault detection
Sarnantaray, AK
Medjaher, K
Bouamama, BO
Staroswiecki, M
Dauphin-Tanguy, G
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2004, 80 (7-8): : 381 - 398
[42] Eternal - a component-based framework for transparent fault-tolerant CORBA
Narasimhan, P
Moser, LE
Melliar-Smith, PM
SOFTWARE-PRACTICE & EXPERIENCE, 2002, 32 (08): : 771 - 788
[43] A Transient Component-Based Technique for Fault Detection in Distributed Generation Systems
Bayati, Navid
Savaghebi, Mehdi
2022 IEEE 13TH INTERNATIONAL SYMPOSIUM ON POWER ELECTRONICS FOR DISTRIBUTED GENERATION SYSTEMS (PEDG), 2022,
[44] Acceptance Test for Fault Detection in Component-based Cloud Computing and Systems
Smara, Mounya
Aliouat, Makhlouf
Pathan, Al-Sakib Khan
Aliouat, Zibouda
FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2017, 70 : 74 - 93
[45] A novel approach for component-based fault-tolerant software development
Sinha, P
Hanumantharya, A
INFORMATION AND SOFTWARE TECHNOLOGY, 2005, 47 (06) : 365 - 382
[46] Q and frequency component-based fault and nature detection for hybrid microgrid
Singh, Manjeet
Basak, Prasenjit
SUSTAINABLE ENERGY GRIDS & NETWORKS, 2021, 28
[47] A component-based design of a fault-tolerant multimedia communication protocol
Hanumantharaya, A
Sinha, P
Agarwal, A
IEEE FIFTH INTERNATIOANL SYMPOSIUM ON MULTIMEDIA SOFTWARE ENGINEERING, PROCEEDINGS, 2003, : 164 - 171
[48] RESTRAINING COMPLEXITY AND SCALE TRAITS FOR COMPONENT-BASED SIMULATION MODELS
Sarjoughian, Hessam S.
2017 WINTER SIMULATION CONFERENCE (WSC), 2017, : 675 - 689
[49] AN INTEGRATED APPROACH FOR THE VALIDATION OF EMERGENCE IN COMPONENT-BASED SIMULATION MODELS
Szabo, Claudia
Teo, Yong Meng
2012 WINTER SIMULATION CONFERENCE (WSC), 2012,
[50] Models and Frameworks: A Synergistic Association for Developing Component-Based Applications
Alonso, Diego
Sanchez-Ledesma, Francisco
Sanchez, Pedro
Pastor, Juan A.
Alvarez, Barbara
SCIENTIFIC WORLD JOURNAL, 2014,

← 1 2 3 4 5 →