This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A Rigorous Approach to Fault-Tolerant Programming
January 1985 (vol. 11 no. 1)
pp. 23-31
F. Cristian, IBM Research Laboratory
The design of programs that are tolerant of hardware fault occurrences and processor crashes is investigated. Using a stable storage management system as a running example, a new approach is suggested for specifying, understanding, and verifying the correctness of fault-tolerant software. The approach extends previously developed axiomatic reasoning methods to the design of fault-tolerant systems by modeling faults as being operations that are performed at random time intervals on any computing system by the system's adverse environment.
Index Terms:
stochastic modeling, Availability, correctness, fault-tolerance, programming logic, reliability
Citation:
F. Cristian, "A Rigorous Approach to Fault-Tolerant Programming," IEEE Transactions on Software Engineering, vol. 11, no. 1, pp. 23-31, Jan. 1985, doi:10.1109/TSE.1985.231534
Usage of this product signifies your acceptance of the Terms of Use.