Issue No. 01 - January (1998 vol. 24)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/32.663998
<p><b>Abstract</b>—The concept of multitolerance abstracts problems in system dependability and provides a basis for improved design of dependable systems. In the abstraction, each source of undependability in the system is represented as a class of faults, and the corresponding ability of the system to deal with that undependability source is represented as a type of tolerance. Multitolerance thus refers to the ability of the system to tolerate multiple fault-classes, each in a possibly different way. In this paper, we present a component based method for designing multitolerance. Two types of components are employed by the method, namely detectors and correctors. A theory of detectors, correctors, and their interference-free composition with intolerant programs is developed, that enables stepwise addition of components to provide tolerance to a new fault-class while preserving the tolerances to the previously added fault-classes. We illustrate the method by designing a fully distributed multitolerant program for a token ring.</p>
Formal methods, compositional design, interference-freedom, stepwise design, detectors, correctors, dependability, fault-tolerance, graceful degradation.
S. S. Kulkarni and A. Arora, "Component Based Design of Multitolerant Systems," in IEEE Transactions on Software Engineering, vol. 24, no. , pp. 63-78, 1998.