Symbolic reliability analysis and optimization of ECU networks

Proceedings -Design, Automation and Test in Europe, DATE

Volumn , Issue , 2008, Pages 158-163

  Glaß, Michael ^a   Lukasiewycz, Martin ^a   Reimann, Felix ^a   Haubelt, Christian ^a   Teich, Jürgen ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

INDUSTRIAL ENGINEERING; OPTIMIZATION; QUALITY ASSURANCE; RELIABILITY; STRUCTURAL OPTIMIZATION; TESTING;

ADDITIONAL COSTS; CASE STUDIES; DESIGN PHASES; EFFICIENT ANALYSIS; NETWORK DESIGNS; OPTIMIZATION APPROACH; OPTIMIZATION PROCESSES; REDUCED COSTS; RELIABLE SYSTEMS; SPEED UPS; STRUCTURE FUNCTIONS; SYMBOLIC TECHNIQUES;

RELIABILITY ANALYSIS;

EID: 49749108550     PISSN: 15301591     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/DATE.2008.4484679     Document Type: Conference Paper

References (17)

1. F. A. Aloul, A. Ramani, I. L. Markov, and K. A. Sakallah. Generic ilp versus specialized 0-1 ilp: an update. In Proc. of ICCAD '02, pages 450-457, 2002.
2. A. Birolini. Reliability Engineering - Theory and Practice. Springer, 4th edition, Berlin, Heidelberg, New York, 2004.
3. R. E. Bryant. Graph-based algorithms for boolean function manipulation. IEEE Trans. on Comp., 35(8):677-691, 1986.
4. M. Glaß, M. Lukasiewycz, T. Streichert, C. Haubelt, and J. Teich. Reliability-Aware System Synthesis. In Proc. of DATE '07, pages 409-414, 2007.
5. C. Haubelt, J. Teich, R. Feldmann, and B. Monien. SAT-Based Techniques in System Design. In Proc. of DAC '03, pages 1168-1169, 2003.
6. V. Izosimov, P. Pop, P. Eles, and Z. Peng. Synthesis of faulttolerant schedules with transparency/performance trade-offs for distributed embedded systems. In Proc. of DAC '04, pages 550-555, 2004.
7. V. Izosimov, P. Pop, P. Eles, and Z. Peng. Synthesis of faulttolerant embedded systems with checkpointing and replication. In Proc. of DELTA '06, pages 440-447, 2006.
8. A. Jhumka, S. Klaus, and S. A. Huss. A dependabilitydriven system-level design approach for embedded systems. In Proc. of DATE '05, pages 372-377, 2005.
9. M. Lukasiewycz, M. Glaß, C. Haubelt, and J. Teich. Satdecoding in evolutionary algorithms for discrete constrained optimization problems. In Proc. of CEC '07, pages 935-942, 2007.
10. S. Neema. System Level Synthesis of Adaptive Computing Systems. PhD thesis, Vanderbilt University, Nashville, Tennessee, May 2001.
11. R. Niemann and P. Marwedel. An Algorithm for Hardware/Software Partitioning Using Mixed Integer Linear Programming. Design Automation for Embedded Systems, 2(2):165-193, 1997.
12. A. Rauzy. New Algorithms for Fault Tree Analysis. Reliability Eng. and System Safety, 40:202-211, 1993.
13. H. M. Sheini and K. A. Sakallah. Pueblo: A modern pseudo-boolean sat solver. In Proc. of DATE '05, pages 684-685, 2005.
14. S. Tosun, N. Mansouri, E. Arvas, M. Kandemir, and Y. Xie. Reliability-Centric High-Level Synthesis. In Proc. of DATE '05, pages 1258-1263, 2005.
15. Y. Xie, L. Li, M. Kandemir, N. Vijaykrishnan, and M. J. Irwin. Reliability-Aware Cosynthesis for Embedded Systems. In Proc. of ASAP '04, pages 41-50, 2004.
16. Y. Zhang, R. Dick, and K. Chakrabarty. Energy-aware deterministic fault tolerance in distributed real-time embedded systems. In Proc. of DATE '05, pages 372-377, 2005.
17. E. Zitzler, L. Thiele, M. Laumanns, C. M. Fonseca, and V. G. da Fonseca. Performance assessment of multiobjective optimizers: an analysis and review. IEEE Trans. Evol. Computation, 7(2):117-132, 2003.