Distributed Fault Tolerance Synthesizer

The distributed fault-tolerance synthesizer (D-FTSyn) is a tool that implements a divide-and-conquer approach for adding fault tolerance to distributed/parallel programs. The main contribution of this approach is that it divides the problem of adding fault tolerance in order to increase the scalability of addition. For more details you may refer to the following paper:

Ali Ebnenasir, "DiConic Addition of Failsafe Fault-Tolerance", In proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE'07), Atlanta, Georgia, November 5-9, 2007.

The source code of D-FTSyn is not currently available, but an executable version of it is freely available. I would be glad to send you the executables that can be run on a cluster of machines (currently only Linux and MS-Windows are supported).