Exploration of Distributed Automotive Systems Using Compositional Timing Analysis
暂无分享,去创建一个
Martin Lukasiewycz | Michael Glaß | Jürgen Teich | Samarjit Chakraborty | M. Lukasiewycz | M. Glaß | J. Teich | S. Chakraborty
[1] Lothar Thiele,et al. A general framework for analysing system properties in platform-based embedded system designs , 2003, 2003 Design, Automation and Test in Europe Conference and Exhibition.
[2] Sébastien Gérard,et al. chronVAL/chronSIM: A Tool Suite for Timing Verification of Auto-motive Applications , 2012 .
[3] Kurt Mehlhorn,et al. Algorithms for dense graphs and networks on the random access computer , 2005, Algorithmica.
[4] Lothar Thiele,et al. Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems , 2009, EMSOFT '09.
[5] Jürgen Teich,et al. System-Level Synthesis Using Evolutionary Algorithms , 1998, Des. Autom. Embed. Syst..
[6] R. Ernst,et al. Model composition for scheduling analysis in platform design , 2002, Proceedings 2002 Design Automation Conference (IEEE Cat. No.02CH37324).
[7] Martin Lukasiewycz,et al. SAT-decoding in evolutionary algorithms for discrete constrained optimization problems , 2007, 2007 IEEE Congress on Evolutionary Computation.
[8] Petru Eles,et al. Timing Analysis of the FlexRay Communication Protocol , 2006, ECRTS.
[9] Robert E. Tarjan,et al. Depth-First Search and Linear Graph Algorithms , 1972, SIAM J. Comput..
[10] Robert Sedgewick,et al. Algorithms in C : Part 5 : Graph Algo-rithms , 2002 .
[11] Wang Yi,et al. Cyclic dependencies in modular performance analysis , 2008, EMSOFT '08.
[12] Alfred V. Aho,et al. Data Structures and Algorithms , 1983 .
[13] Alan Burns,et al. Calculating controller area network (can) message response times , 1994 .
[14] Kim G. Larsen,et al. Network Calculus for Real Time Analysis of Embedded Systems with Cyclic Task Dependencies , 2005, Computers and Their Applications.
[15] Lothar Thiele,et al. Combined approach to system level performance analysis of embedded systems , 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
[16] Martin Lukasiewycz,et al. Combined system synthesis and communication architecture exploration for MPSoCs , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.