Cross-Level Compositional Reliability Analysis for Embedded Systems

Beitrag bei einer Tagung


Details zur Publikation

Autor(en): Glaß M, Yu H, Reimann F, Teich J
Titel Sammelwerk: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Verlag: Springer-verlag
Verlagsort: Berlin; Heidelberg
Jahr der Veröffentlichung: 2012
Tagungsband: Proc. of the 31st International Conference on Computer Safety, Reliability, and Security (SAFECOMP)
Seitenbereich: 111-124
ISBN: 978-3-642-33677-5
ISSN: 0302-9743


Abstract


Ever shrinking device structures are one of the main reasons for a growing inherent unreliability of embedded system components. As a remedy, various means to increase the reliability of complex embedded systems at several levels of abstraction are available. In fact, their efficient application is a key factor for the successful design of reliable embedded systems. While analysis approaches that evaluate these techniques and their advantages and disadvantages at particular levels exist, an overall system analysis that has to work cross-level is still lacking. This paper introduces a framework for cross-level reliability analysis that enables a seamless and flexible combination of various reliability analysis techniques across different levels of abstraction. For this purpose, a proposed framework provides mechanisms for (a) the composition and decomposition of the system during analysis and (b) the connection of different levels of abstraction by adapters that convert and abstract analysis results. As a case-study, the framework extends and combines three analysis approaches from the MPSoC domain: (I) a BDD-based reliability analysis considers redundancies in the system structure, (II) an analytical behavioral model to consider computational activity, and (III) a temperature simulator for processor cores. This enables to capture thermal reliability threats at transistor level in an overall system analysis. The approach is seamlessly integrated in an automatic Electronic System Level (ESL) tool flow. © 2012 Springer-Verlag.



FAU-Autoren / FAU-Herausgeber

Glaß, Michael Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Reimann, Felix
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Yu, Heng
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Zitierweisen

APA:
Glaß, M., Yu, H., Reimann, F., & Teich, J. (2012). Cross-Level Compositional Reliability Analysis for Embedded Systems. In Proc. of the 31st International Conference on Computer Safety, Reliability, and Security (SAFECOMP) (pp. 111-124). Magdeburg, DE: Berlin; Heidelberg: Springer-verlag.

MLA:
Glaß, Michael, et al. "Cross-Level Compositional Reliability Analysis for Embedded Systems." Proceedings of the 31st International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Magdeburg Berlin; Heidelberg: Springer-verlag, 2012. 111-124.

BibTeX: 

Zuletzt aktualisiert 2018-09-08 um 23:08