Formal reliability analysis of switched Ethernet automotive networks under transient transmission errors
暂无分享,去创建一个
[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 .