Hierarchical Presynthesized Components for Automatic Addition of Fault-Tolerance: A Case Study

Ali Ebnenasir and Sandeep S. Kulkarni

Abstract

We present a case study of automatic addition of fault-tolerance to distributed programs using presynthesized distributed components. Specifically, we extend the scope of automatic addition of fault-tolerance using presynthesized components to the case where we automatically add {\sf hierarchical} components to fault-intolerant programs, whereas in our previous work, we have shown the addition of linear presynthesized components to programs. Also, our case study provides an example for the cases where multiple components are simultaneously added to a program. Towards this end, we present an automatically generated diffusing computation program that provides nonmasking fault-tolerance -- where, in the presence of faults, the nonmasking program guarantees recovery to states from where it satisfies its safety and liveness specifications. Since presynthesized components provide reuse in the synthesis of fault-tolerant distributed programs, we expect that our method will pave the way for automatic addition of fault-tolerance to large-scale programs.

Paper:

Return to the publication list
Return to the Sandeep's home page