In this paper. we review the two existing methods of producing fault-tolerant software and the;r associated reliability models. A new approach to software fault-tolerance, the Consensus Recovery Block, is proposed. Its reliability model 1S used to demonstrate its superiority over the conventional methods.

Fault-tolerance and attack-tolerance are crucial for implementing a trustworthy service. An emerging thread of research investigates interactions between fault-tolerance and attack-tolerance—specifically, the coupling of replication with threshold cryptography for use in environments satisfying weak assumptions. This coupling yields a new paradigm known as distributed trust, which is the subjec...

Long-term services that operate reliably are hard to construct. In this paper, we argue that for long-term services we need a stronger service property called Healthy-WriteImplies-Correct-Read (HWICR): once a value is written in a healthy period (i.e., when the system’s fault assumption is not violated), the value is correctly read despite intervening unhealthy periods. To build services with t...

Fault tolerance has always been a critical feature for reliable electronic systems. As the systems are becoming more and more complex, novel approaches inspired from bio-system have become an interested research field. Biological systems possessed characteristics such as self-healing and self-reproduction that are similar to the requirement of fault tolerance design. This paper investigates and...

Masking fault-tolerance guarantees that programs continually satisfy their specii-cation in the presence of faults. By way of contrast, nonmasking fault-tolerance does not guarantee as much: it merely guarantees that when faults stop occurring, program executions converge to states from where programs continually (re)satisfy their speciication. We present in this paper a component based method ...

Grid computing is a distributed computing model that provides access to the geographically distributed heterogeneous resources. These computational grid systems are highly unreliable in nature because of which they need fault tolerance to be an integral part of the system to increase reliability. Commonly utilized techniques for providing fault tolerance are discussed. This paper provides state...

In a previous note [1], we observed a safety violation in Zyzzyva [7, 9, 8] and a liveness violation in FaB [12, 13]. In this manuscript, we sketch fixes to both. The same view-change core is applied in the two schemes, and additionally, applied to combine them and create a single, enhanced scheme that has the benefits of both approaches.

In this note, we observe a safety violation in Zyzzyva [7, 9, 8] and a liveness violation in FaB [14, 15]. To demonstrate these issues, we require relatively simple scenarios, involving only four replicas, and one or two view changes. In all of them, the problem is manifested already in the first log slot.

This paper presents a case study of a software fault tolerance mechanisms, the distributed memory, designed and implemented within the european projects TIRAN and DEPAUDE, and currently under study within the Italian project ISIDE. The studied mechanisms are part of a complete framework of general purpose software fault tolerance mechanisms. In this paper we show a method for the compositional ...

of machine learning, and