Invited - Towards fail-operational ethernet based in-vehicle networks

Proceedings - Design Automation Conference

Volumn 05-09-June-2016, Issue , 2016, Pages

  Möstl, Mischa ^a   Thiele, Daniel ^a   Ernst, Rolf ^a  

^a TECHNICAL UNIVERSITY OF BRAUNSCHWEIG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; COMPUTER AIDED DESIGN; ETHERNET; VEHICLES;

AUTONOMOUS DRIVING; CONTROLLED DEGRADATION; CRITICAL TRAFFIC; ETHERNET-BASED NETWORKS; FAULT RECOVERY; IN-VEHICLE NETWORKS; SAFETY REQUIREMENTS; SOFTWARE DEFINED NETWORKING (SDN);

VEHICLES; ETHERNET;

EID: 84977125800     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2897937.2905021     Document Type: Conference Paper

References (25)

1. SAFURE-Safety And Security By Design For Interconnected Mixed-Critical Cyber-Physical Systems. https://safure.eu
2. N. L. M. v. Adrichem, B. J. v. Asten, and F. A. Kuipers. Fast Recovery in Software-Defined Networks. In 2014 Third European Workshop on Software Defined Networks (EWSDN), Sept. 2014
3. ARINC. ARINC 664, P7-Avionics Full-Duplex Switched Ethernet (AFDX) Network, 2009
4. AUTOSAR. AUTOSAR Specification Release 4.2, 2015
5. P. Axer, D. Thiele, and R. Ernst. Formal timing analysis of automatic repeat request for switched real-time networks. In 2014 9th IEEE International Symposium on Industrial Embedded Systems (SIES), June 2014
6. P. Axer, D. Thiele, R. Ernst, and J. Diemer. Exploiting Shaper Context to Improve Performance Bounds of Ethernet AVB Networks. In Proceedings of the 51st Annual Design Automation Conference, DAC '14, New York, NY, USA, 2014. ACM
7. Broadcom Corporation. BroadR-Reach Physical Layer Transceiver Specification For Automotive Applications-Version 3.0, May 2014
8. J. Diemer, P. Axer, and Ernst, Rolf. Compositional Performance Analysis in Python with pyCPA. In Proceedings of the 3rd International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems, ECRTS, Pisa, July 2012
9. J. Diemer, J. Rox, R. Ernst, F. Chen, K. Kremer, and K. Richter. Exploring the worst-case timing of Ethernet AVB for industrial applications. In IECON 2012-38th Annual Conference on IEEE Industrial Electronics Society, 2012
10. D. Katz and D. Ward. Bidirectional forwarding detection (BFD). RFC 5880, RFC Editor, June 2010
11. A. Kern, D. Reinhard, T. Streichert, and J. Teich. Gateway Strategies for Embedding of Automotive CAN-Frames into Ethernet-Packets and Vice Versa. In M. Berekovic, W. Fornaciari, U. Brinkschulte, and C. Silvano, editors, Architecture of Computing Systems-ARCS 2011, number 6566 in Lecture Notes in Computer Science. Springer Berlin Heidelberg, Jan. 2011
12. D. Kreutz, F. M. Ramos, P. Esteves Verissimo, C. Esteve Rothenberg, S. Azodolmolky, and S. Uhlig. Software-defined networking: A comprehensive survey. proceedings of the IEEE, 103(1), 2015
13. S. Lin, D. J. Costello, and M. J. Miller. Automatic-repeat-request error-control schemes. IEEE Communications Magazine, 22(12), Dec. 1984
14. Open Networking Foundation. Openow. [Online]. Available: https://www.opennetworking.org/sdn-resources/openow
15. J. R. Seyler, T. Streichert, M. Glá, N. Navet, and J. Teich. Formal analysis of the startup delay of SOME/IP service discovery. In Design, Automation Test in Europe Conference Exhibition (DATE), 2015, Mar. 2015
16. J. Takeuchi. Requirements for automotive AVB system profiles. Technical report, AVnu Alliance, April 2011
17. A. S. Tanenbaum. Computer networks. Prentice Hall PTR, 2003
18. D. Thiele, P. Axer, and R. Ernst. Improving Formal Timing Analysis of Switched Ethernet by Exploiting FIFO Scheduling. In Proceedings of the 52Nd Annual Design Automation Conference, DAC '15, New York, NY, USA, 2015. ACM
19. D. Thiele, P. Axer, R. Ernst, J. Diemer, and K. Richter. Cooperating on Real-Time Capable Ethernet Architecture in Vehicles. In VDI Elektronik im Fahrzeug, Baden Baden, October 2013
20. D. Thiele, P. Axer, R. Ernst, and J. R. Seyler. Improving Formal Timing Analysis of Switched Ethernet by Exploiting Trác Stream Correlations. In Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, CODES '14, New York, NY, USA, 2014. ACM
21. D. Thiele, J. Diemer, P. Axer, R. Ernst, and J. Seyler. Improved Formal Worst-case Timing Analysis of Weighted Round Robin Scheduling for Ethernet. In Proceedings of the Ninth IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, CODES+ISSS '13, Piscataway, NJ, USA, 2013. IEEE Press
22. D. Thiele and R. Ernst. Formal Analysis Based Evaluation of Software Defined Networking for Time-Sensitive Ethernet. In Proceedings of the Design Automation and Test in Europe, DATE '16, 2016
23. D. Thiele, J. Schlatow, P. Axer, and R. Ernst. Formal Timing Analysis of CAN-to-Ethernet Gateway Strategies in Automotive Networks. Real-Time Syst., 52(1), Jan. 2016
24. Time-Sensitive Networking Task Group of IEEE 802.1. P802.1Qca: Standard for Local and metropolitan area networks-Path Control and Reservation (Draft 2.1), June 2015
25. Time-Sensitive Networking Task Group of IEEE 802.1. P802.1Qcc: Standard for Local and metropolitan area networks-Stream Reservation Protocol (Draft 0.4), June 2015