Academic
Publications
Detectors and Correctors: A Theory of Fault-Tolerance Components

Detectors and Correctors: A Theory of Fault-Tolerance Components,10.1109/ICDCS.1998.679772,Anish Arora,Sandeep S. Kulkarni

Detectors and Correctors: A Theory of Fault-Tolerance Components   (Citations: 68)
BibTex | RIS | RefWorks Download
In this paper, we show that two types of tolerance components, namely detectorsand correctors, appear in a rich class of fault-tolerant systems. This class includessystems designed using the wellknown techniques of encapsulation and refinement,as well as systems designed using extant fault-tolerance methods such as replicationand the state-machine approach. Our demonstration is via a theory of detectors andcorrectors, which characterizes the particular role of these components in...
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...Arora and Kulkarni (1998) show that two types of tolerance components, namely detectors and correctors, appear in a rich class of fault-tolerant systems...

    Oliver Faustet al. Design of a fault-tolerant decision-making system for biomedical appli...

    • ...Similar to other types of detectors in distributed systems (such as termination detectors [Dijkstra et al. 1983] or general predicate detectors [Chandy and Misra 1988; Arora and Kulkarni 1998]) the failure detector module at p should guarantee two things:...

    Felix C. Freilinget al. The failure detector abstraction

    • ...A dependable software system must contain two types of dependability component, viz., error detection mechanisms and error recovery mechanisms [2], which are commonly known as detectors and correctors respectively...
    • ...A detector component is a program component that asserts the validity of a predicate in a program at a given location [2] [3]...
    • ...Research that has addressed the systematic design of efficient detectors has generally focused on finite-state software systems [2] [3] [10] [11]...

    Matthew Leekeet al. A methodology for the generation of efficient error detection mechanis...

    • ...Arora and Kulkarni [1] have shown that fault-tolerant systems feature two types of components that they called detectors and correctors...

    Young-Woo Kwonet al. A declarative approach to hardening services against QoS vulnerabiliti...

    • ...For detectors (detection measures) [1], a special aspect, veracity, is introduced...
    • ...For quantitative analysis, modes are assigned a [0, 1] interval as their probability range, which is sampled during second-order analysis by Monte-Carlo simulation (Section III.E)...
    • ...In the beginning, of course, analysis results will hardly be exciting: there are nothing but single points of failure, and the probability mass functions of provided top-level aberrant modes (equivalent to FTA’s top events) show a near-perfect bell curve over the [0, 1] interval [10]...
    • ...If no statement at all is possible about the likelihood of a mode, even the complete probability range of [0, 1] can be used...

    Marc Forsteret al. Flexible, AnyTime Fault Tree Analysis with Component Logic Models

Sort by: