Formal reliability analysis of switched Ethernet automotive networks under transient transmission errors

Modern cars integrate a huge number of functionalities with high bandwidth, real-time, and reliability requirements. Ethernet offers the possibility to satisfy these bandwidth requirements and enables the usage of temporal redundancy mechanisms to increase the reliability of the communication network. In this paper, we present a lightweight formal analysis approach for the determination of the transmission reliability of messages in switched Ethernet networks under the influence of transient errors. In particular, this approach takes the interrelation between the individual message reliability and the timing behavior of the communication network into account. We present both a fast approach delivering a pessimistic safe reliability bound and a more sophisticated approach that results in a tighter yet still safe bound. The proposed approaches are compared by performing a design space exploration of an automotive communication network.

[1]  Philip Koopman,et al.  32-bit cyclic redundancy codes for Internet applications , 2002, Proceedings International Conference on Dependable Systems and Networks.

[2]  Martin Lukasiewycz,et al.  Opt4J: a modular framework for meta-heuristic optimization , 2011, GECCO '11.

[3]  José Alberto Fonseca,et al.  An Experiment to Assess Bit Error Rate in CAN , 2004 .

[4]  Kai Richter,et al.  Compositional scheduling analysis using standard event models , 2004 .

[5]  Rolf Ernst,et al.  Typical worst case response-time analysis and its use in automotive network design , 2014, 2014 51st ACM/EDAC/IEEE Design Automation Conference (DAC).

[6]  Rolf Ernst,et al.  Modeling of Ethernet AVB Networks for Worst-Case Timing Analysis , 2012 .

[7]  Martin Lukasiewycz,et al.  Exploiting data-redundancy in reliability-aware networked embedded system design , 2009, CODES+ISSS '09.

[8]  Rolf Ernst,et al.  Reliability Analysis of Single Bus Communication with Real-Time Requirements , 2009, 2009 15th IEEE Pacific Rim International Symposium on Dependable Computing.

[9]  B. Muller-Rathgeber,et al.  Error Detection Capabilities of Automotive Network Technologies and Ethernet - A Comparative Study , 2007, 2007 IEEE Intelligent Vehicles Symposium.

[10]  Fei Hu,et al.  Fault tree synthesis for an avionic network , 2011, Proceedings 2011 International Conference on Transportation, Mechanical, and Electrical Engineering (TMEE).

[11]  Martin Lukasiewycz,et al.  Symbolic Reliability Analysis and Optimization of ECU Networks , 2008, 2008 Design, Automation and Test in Europe.

[12]  Rolf Ernst,et al.  Improving formal timing analysis of switched ethernet by exploiting traffic stream correlations , 2014, 2014 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[13]  Ramez M. Daoud,et al.  Performance and Reliability of Fault-Tolerant Ethernet Networked Control Systems , 2010 .