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 条

[21] A framework for automated distributed implementation of component-based models
Borzoo Bonakdarpour
Marius Bozga
Mohamad Jaber
Jean Quilbeuf
Joseph Sifakis
Distributed Computing, 2012, 25 : 383 - 409
[22] Transforming VHDL Descriptions into Formal Component-based Models
Nouri, Ayoub
Ben Atitallah, Rahma
Molnos, Anca
Fabre, Christian
Heitzmann, Frederic
Debicki, Olivier
PROCEEDINGS OF THE 2016 27TH INTERNATIONAL SYMPOSIUM ON RAPID SYSTEM PROTOTYPING (RSP): SHORTENING THE PATH FROM SPECIFICATION TO PROTOTYPE, 2016, : 128 - 135
[23] Verifying collaborative behavior in component-based DEVS models
Yilmaz, L
SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2004, 80 (7-8): : 399 - 415
[24] Efficient performance models in Component-Based Software Engineering
Balsamo, Simonetta
Marzolla, Moreno
Mirandola, Raffaela
32ND EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA) - PROCEEDINGS, 2006, : 64 - +
[25] Component-based Translation of BPMN Models to Petri Nets
Tao Yan
ELECTRONIC COMMERCE AND INFORMATION ENGINEERING IN CHINA: PROCEEDINGS OF THE 2ND INTERNATIONAL SYMPOSIUM ON ELECTRONIC BUSINESS AND INFORMATION SYSTEM, 2010, : 74 - 78
[26] A compositional semantic theory for synchronous component-based design
Norton, B
Lüttgen, G
Mendler, M
CONCUR 2003 - CONCURRENCY THEORY, 2003, 2761 : 461 - 476
[27] Metrics and models for cost and quality of component-based software
Sedigh-Ali, S
Ghafoor, A
Paul, RA
ISORC 2003: SIXTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2003, : 149 - 155
[28] BALBOA: A component-based design environment for system models
Doucet, F
Shukla, S
Otsuka, M
Gupta, R
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2003, 22 (12) : 1597 - 1612
[29] Component-based discriminative classification for hidden Markov models
Bicego, Manuele
Pekalska, Elzbieta
Tax, David M. J.
Duin, Robert P. W.
PATTERN RECOGNITION, 2009, 42 (11) : 2637 - 2648
[30] Component-based active appearance models for face modelling
Zhang, CP
Cohen, FS
ADVANCES IN BIOMETRICS, PROCEEDINGS, 2006, 3832 : 206 - 212

← 1 2 3 4 5 →