Sciweavers

EDCC
2005
Springer

Adding Fault-Tolerance Using Pre-synthesized Components

13 years 9 months ago
Adding Fault-Tolerance Using Pre-synthesized Components
We present a hybrid synthesis method for automatic addition of fault-tolerance to distributed programs. In particular, we automatically specify and add pre-synthesized fault-tolerance components to programs in the cases where existing heuristics fail to add fault-tolerance. Such addition of pre-synthesized components has the advantage of reusing pre-synthesized fault-tolerance components in the synthesis of different programs, and as a result, reusing the effort put in the synthesis of one program for the synthesis of another program. Our synthesis method is sound in that the synthesized fault-tolerant program satisfies its specification in the absence of faults, and provides desired level of faulttolerance in the presence of faults. We illustrate our synthesis method by adding pre-synthesized components with linear topology to a token ring program that tolerates the corruption of all processes. Also, we have reused the same component in the synthesis of a fault-tolerant alternatin...
Sandeep S. Kulkarni, Ali Ebnenasir
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EDCC
Authors Sandeep S. Kulkarni, Ali Ebnenasir
Comments (0)