Automatic Graph-based Success Tree Construction and Analysis

Beitrag bei einer Tagung
(Konferenzbeitrag)


Details zur Publikation

Autor(en): Aliee H, Glaß M, Wanka R, Teich J
Titel Sammelwerk: Proceedings - Annual Reliability and Maintainability Symposium
Jahr der Veröffentlichung: 2014
Tagungsband: Proc. 60th Annual Reliability and Maintainability Symposium (RAMS)
Seitenbereich: 563-569
ISSN: 0149-144X
Sprache: Englisch


Abstract


This paper presents a graph-based representation of success trees to evaluate the reliability of an embedded system. First, a success tree is constructed by deriving a characteristic function from a graph-based system model automatically. The constructed success tree is then translated to a graph (called a success graph) which supports both cyclic and acyclic data dependencies in applications to be mapped to the system resources and analyzed for reliability. To analyze the success graph, an algorithm called 0-propagation is introduced which propagates errors through the graph. The system fails if the errors propagate to the output of the success graph. Experimental results show that the proposed technique can simply and efficiently construct and analyze success trees of real-life embedded systems in a short time with negligible inaccuracy which suits well for evaluating the reliability of complex systems, e. g., as part of a design space exploration. © 2014 IEEE.



FAU-Autoren / FAU-Herausgeber

Aliee, Hananeh
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Glaß, Michael Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Wanka, Rolf Prof. Dr.
Professur für Informatik (Effiziente Algorithmen und Kombinatorische Optimierung)


Zitierweisen

APA:
Aliee, H., Glaß, M., Wanka, R., & Teich, J. (2014). Automatic Graph-based Success Tree Construction and Analysis. In Proc. 60th Annual Reliability and Maintainability Symposium (RAMS) (pp. 563-569). Colorado Springs, Colorado, USA.

MLA:
Aliee, Hananeh, et al. "Automatic Graph-based Success Tree Construction and Analysis." Proceedings of the Annual Reliability and Maintainability Symposium (RAMS), Colorado Springs, Colorado, USA 2014. 563-569.

BibTeX: 

Zuletzt aktualisiert 2018-20-10 um 18:20