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.