Towards scalable system-level reliability analysis

Beitrag bei einer Tagung

Details zur Publikation

Autorinnen und Autoren: Glaß M, Lukasiewycz M, Haubelt C, Teich J
Jahr der Veröffentlichung: 2010
Seitenbereich: 234-239
ISBN: 9781450300025


State-of-the-art automatic reliability analyses as used in system-level design approaches mainly rely on Binary Decision Diagrams (BDDs) and, thus, face two serious problems: (1) The BDDs exhaust available memory during their construction and/or (2) the final size of the BDDs is, sometimes up to several orders of magnitude, larger than the available memory. The contribution of this paper is twofold: (1) A partitioning-based early quantification technique is presented that aims to keep the size of the BDDs during construction at minimum. (2) A SAT-assisted simulation approach aims to deliver approximated results when exact analysis techniques fail because the final BDDs exhaust available memory. The ability of both methods to accurately analyze larger and more complex systems than known approaches is demonstrated for various test cases. Copyright 2010 ACM.

FAU-Autorinnen und Autoren / FAU-Herausgeberinnen und Herausgeber

Glaß, Michael Prof. Dr.-Ing.
Juniorprofessur für Informatik
Haubelt, Christian Prof. Dr.-Ing.
Technische Fakultät
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Glaß, M., Lukasiewycz, M., Haubelt, C., & Teich, J. (2010). Towards scalable system-level reliability analysis. In Proceedings of the 47th Design Automation Conference, DAC '10 (pp. 234-239). Anaheim, CA.

Glaß, Michael, et al. "Towards scalable system-level reliability analysis." Proceedings of the 47th Design Automation Conference, DAC '10, Anaheim, CA 2010. 234-239.


Zuletzt aktualisiert 2019-23-07 um 07:47