Issue No. 11 - November (1993 vol. 19)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.256850
<p>The authors formally define what it means for a system to tolerate a class of faults. The definition consists of two conditions. The first is that if a fault occurs when the system state is within the set of legal states, the resulting state is within some larger set and, if faults continue to occur, the system state remains within that larger set (closure). The second is that if faults stop occurring, the system eventually reaches a state within the legal set (convergence). The applicability of the definition for specifying and verifying the fault-tolerance properties of a variety of digital and computer systems is demonstrated. Using the definition, the authors obtain a simple classification of fault-tolerant systems. Methods for the systematic design of such systems are discussed.</p>
fault-tolerant computing; legal states; convergence; closure; verification; fault tolerant computing; formal verification
A. Arora and M. Gouda, "Closure and Convergence: A Foundation of Fault-Tolerant Computing," in IEEE Transactions on Software Engineering, vol. 19, no. , pp. 1015-1027, 1993.