A systematic approach for implementing fault tolerant software designs in Ada
John D. Litke · 1990
This paper describes a new approach for implementing fault tolerant software in Ada. The approach uses automated analysis methods to determine appropriate low-complexity boundaries within the program. A subset of these boundaries defines fault-containment boundaries at which error semantics are specified. A disciplined method is proposed to implement these semantics using Ada's exception construct in such a way that an automated tool can verify the correct application of the method. The fault tolerance implementation method is compatible with object-oriented, data abstraction, and control abstraction program design methods.