Stability-aware integrated routing and scheduling for control applications in Ethernet networks

Real-time communication over Ethernet is becoming important in various application areas of cyber-physical systems such as industrial automation and control, avionics, and automotive networking. Since such applications are typically time critical, Ethernet technology has been enhanced to support time-driven communication through the IEEE 802.1 TSN standards. The performance and stability of control applications is strongly impacted by the timing of the network communication. Thus, in order to guarantee stability requirements, when synthesizing the communication schedule and routing, it is needed to consider the degree to which control applications can tolerate message delays and jitters. In this paper we jointly solve the message scheduling and routing problem for networked cyber-physical systems based on the time-triggered Ethernet TSN standards. Moreover, we consider this communication synthesis problem in the context of control applications and guarantee their worst-case stability, taking explicitly into consideration the impact of communication delay and jitter on control quality. Considering the inherent complexity of the network communication synthesis problem, we also propose new heuristics to improve synthesis efficiency without any major loss of quality. Experiments demonstrate the effectiveness of the proposed solutions.

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

[2]  Lucia Lo Bello.  The case for ethernet in automotive communications , 2011, SIGBED.

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

[4]  Samarjit Chakraborty,et al.  Automotive Cyber–Physical Systems: A Tutorial Introduction , 2016, IEEE Design & Test.

[5]  Anton Cervin,et al.  JITTERBUG: a tool for analysis of real-time control performance , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[6]  Wilfried Steiner.  Synthesis of Static Communication Schedules for Mixed-Criticality Systems , 2011, 2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.

[7]  Petru Eles,et al.  Integrated scheduling and synthesis of control applications on distributed embedded systems , 2009, 2009 Design, Automation & Test in Europe Conference & Exhibition.

[8]  Paul Erdös,et al.  On random graphs, I , 1959 .

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

[10]  Paul Pop,et al.  Traffic class assignment for mixed-criticality frames in TTEthernet , 2016, SIGBED.

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

[12]  Michael Paulitsch,et al.  Time-Triggered Ethernet , 2014 .

[13]  Riccardo Muradore,et al.  A SystemC/Matlab co-simulation tool for networked control systems , 2012, Simul. Model. Pract. Theory.

[14]  Petru Eles,et al.  Control-quality driven design of cyber-physical systems with robustness guarantees , 2013, 2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).

[15]  Zhu Qi,et al.  An Efficient Control-driven Period Optimization Algorithm for Distributed Real-time Systems , 2014 .

[16]  Astrom.  Computer Controlled Systems , 1990 .

[17]  Silviu S. Craciunas,et al.  Design optimisation of cyber-physical distributed systems using IEEE time-sensitive networks , 2016, IET Cyper-Phys. Syst.: Theory & Appl..

[18]  Samarjit Chakraborty,et al.  Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

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

[20]  Paul Pop,et al.  Design optimization of TTEthernet-based distributed real-time systems , 2014, Real-Time Systems.

[21]  Anton Cervin,et al.  Stability and worst-case performance analysis of sampled-data control systems with input and output jitter , 2012, 2012 American Control Conference (ACC).