Reliability-aware Scheduling and Routing for Messages in Time-sensitive Networking

Time-sensitive Networking (TSN) on Ethernet is a promising communication technology in the automotive and industrial automation industries due to its real-time and high-bandwidth communication capabilities. Time-triggered scheduling and static routing are often adopted in these areas due to high requirements on predictability for safety-critical applications. Deadline-constrained routing and scheduling in TSN have been studied extensively in past research. However, scheduling and routing with reliability requirements in the context of transient faults are not yet studied. In this work, we propose an Satisfiability Modulo Theory-based technique to perform scheduling and routing that takes both reliability constraints and end-to-end deadline constraints into consideration. Heuristics have been applied to improve the scalability of the solution. Extensive experiments have been conducted to demonstrate the efficiency of our proposed technique.

[1]  Petru Eles,et al.  Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems , 2007, 2007 5th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).

[2]  Petru Eles,et al.  Partitioned and overhead-aware scheduling of mixed-criticality real-time systems , 2019, ASP-DAC.

[3]  ElesPetru,et al.  Security-aware Routing and Scheduling for Control Applications on Ethernet TSN Networks , 2019 .

[4]  Petru Eles,et al.  Design Optimization of Time- and Cost-Constrained Fault-Tolerant Embedded Systems With Checkpointing and Replication , 2009, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[5]  Petru Eles,et al.  Security-aware Routing and Scheduling for Control Applications on Ethernet TSN Networks , 2019, ACM Trans. Design Autom. Electr. Syst..

[6]  Soheil Samii,et al.  Level 5 by Layer 2: Time-Sensitive Networking for Autonomous Vehicles , 2018, IEEE Communications Standards Magazine.

[7]  Anne Marsden,et al.  International Organization for Standardization , 2014 .

[8]  Arpan Gujarati.  Towards "Ultra-Reliable" CPS: Reliability Analysis of Distributed Real-Time Systems , 2020 .

[9]  Petru Eles,et al.  Breaking Silos to Guarantee Control Stability with Communication over Ethernet TSN , 2020 .

[10]  Viacheslav Izosimov,et al.  Scheduling and Optimization of Fault-Tolerant Distributed Embedded Systems , 2009 .

[11]  Wilfried Steiner,et al.  A Perspective on IEEE Time-Sensitive Networking for Industrial Communication and Automation Systems , 2019, Proceedings of the IEEE.

[12]  Hans A. Hansson,et al.  Schedule Reparability: Enhancing Time-Triggered Network Recovery Upon Link Failures , 2018, 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

[13]  Michael Glaß,et al.  Optimizing message routing and scheduling in automotive mixed-criticality time-triggered networks , 2017, 2017 54th ACM/EDAC/IEEE Design Automation Conference (DAC).

[14]  Petru Eles,et al.  Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[15]  Petru Eles,et al.  Stability-aware integrated routing and scheduling for control applications in Ethernet networks , 2018, 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[16]  Paul Pop,et al.  AVB-Aware Routing and Scheduling of Time-Triggered Traffic for TSN , 2018, IEEE Access.

[17]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[18]  Silviu S. Craciunas,et al.  Scheduling Real-Time Communication in IEEE 802.1Qbv Time Sensitive Networks , 2016, RTNS.

[19]  Paul Pop,et al.  Enabling Fog Computing for Industrial Automation Through Time-Sensitive Networking (TSN) , 2018, IEEE Communications Standards Magazine.

[20]  Alan Burns,et al.  Timing Analysis of Real-Time Communication Under Electromagnetic Interference , 2005, Real-Time Systems.

[21]  Wilfried Steiner,et al.  An Evaluation of SMT-Based Schedule Synthesis for Time-Triggered Multi-hop Networks , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[22]  M. Petró‐Turza,et al.  The International Organization for Standardization. , 2003 .

[23]  Guy Avni,et al.  Synthesizing time-triggered schedules for switched networks with faulty links , 2016, 2016 International Conference on Embedded Software (EMSOFT).

[24]  Arpan Gujarati,et al.  Real-Time Replica Consistency over Ethernet with Reliability Bounds , 2020, 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[25]  Paul Pop,et al.  Fault-tolerant topology and routing synthesis for IEEE time-sensitive networking , 2017, RTNS.

[26]  Arpan Gujarati,et al.  When Is CAN the Weakest Link? A Bound on Failures-in-Time in CAN-Based Real-Time Systems , 2015, 2015 IEEE Real-Time Systems Symposium.

[27]  Michael Glaß,et al.  Formal reliability analysis of switched Ethernet automotive networks under transient transmission errors , 2016, 2016 53nd ACM/EDAC/IEEE Design Automation Conference (DAC).

[28]  Darrel C. Ince,et al.  An introduction to discrete mathematics , 1988 .

[29]  Petru Eles,et al.  Scheduling optimization with partitioning for mixed-criticality systems , 2019, J. Syst. Archit..

[30]  Frank Dürr,et al.  No-wait Packet Scheduling for IEEE Time-sensitive Networks (TSN) , 2016, RTNS.

[31]  Jae Wook Jeon,et al.  A reliable gateway for in-vehicle networks based on LIN, CAN, and FlexRay , 2012, TECS.

[32]  Frank Dürr,et al.  Exploring Practical Limitations of Joint Routing and Scheduling for TSN with ILP , 2018, 2018 IEEE 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA).

[33]  Frank Dürr,et al.  Time-Triggered Traffic Planning for Data Networks with Conflict Graphs , 2020, 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS).

[34]  Petru Eles,et al.  Design optimization of time- and cost-constrained fault-tolerant distributed embedded systems , 2005, Design, Automation and Test in Europe.

[35]  Alan M. Frieze,et al.  Random graphs , 2006, SODA '06.