Sciweavers

Share
TSE
1998

Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance

8 years 10 months ago
Designing Masking Fault-Tolerance via Nonmasking Fault-Tolerance
—Masking fault-tolerance guarantees that programs continually satisfy their specification in the presence of faults. By way of contrast, nonmasking fault-tolerance does not guarantee as much: it merely guarantees that when faults stop occurring, program executions converge to states from where programs continually (re)satisfy their specification. We present in this paper a component based method for the design of masking fault-tolerant programs. In this method, components are added to a fault-intolerant program in a stepwise manner, first, to transform the fault-intolerant program into a nonmasking fault-tolerant one and, then, to enhance the fault-tolerance from nonmasking to masking. We illustrate the method by designing programs for agreement in the presence of Byzantine faults, data transfer in the presence of message loss, triple modular redundancy in the presence of input corruption, and mutual exclusion in the presence of process fail-stops. These examples also serve to demons...
Anish Arora, Sandeep S. Kulkarni
Added 23 Dec 2010
Updated 23 Dec 2010
Type Journal
Year 1998
Where TSE
Authors Anish Arora, Sandeep S. Kulkarni
Comments (0)
books