Symbolic reliability analysis and optimization of ECU networks

Glaß M, Lukasiewycz M, Reimann F, Haubelt C, Teich J (2008)

Publication Status: Published

Publication Type: Conference contribution, Conference Contribution

Publication year: 2008

Pages Range: 158-163

Article Number: 4484679

Conference Proceedings Title: Proceedings of Design, Automation and Test in Europe (DATE 2008)

Event location: Munich DE

ISBN: 9789783981089

DOI: 10.1109/DATE.2008.4484679

Abstract

Increasing reliability at a minimum amount of extra cost is a major challenge in todays ECU network design. Considering reliability as an objective already in early design phases has the potential to avoid expensive modifications in later design phases. Hence, there is a need for an appropriate optimization process and efficient analysis techniques to evaluate the found implementations. In this paper, we will show how symbolic techniques can be used to efficiently analyze and optimize such reliable systems. The contribution of this paper is (1) a symbolic reliability analysis that makes use of a partitioned structure function and (2) a symbolic optimization process based on binary ILP solvers. Our case study from the automotive area will show a significant speed-up using our analysis technique. Moreover, our optimization approach is able to offer implementations with considerably improved reliability at no additional costs as well as implementations with reduced costs without decreasing their reliability. © 2008 EDAA.

Authors with CRIS profile

Michael Glaß Juniorprofessur für Informatik Felix Reimann Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Christian Haubelt Technische Fakultät Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Related research project(s)

Design methodology for embedded system made upon small networks of hardware reconfigurable nodes and connections (ReCoNets) SPP 1148: Rekonfigurierbare Rechensysteme June 1, 2003 - May 31, 2009 SystemCoDesigner: System level design space exploration for embedded systems (SystemCoDesigner) April 1, 2005 - April 1, 2008

How to cite

APA:

Glaß, M., Lukasiewycz, M., Reimann, F., Haubelt, C., & Teich, J. (2008). Symbolic reliability analysis and optimization of ECU networks. In Proceedings of Design, Automation and Test in Europe (DATE 2008) (pp. 158-163). Munich, DE.

MLA:

Glaß, Michael, et al. "Symbolic reliability analysis and optimization of ECU networks." Proceedings of the Design, Automation and Test in Europe, DATE 2008, Munich 2008. 158-163.

BibTeX: Download