Issue No. 06 - June (1982 vol. 31)
F. Cristian , Computing Laboratory, University of Newcastle upon Tyne
Some basic concepts underlying the issue of fault-tolerant software design are investigated. Relying on these concepts, a unified point of view on programmed exception handling and default exception handling based on automatic backward recovery is constructed. The cause?effect relationship between software design faults and failure occurrences is explored and a class of faults for which default exception handling can provide effective fault tolerance is characterized. It is also shown that there exists a second class of design faults which cannot be tolerated by using default exception handling. The role that software verification methods can play in avoiding the production of such faults is discussed.
recovery, Exception, exception handling, failure, fault, fault avoidance, fault tolerance, hierarchical structure, module, procedure
F. Cristian, "Exception Handling and Software Fault Tolerance," in IEEE Transactions on Computers, vol. 31, no. , pp. 531-540, 1982.