Automatic Success Tree-Based Reliability Analysis for the Consideration of Transient and Permanent Faults
Author(s): Aliee H, Glaß M, Reimann F, Teich J
Title edited volumes: Proceedings -Design, Automation and Test in Europe, DATE
Publisher: IEEE Press
Publishing place: New York, NY, USA
Publication year: 2013
Conference Proceedings Title: Proc. Design, Automation and Test in Europe
Pages range: 1621-1626
Event: Design, Automation and Test in Europe (DATE)
Event location: Grenoble
Start date of the event: 18/03/2013
End date of the event: 22/03/2013
Success tree analysis is a well-known method to quantify the dependability features of many systems. This paper presents a system-level methodology to automatically generate a success tree from a given embedded system implementation and subsequently analyzes its reliability based on a state-of-the-art Monte Carlo simulation. This enables the efficient analysis of transient as well as permanent faults while considering methods such as task and resource redundancy to compensate these. As a case study, the proposed technique is compared with two analysis techniques, successfully applied at system level: (1) a BDD-based reliability analysis technique and (2) a SAT-assisted approach, both suffering from exponential complexity in either space or time. Experimental results performed on an extensive test suite show that: (a) Opposed to the Success Tree (ST) and SAT-assisted approaches, the BDD-based approach is highly vulnerable to exhaust available memory during its construction for moderate and large test cases. (b) The proposed ST technique is competitive to the SAT-assisted analysis in analysis speed and accuracy, while being the only technique that is suitable to also handle large and complex system implementations in which permanent and transient faults may occur concurrently. © 2013 EDAA.
FAU Authors / FAU Editors How to cite
APA: Aliee, H., Glaß, M., Reimann, F., & Teich, J. (2013). Automatic Success Tree-Based Reliability Analysis for the Consideration of Transient and Permanent Faults. In Proc. Design, Automation and Test in Europe (pp. 1621-1626). New York, NY, USA: IEEE Press.
MLA: Aliee, Hananeh, et al. "Automatic Success Tree-Based Reliability Analysis for the Consideration of Transient and Permanent Faults." Proceedings of the Design, Automation and Test in Europe (DATE), Grenoble New York, NY, USA: IEEE Press, 2013. 1621-1626.