FTSyn: A Framework for Automatic Synthesis of Fault-Tolerance

In the initial design of a fault-tolerant program, it is often difficult to identify all the faults that may perturb the program. Thus, when new faults that affect an existing program are identified, it becomes necessary to upgrade the system to deal with those new faults. Moreover, during such addition of fault-tolerance, it is necessary to reuse the existing program as much as possible. Specifically, when the new fault does not occur, the authors expect the program to behave in the same way as it behaved before the upgrade.

Provided by: Michigan Technological University Topic: Data Centers Date Added: Jan 2011 Format: PDF

Find By Topic