Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching

Ethernet is increasingly recognized as the future communication standard for distributed embedded systems in multiple domains such as industrial automation, automotive and avionics. A main motivation for this is cost and available data rate. A critical issue in the adoption of Ethernet in these domains is the timing of frame transfers, as many relevant applications require a guaranteed low-latency communication in order to meet real-time constraints. Ethernet AVB is an upcoming standard which addresses the timing issues by extending the existing strict-priority arbitration. Still, it needs to be evaluated whether these mechanism suffice for the targeted applications. For safety-critical applications, this can not only be done using intuition or simulation but requires a formal approach to assure the coverage of all worst-case corner cases. Hence, we present in this paper a formal worst-case analysis of the timing properties of Ethernet AVB and strict-priority Ethernet. This analysis mathematically determines safe upper bounds on the latency of frame transfers. Using this approach, we evaluate different topologies for a typical use-case in industrial automation.

[1]  Eric Rondeau,et al.  Strict priority versus weighted fair queueing in switched Ethernet networks for time critical applications , 2005, 19th IEEE International Parallel and Distributed Processing Symposium.

[2]  Alan Burns,et al.  Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised , 2007, Real-Time Systems.

[3]  Rolf Ernst,et al.  System Level Performance Analysis for Real-Time Automotive Multicore and Network Architectures , 2009, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[4]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[5]  Alan Burns,et al.  An extendible approach for analyzing fixed priority hard real-time tasks , 1994, Real-Time Systems.

[6]  Rolf Ernst,et al.  Exploiting inter-event stream correlations between output event streams of non-preemptively scheduled tasks , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[7]  Rolf Ernst,et al.  Providing accurate event models for the analysis of heterogeneous multiprocessor systems , 2008, CODES+ISSS '08.

[8]  Suk Lee,et al.  Worst Case Communication Delay of Real-Time Industrial Switched Ethernet With Multiple Levels , 2006, IEEE Transactions on Industrial Electronics.

[9]  Rolf Ernst,et al.  System level performance analysis - the SymTA/S approach , 2005 .

[10]  Rolf Ernst,et al.  Formal Timing Analysis of Full Duplex Switched Based Ethernet Network Architectures , 2010 .

[11]  Alan Burns,et al.  Real-Time Communication Analysis for On-Chip Networks with Wormhole Switching , 2008, Second ACM/IEEE International Symposium on Networks-on-Chip (nocs 2008).

[12]  Rolf Ernst,et al.  Formal analysis of sporadic overload in real-time systems , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).

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

[14]  Henrik Schiøler,et al.  Worst-Case Traversal Time Modelling of Ethernet Based In-Car Networks Using Real Time Calculus , 2011, NEW2AN.

[15]  Rolf Ernst,et al.  Real-time communication analysis for networks with two-stage arbitration , 2011, 2011 Proceedings of the Ninth ACM International Conference on Embedded Software (EMSOFT).

[16]  Jürgen Jasperneite,et al.  A performance study of Ethernet Audio Video Bridging (AVB) for Industrial real-time communication , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[17]  Rolf Ernst,et al.  Exploring Use of Ethernet for In-Vehicle Control Applications: AFDX, TTEthernet, EtherCAT, and AVB , 2012 .

[18]  Rolf Ernst,et al.  A Formal Approach to MpSoC Performance Verification , 2003, Computer.

[19]  Michael González Harbour,et al.  Offset-based response time analysis of distributed systems scheduled under EDF , 2003, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings..