The Community for Technology Leaders
Green Image
Issue No. 01 - January (1985 vol. 11)
ISSN: 0098-5589
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.
stochastic modeling, Availability, correctness, fault-tolerance, programming logic, reliability

F. Cristian, "A Rigorous Approach to Fault-Tolerant Programming," in IEEE Transactions on Software Engineering, vol. 11, no. , pp. 23-31, 1985.
81 ms
(Ver 3.3 (11022016))