Improved formal worst-case timing analysis of weighted round robin scheduling for Ethernet

Ethernet networks become increasingly popular in many distributed embedded applications. As an alternative to strict priority (SP) scheduling, weighted round robin (WRR) is supported by most commercially available Ethernet switches. In WRR scheduling the link capacity is distributed fairly among traffic streams according to preset weights on a per round basis. As WRR does not provide latency guarantees, formal timing verification is necessary in order to deploy WRR in real-time applications. In this paper, we present a formal method to analyze WRR scheduling in Ethernet networks. Compared to existing methods which overestimate by assuming unnecessarily high interference, our method will take actual load bounds into account, thus achieving tighter analysis results. Finally, we perform an evaluation of our approach against existing methods and also against SP scheduling.

[1]  Christian Fraboul,et al.  Worst-case end-to-end delay analysis of an avionics AFDX network , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[2]  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.

[3]  Costas Courcoubetis,et al.  Weighted Round-Robin Cell Multiplexing in a General-Purpose ATM Switch Chip , 1991, IEEE J. Sel. Areas Commun..

[4]  Christian Fraboul,et al.  Worst-Case Backlog Evaluation of Avionics Switched Ethernet Networks with the Trajectory Approach , 2012, 2012 24th Euromicro Conference on Real-Time Systems.

[5]  J. Javier Gutiérrez,et al.  Response time analysis in AFDX networks , 2022 .

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

[7]  Paul Pop,et al.  Synthesis of communication schedules for TTEthernet-based mixed-criticality systems , 2012, CODES+ISSS.

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

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

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

[11]  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).

[12]  Jean-Yves Le Boudec,et al.  Network Calculus: A Theory of Deterministic Queuing Systems for the Internet , 2001 .

[13]  George Varghese,et al.  Efficient fair queueing using deficit round robin , 1995, SIGCOMM '95.

[14]  Rolf Ernst,et al.  Monitoring Arbitrary Activation Patterns in Real-Time Systems , 2012, 2012 IEEE 33rd Real-Time Systems Symposium.

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

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

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

[18]  Rolf Ernst,et al.  Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching , 2012, 7th IEEE International Symposium on Industrial Embedded Systems (SIES'12).

[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..

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

[21]  Hermann Kopetz,et al.  The time-triggered Ethernet (TTE) design , 2005, Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05).

[22]  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.

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