From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach
| Venue: | Proc. Int. Conf. on Dependable Systems and Networks (FTCS-30), June 25-28, 2000, NewYork City |
| Citations: | 13 - 1 self |
BibTeX
@INPROCEEDINGS{Baldoni_fromcrash,
author = {Roberto Baldoni and Jean-michel Helary and Michel Raynal},
title = {From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach},
booktitle = {Proc. Int. Conf. on Dependable Systems and Networks (FTCS-30), June 25-28, 2000, NewYork City},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 1
