The state machine approach is a general method for implementing fault-tolerant ..... permits other components to detect that A t fault-tolerant version of a ...
software, software fault tolerance is and will continue to be an ...... The only type of fault possible in software is a design fault introduced during the ...
SAL Tutorial: Analyzing the Fault-Tolerant Algorithm OM(1)
that this algorithm ensures agreement even if the source is faulty. .... We can give a similar specification for the relays in the fault-free case. ...