Home > Research > Publications & Outputs > An approach for designing and assessing detecto...


Text available via DOI:

View graph of relations

An approach for designing and assessing detectors for dependable component-based systems

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSNConference contribution/Paperpeer-review

Publication date25/03/2004
Host publicationEighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings
Number of pages10
ISBN (Print)0769520944
<mark>Original language</mark>English

Publication series

NameProc. IEEE Int. Symp. High Assur. Syst. Eng.
ISSN (Print)1530-2059


In this paper, we present an approach that helps in the design and assessment of detectors. A detector is a program component that asserts the validity of a predicate in a given program state. We first develop a theory of error detection, and identify two main properties of detectors, namely completeness and accuracy. Given the complexity of designing efficient detectors, we introduce two metrics, namely completeness (C) and inaccuracy (I), that capture the operational effectiveness of detector operations, and each metric captures one efficiency aspect of the detector. Subsequently, we present an approach for experimentally evaluating these metrics, and is based on fault-injection. The metrics developed in our approach also allow a system designer to perform a cost-benefit analysis for resource allocation when designing effecient detectors for fault-tolerant systems. The applicability of our approach is suited for the design of reliable component-based systems.