An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems

	This Article
	Subscribers, please Login Purchase article: $19 PDF IEEE Xplore Subscribers RSS feed
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Arshad Jhumka Articles by Martin Hiller Articles by Neeraj Suri

Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04)

Tampa, Florida

March 25-March 26

ISBN: 0-7695-2094-4

	ASCII Text	x
	Arshad Jhumka, Martin Hiller, Neeraj Suri, "An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems," High-Assurance Systems Engineering, IEEE International Symposium on, pp. 69-78, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004.

	BibTex	x
	@article{ 10.1109/HASE.2004.1281731, author = {Arshad Jhumka and Martin Hiller and Neeraj Suri}, title = {An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems}, journal ={High-Assurance Systems Engineering, IEEE International Symposium on}, volume = {0}, year = {2004}, issn = {1530-2059}, pages = {69-78}, doi = {http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281731}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }

	RefWorks Procite/RefMan/Endnote	x
	TY - CONF JO - High-Assurance Systems Engineering, IEEE International Symposium on TI - An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems SN - 1530-2059 SP69 EP78 A1 - Arshad Jhumka, A1 - Martin Hiller, A1 - Neeraj Suri, PY - 2004 KW - detectors KW - fail-safe KW - formal methods KW - metrics KW - cost/benefit analysis KW - fault injection VL - 0 JA - High-Assurance Systems Engineering, IEEE International Symposium on ER -

Arshad Jhumka, Technical University at Darmstadt

Martin Hiller, Volvo

Neeraj Suri, Technical University at Darmstadt

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/HASE.2004.1281731

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 efficient detectors for fault-tolerant systems. The applicability of our approach is suited for the design of reliable component-based systems.

Index Terms:

detectors, fail-safe, formal methods, metrics, cost/benefit analysis, fault injection

Citation:

Arshad Jhumka, Martin Hiller, Neeraj Suri, "An Approach for Designing and Assessing Detectors for Dependable Component-Based Systems," hase, pp.69-78, Eighth IEEE International Symposium on High Assurance Systems Engineering (HASE'04), 2004

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.