From crash fault-tolerance to arbitrary-fault tolerance: Towards a modular approach

被引：13

作者：

Baldoni, R ^{[1
]}

Helary, JM ^{[1
]}

Raynal, M ^{[1
]}

机构：

[1] Univ La Sapienza, Rome, Italy

来源：

DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS | 2000年

关键词：

D O I：

10.1109/ICDSN.2000.857550

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

This paper presents a generic methodology to transform a protocol resilient to process crashes into one resilient to arbitrary failures in the case where processes run the same text and regularly exchange messages (i.e., the case of round-based protocols). The methodology follows a modular approach encapsulating the detection of arbitrary failures in specific modules. This can be the starting point for designing tools that allow automatic transformation. We show an application of this methodology to the case of consensus.

引用

页码：273 / 282

页数：10

共 50 条

[1] FAULT-TOLERANCE
GROSSPIETSCH, KE
[J]. MICROPROCESSING AND MICROPROGRAMMING, 1993, 38 (1-5): : 783 - 783
[2] Towards supporting Fault-Tolerance in FPGAs
Siozios, Kostas
Soudris, Dimitrios
Pnevmatikatos, Dionisios
[J]. IEEE ANNUAL SYMPOSIUM ON VLSI (ISVLSI 2010), 2010, : 446 - 447
[3] Designing masking fault-tolerance via nonmasking fault-tolerance
Arora, A
Kulkarni, SS
[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1998, 24 (06) : 435 - 450
[4] A Robot Fault-tolerance Approach Based on Fault Type
Shim, Bingu
Baek, Beomho
Kim, Suntae
Park, Sooyong
[J]. 2009 NINTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC 2009), 2009, : 296 - 304
[5] Simplifying fault-tolerance: Providing the abstraction of crash failures
Bazzi, RA
Neiger, G
[J]. JOURNAL OF THE ACM, 2001, 48 (03) : 499 - 554
[6] Towards a control-theoretical approach to software fault-tolerance
Cai, KY
Wang, XY
[J]. QSIC 2004: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2004, : 198 - 205
[7] A Systematic Robot Fault-tolerance Approach
Shim, Bingu
Baek, Beomho
Park, Sooyong
[J]. 2009 IEEE 33RD INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOLS 1 AND 2, 2009, : 618 - 619
[8] ON FAULT-TOLERANCE AND FAULT-AVOIDANCE
REGULINSKI, TLD
[J]. IEEE TRANSACTIONS ON RELIABILITY, 1987, 36 (02) : 161 - 161
[9] ON FAULT-TOLERANCE OF SYNTAX
SLISSENKO, AO
[J]. THEORETICAL COMPUTER SCIENCE, 1993, 119 (01) : 215 - 222
[10] Toward a modular architecture for fault-tolerance in complex systems
Lassoued, F.
Bouallegue, R.
[J]. INNOVATIVE AND INTELLIGENT TECHNOLOGY-BASED SERVICES FOR SMART ENVIRONMENTS-SMART SENSING AND ARTIFICIAL INTELLIGENCE, 2021, : 89 - 102

← 1 2 3 4 5 →