The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January (1985 vol.11)
pp: 23-31
F. Cristian , IBM Research Laboratory
ABSTRACT
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, January 1985, doi:10.1109/TSE.1985.231534
5 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool