Issue No. 01 - January (1985 vol. 11)
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.
stochastic modeling, Availability, correctness, fault-tolerance, programming logic, reliability
F. Cristian, "A Rigorous Approach to Fault-Tolerant Programming", IEEE Transactions on Software Engineering, vol. 11, no. , pp. 23-31, January 1985, doi:10.1109/TSE.1985.231534