Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup

Real-time switched networks are becoming popular with the growing complexity of distributed embedded systems. There is a practical need to transmit noncritical data including diagnostic and supervising data for cost reduction. To meet hard real-time constraints, the time-triggered method is widely used due to its deterministic property, where both the reliability of the control data transmission and the tolerance of link failures are required. Conventional methods deploy redundant links and transmit frames over multiple disjoint paths. This paper presents a novel schedule method for the time-triggered network without simultaneous transmissions with multiple frames. The fault tolerance protocol is localized for critical data. We harness multiple effective optimization heuristics and strategies to ameliorate the existing schedule model and constraints. The experimental evaluation substantiates that our effective method can considerably improve the bandwidth for noncritical traffics with no link failures.

[1]  Chen-Nee Chuah,et al.  Failure Inferencing Based Fast Rerouting for Handling Transient Link and Node Failures , 2005, Proceedings IEEE INFOCOM 2006. 25TH IEEE International Conference on Computer Communications.

[2]  L. Marques,et al.  Tolerating transient communication faults with online traffic scheduling , 2012, 2012 IEEE International Conference on Industrial Technology.

[3]  R. Makowitz,et al.  Flexray - A communication network for automotive control systems , 2006, 2006 IEEE International Workshop on Factory Communication Systems.

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

[5]  Xiaomin Zhu,et al.  QoS-Aware Fault-Tolerant Scheduling for Real-Time Tasks on Heterogeneous Clusters , 2011, IEEE Transactions on Computers.

[6]  Mo-Yuen Chow,et al.  Networked Control System: Overview and Research Trends , 2010, IEEE Transactions on Industrial Electronics.

[7]  L. D. Moura,et al.  The YICES SMT Solver , 2006 .

[8]  Thilo Sauter,et al.  The Three Generations of Field-Level Networks—Evolution and Compatibility Issues , 2010, IEEE Transactions on Industrial Electronics.

[9]  Stephan Kehrer,et al.  A comparison of fault-tolerance concepts for IEEE 802.1 Time Sensitive Networks (TSN) , 2014, Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA).

[10]  Jianping Wu,et al.  RPFP: IP fast reroute with providing complete protection and without using tunnels , 2013, 2013 IEEE/ACM 21st International Symposium on Quality of Service (IWQoS).

[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]  Petru Eles,et al.  Scheduling for Fault-Tolerant Communication on the Static Segment of FlexRay , 2010, 2010 31st IEEE Real-Time Systems Symposium.

[13]  Harold N. Gabow.  A matroid approach to finding edge connectivity and packing arborescences , 1991, STOC '91.

[14]  R. Prodan,et al.  Meeting Soft Deadlines in Scientific Workflows Using Resubmission Impact , 2012, IEEE Transactions on Parallel and Distributed Systems.

[15]  R.L. Alena,et al.  Communications for Integrated Modular Avionics , 2007, 2007 IEEE Aerospace Conference.

[16]  Debmalya Panigrahi,et al.  Fast edge splitting and Edmonds' arborescence construction for unweighted graphs , 2008, SODA '08.

[17]  Thomas C. Schmidt,et al.  Comparing time-triggered Ethernet with FlexRay: An evaluation of competing approaches to real-time for in-vehicle networks , 2010, 2010 IEEE International Workshop on Factory Communication Systems Proceedings.

[18]  Hyo-Sik Yang,et al.  Latency and Traffic Reduction for Process-Level Network in Smart Substation Based on High-Availability Seamless Redundancy , 2016, IEEE Transactions on Industrial Electronics.

[19]  Junda Liu,et al.  Keep Forwarding: Towards k-link failure resilient routing , 2014, IEEE INFOCOM 2014 - IEEE Conference on Computer Communications.

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

[21]  Muriel Medard,et al.  Network Reliability and Fault Tolerance , 2003 .

[22]  D. R. Fulkerson,et al.  On edge-disjoint branchings , 1976, Networks.

[23]  Bruno Dutertre,et al.  Automated Formal Verification of the TTEthernet Synchronization Quality , 2011, NASA Formal Methods.

[24]  Tor Skeie,et al.  Timeliness of real-time IP communication in switched industrial Ethernet networks , 2006, IEEE Transactions on Industrial Informatics.

[25]  Thomas C. Schmidt,et al.  An extension of the OMNeT++ INET framework for simulating real-time ethernet with high accuracy , 2011, SimuTools.

[26]  Tibor Cinkler,et al.  A Novel Loop-Free IP Fast Reroute Algorithm , 2007, EUNICE.

[27]  Chen-Nee Chuah,et al.  Fast Local Rerouting for Handling Transient Link Failures , 2007, IEEE/ACM Transactions on Networking.