Design optimisation of cyber-physical distributed systems using IEEE time-sensitive networks

In this study the authors are interested in safety-critical real-time applications implemented on distributed architectures supporting the time-sensitive networking (TSN) standard. The on-going standardisation of TSN is an IEEE effort to bring deterministic real-time capabilities into the IEEE 802.1 Ethernet standard supporting safety-critical systems and guaranteed quality-of-service. TSN will support time-triggered (TT) communication based on schedule tables, audio-video-bridging (AVB) flows with bounded end-to-end latency as well as best-effort messages. The authors first present a survey of research related to the optimisation of distributed cyber-physical systems using real-time Ethernet for communication. Then, the authors formulate two novel optimisation problems related to the scheduling and routing of TT and AVB traffic in TSN. Thus, the authors consider that they know the topology of the network as well as the set of TT and AVB flows. The authors are interested to determine the routing of both TT and AVB flows as well as the scheduling of the TT flows such that all frames are schedulable and the AVB worst-case end-to-end delay is minimised. The authors have proposed an integer linear programming formulation for the scheduling problem and a greedy randomised adaptive search procedure-based heuristic for the routing problem. The proposed approaches have been evaluated using several test cases.

[1]  Abdullah Konak,et al.  Network Reliability Optimization , 2006, Handbook of Optimization in Telecommunications.

[2]  Paul Pop,et al.  Fault-tolerant topology selection for TTEthernet Networks , 2015 .

[3]  Paul Pop,et al.  Timing Analysis of Rate Constrained Traffic for the TTEthernet Communication Protocol , 2015, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing.

[4]  Astrit Ademaj,et al.  Segmentation of standard ethernet messages in the time-triggered ethernet , 2008, 2008 IEEE International Conference on Emerging Technologies and Factory Automation.

[5]  Nicolas Navet,et al.  Plasticity--Theory and Application , 1968 .

[6]  Soheil Samii,et al.  Urgency-Based Scheduler for Time-Sensitive Switched Ethernet Networks , 2016, 2016 28th Euromicro Conference on Real-Time Systems (ECRTS).

[7]  Bin Wang,et al.  Multicast routing and its QoS extension: problems, algorithms, and protocols , 2000 .

[8]  Paul Pop,et al.  Routing optimization of AVB streams in TSN networks , 2016, SIGBED.

[9]  Leslie G. Valiant,et al.  The Complexity of Enumeration and Reliability Problems , 1979, SIAM J. Comput..

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

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

[12]  Ekarin Suethanuwong.  Scheduling time-triggered traffic in TTEthernet systems , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[13]  David Eppstein,et al.  Finding the k Shortest Paths , 1999, SIAM J. Comput..

[14]  Luís Almeida,et al.  Message routing in multi-segment FTT networks: the isochronous approach , 2004, 18th International Parallel and Distributed Processing Symposium, 2004. Proceedings..

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

[16]  Silviu S. Craciunas,et al.  Combined task- and network-level scheduling for distributed time-triggered systems , 2016, Real-Time Systems.

[17]  Thomas C. Schmidt,et al.  Extending IEEE 802.1 AVB with time-triggered scheduling: A simulation study of the coexistence of synchronous and asynchronous traffic , 2013, 2013 IEEE Vehicular Networking Conference.

[18]  Giuliana Alderisi,et al.  Introducing support for scheduled traffic over IEEE audio video bridging networks , 2013, 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA).

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

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

[21]  Jean-Dominique Decotignie,et al.  Ethernet-Based Real-Time and Industrial Communications , 2005, Proceedings of the IEEE.

[22]  Qiao Li,et al.  Improving Worst-Case Latency Analysis for Rate-Constrained Traffic in the Time-Triggered Ethernet Network , 2014, IEEE Communications Letters.

[23]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[24]  Miltos D. Grammatikakis,et al.  Packet Routing in Fixed-Connection Networks: A Survey , 1998, J. Parallel Distributed Comput..

[25]  Petru Eles,et al.  Schedulability analysis of Ethernet AVB switches , 2014, 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications.

[26]  Marc Boyer,et al.  Complete modelling of AVB in Network Calculus Framework , 2014, RTNS.

[27]  Domitian Tamas-Selicean,et al.  Design of Mixed-Criticality Applications on Distributed Real-Time Systems , 2015 .

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

[29]  John Rushby,et al.  A Comparison of Bus Architectures for Safety-Critical Embedded Systems , 2003 .

[30]  Christian Fraboul,et al.  A Probabilistic Analysis of End-To-End Delays on an AFDX Avionic Network , 2009, IEEE Transactions on Industrial Informatics.

[31]  Way Kuo,et al.  An annotated overview of system-reliability optimization , 2000, IEEE Trans. Reliab..

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

[33]  Panos M. Pardalos,et al.  Handbook of Optimization in Telecommunications , 2006 .

[34]  Petru Eles,et al.  Schedulability-driven frame packing for multicluster distributed embedded systems , 2005, TECS.

[35]  Christian Fraboul,et al.  Frame packing strategy within gateways for multi-cluster avionics embedded networks , 2012, Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012).

[36]  M. Resende,et al.  A probabilistic heuristic for a computationally difficult set covering problem , 1989 .

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

[38]  Eric Rondeau,et al.  Genetic algorithms for industrial ethernet network design , 2002, 4th IEEE International Workshop on Factory Communication Systems.

[39]  Olivier Brun,et al.  Optimal design of virtual links in AFDX networks , 2012, Real-Time Systems.

[40]  Hans A. Hansson,et al.  A decomposition approach for SMT-based schedule synthesis for time-triggered networks , 2015, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA).

[41]  Reinhard German,et al.  Routing of Safety-Relevant Messages in Automotive ECU Networks , 2009, 2009 IEEE 70th Vehicular Technology Conference Fall.