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

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.