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

Research

Associated organisational units

Links

Text available via DOI:

Keywords

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/ISSN › Conference contribution/Paper › peer-review

Published

Standard

An approach for designing and assessing detectors for dependable component-based systems. / Jhumka, A.; Hiller, M.; Suri, Neeraj.
Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. Vol. 8 IEEE, 2004. p. 69-78 (Proc. IEEE Int. Symp. High Assur. Syst. Eng.).

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Jhumka, A, Hiller, M & Suri, N 2004, An approach for designing and assessing detectors for dependable component-based systems. in Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. vol. 8, Proc. IEEE Int. Symp. High Assur. Syst. Eng., IEEE, pp. 69-78. https://doi.org/10.1109/HASE.2004.1281731

APA

Jhumka, A., Hiller, M., & Suri, N. (2004). An approach for designing and assessing detectors for dependable component-based systems. In Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings (Vol. 8, pp. 69-78). (Proc. IEEE Int. Symp. High Assur. Syst. Eng.). IEEE. https://doi.org/10.1109/HASE.2004.1281731

Vancouver

Jhumka A, Hiller M, Suri N. An approach for designing and assessing detectors for dependable component-based systems. In Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. Vol. 8. IEEE. 2004. p. 69-78. (Proc. IEEE Int. Symp. High Assur. Syst. Eng.). doi: 10.1109/HASE.2004.1281731

Author

Jhumka, A. ; Hiller, M. ; Suri, Neeraj. / An approach for designing and assessing detectors for dependable component-based systems. Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings. Vol. 8 IEEE, 2004. pp. 69-78 (Proc. IEEE Int. Symp. High Assur. Syst. Eng.).

Bibtex

@inproceedings{4ff6a16be5c4459a8ccfa2a1c71c06f5,
title = "An approach for designing and assessing detectors for dependable component-based systems",
abstract = "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.",
keywords = "Analysis, Cost/benefi, Detectors, Fail-safe, Fault injection, Formal methods, Metrics, Algorithms, Boolean algebra, Computer software, Cost benefit analysis, Error analysis, Polynomials, Bounded programs, Control systems",
author = "A. Jhumka and M. Hiller and Neeraj Suri",
year = "2004",
month = mar,
day = "25",
doi = "10.1109/HASE.2004.1281731",
language = "English",
isbn = "0769520944",
volume = "8",
series = "Proc. IEEE Int. Symp. High Assur. Syst. Eng.",
publisher = "IEEE",
pages = "69--78",
booktitle = "Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings",

}

RIS

TY - GEN

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

AU - Jhumka, A.

AU - Hiller, M.

AU - Suri, Neeraj

PY - 2004/3/25

Y1 - 2004/3/25

N2 - 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.

AB - 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.

KW - Analysis

KW - Cost/benefi

KW - Detectors

KW - Fail-safe

KW - Fault injection

KW - Formal methods

KW - Metrics

KW - Algorithms

KW - Boolean algebra

KW - Computer software

KW - Cost benefit analysis

KW - Error analysis

KW - Polynomials

KW - Bounded programs

KW - Control systems

U2 - 10.1109/HASE.2004.1281731

DO - 10.1109/HASE.2004.1281731

M3 - Conference contribution/Paper

SN - 0769520944

VL - 8

T3 - Proc. IEEE Int. Symp. High Assur. Syst. Eng.

SP - 69

EP - 78

BT - Eighth IEEE International Symposium on High Assurance Systems Engineering, 2004. Proceedings

PB - IEEE

ER -