The Complexity of Adding Failsafe Fault-Tolerance

  title={The Complexity of Adding Failsafe Fault-Tolerance},
  author={Sandeep S. Kulkarni and Ali Ebnenasir},
In this paper, we focus our attention on the problem of automating the addition of failsafe fault-tolerance where fault-tolerance is added to an existing (fault-intolerant) program. A failsafe faulttolerant program satisfies its specification (including safety and liveness) in the absence of faults. And, in the presence of faults, it satisfies its safety specification. We present a somewhat unexpected result that, in general, the problem of adding failsafe fault-tolerance in distributed… CONTINUE READING
Highly Cited
This paper has 49 citations. REVIEW CITATIONS
32 Citations
12 References
Similar Papers


Publications citing this paper.

Similar Papers

Loading similar papers…