skip to main content
research-article

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

Authors Info & Claims
Published:29 May 2021Publication History
Skip Abstract Section

Abstract

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.

References

  1. Guy Avni, Shibashis Guha, and Guillermo Rodriguez-Navas. 2016. Synthesizing time-triggered schedules for switched networks with faulty links. In Proceedings of the International Conference on Embedded Software (EMSOFT’16). IEEE, 1–10.Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Lucia Lo Bello and Wilfried Steiner. 2019. A perspective on IEEE time-sensitive networking for industrial communication and automation systems. Proc. IEEE 107, 6 (2019), 1094–1120.Google ScholarGoogle ScholarCross RefCross Ref
  3. James Bradley. 1988. Introduction to Discrete Mathematics. Addison-Wesley Longman Publishing.Google ScholarGoogle Scholar
  4. Ian Broster, Alan Burns, and Guillermo Rodriguez-Navas. 2005. Timing analysis of real-time communication under electromagnetic interference. Real-Time Syst. 30, 1–2 (2005), 55–81.Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Silviu S. Craciunas, Ramon Serna Oliver, Martin Chmelik, and Wilfried Steiner. 2016. Scheduling real-time communication in IEEE 802.1Qbv time sensitive networks. In Proceedings of the International Conference on Real-Time Networks and Systems (RTNS’16). ACM, 183–192.Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Leonardo De Moura and Nikolaj Bjørner. 2008. Z3: An efficient SMT solver. In Proceedings of the International conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, 337–340.Google ScholarGoogle ScholarCross RefCross Ref
  7. Frank Dürr and Naresh Ganesh Nayak. 2016. No-wait packet scheduling for IEEE time-sensitive networks (TSN). In Proceedings of the International Conference on Real-Time Networks and Systems. ACM, 203–212.Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. P. Erodos and A. Renyi. 1959. On random graphs I. Publ. Math. Debrecen 6, 290–297 (1959), 18.Google ScholarGoogle Scholar
  9. Jonathan Falk, Frank Dürr, and Kurt Rothermel. 2018. Exploring practical limitations of joint routing and scheduling for TSN with ILP. In Proceedings of the International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’18). IEEE, 136–146.Google ScholarGoogle ScholarCross RefCross Ref
  10. Frank Falk Jonathan, Dürr and Rothermel Kurt. 2020. Time-triggered traffic planning for data networks with conflict graphs. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium (RTAS’20). IEEE, 203–212.Google ScholarGoogle Scholar
  11. Voica Gavrilut, Bahram Zarrin, Paul Pop, and Soheil Samii. 2017. Fault-tolerant topology and routing synthesis for IEEE time-sensitive networking. In Proceedings of the International Conference on Real-Time Networks and Systems(RTNS’17). ACM, 267–276. DOI:https://doi.org/10.1145/3139258.3139284Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. Voica Gavriluţ, Luxi Zhao, Michael L. Raagaard, and Paul Pop. 2018. AVB-aware routing and scheduling of time-triggered traffic for TSN. IEEE Access 6 (2018), 75229–75243.Google ScholarGoogle ScholarCross RefCross Ref
  13. Arpan Gujarati. 2020. Towards Ultra-Reliable CPS: Reliability Analysis of Distributed Real-Time Systems. Ph.D. Dissertation. Technical University of Kaiserslautern.Google ScholarGoogle Scholar
  14. Arpan Gujarati, Sergey Bozhko, and Björn B. Brandenburg. 2020. Real-time replica consistency over ethernet with reliability bounds. In Proceedings of the Real-Time and Embedded Technology and Applications Symposium (RTAS’20). IEEE, 1–10.Google ScholarGoogle Scholar
  15. Arpan Gujarati and Björn B. Brandenburg. 2015. When is CAN the weakest link? A bound on failures-in-time in CAN-based real-time systems. In Proceedings of the IEEE Real-Time Systems Symposium. IEEE, 249–260.Google ScholarGoogle Scholar
  16. IEEE. 2011. 802.1AS-2011 –IEEE Standard for Local and Metropolitan Area Networks—Timing and Synchronization for Time-Sensitive Applications in Bridged Local Area Networks.Google ScholarGoogle Scholar
  17. IEEE. 2018. 802.1CB-2017—IEEE Standard for Local and metropolitan area networks–Frame Replication and Elimination for Reliability.Google ScholarGoogle Scholar
  18. IEEE. 2018. 802.1Q-2018—IEEE Standard for Local and Metropolitan Area Networks–Bridges and Bridged Networks.Google ScholarGoogle Scholar
  19. IEEE. 2019. Time-Sensitive Networking (TSN) Task Group.Google ScholarGoogle Scholar
  20. International Organization for Standardization. 2018. Road vehicles—Functional safety, ISO 26262, 2nd ed.Google ScholarGoogle Scholar
  21. International Organization for Standardization. 2019. Road Vehicles—Safety of the Intended Functionality (SOTIF).Google ScholarGoogle Scholar
  22. Viacheslav Izosimov. 2009. Scheduling and optimization of fault-tolerant distributed embedded systems. Ph.D. Dissertation. Linköping University Electronic Press.Google ScholarGoogle Scholar
  23. Viacheslav Izosimov, Paul Pop, Petru Eles, and Zebo Peng. 2005. Design optimization of time-and cost-constrained fault-tolerant distributed embedded systems. In Proceedings of the Design, Automation and Test in Europe. IEEE, 864–869.Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Petru Eles, and Zebo Peng. 2019. Security-aware routing and scheduling for control applications on ethernet TSN networks. ACM Trans. Design Autom. Electron. Syst. 25, 1 (2019), 1–26.Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. R. Mahfouzi, A. Aminifar, S. Samii, A. Rezine, P. Eles, and Z. Peng. 2018. Stability-aware integrated routing and scheduling for control applications in Ethernet networks. In Proceedings of the Design, Automation Test in Europe Conference Exhibition (DATE’18). 682–687.DOI:https://doi.org/10.23919/DATE.2018.8342096Google ScholarGoogle Scholar
  26. Rouhollah Mahfouzi, Amir Aminifar, Soheil Samii, Ahmed Rezine, Petru Eles, and Zebo Peng. 2020. Breaking silos to guarantee control stability with communication over ethernet TSN. IEEE Design Test (2020).Google ScholarGoogle ScholarCross RefCross Ref
  27. Reusch Niklas, Paul Pop, and Silviu S. Craciunas. 2020. Safe and Secure Configuration Synthesis for TSN-based Distributed Cyber-Physical Systems using Constraint Programming. Technical Report. Technical University of Denmark, TTTech Computertechnik AG.Google ScholarGoogle Scholar
  28. Paul Pop, Viacheslav Izosimov, Petru Eles, and Zebo Peng. 2009. Design optimization of time-and cost-constrained fault-tolerant embedded systems with checkpointing and replication. IEEE Trans. Very Large Scale Integr. Syst. 17, 3 (2009), 389–402.Google ScholarGoogle ScholarDigital LibraryDigital Library
  29. Paul Pop, Kåre Harbo Poulsen, Viacheslav Izosimov, and Petru Eles. 2007. Scheduling and voltage scaling for energy/reliability trade-offs in fault-tolerant time-triggered embedded systems. In Proceedings of the IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis. ACM, 233–238.Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. Paul Pop, Michael Lander Raagaard, Marina Gutierrez, and Wilfried Steiner. 2018. Enabling fog computing for industrial automation through time-sensitive networking (TSN). IEEE Commun. Standards Mag. 2, 2 (2018), 55–61.Google ScholarGoogle ScholarCross RefCross Ref
  31. Francisco Pozo, Guillermo Rodriguez-Navas, and Hans Hansson. 2018. Schedule reparability: enhancing time-triggered network recovery upon link failures. In Proceedings of the 24th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA’18). IEEE, 147–156.Google ScholarGoogle ScholarCross RefCross Ref
  32. Soheil Samii and Helge Zinner. 2018. Level 5 by layer 2: Time-sensitive networking for autonomous vehicles. IEEE Commun. Standards Mag. 2, 2 (2018), 62–68.Google ScholarGoogle ScholarCross RefCross Ref
  33. Suk-Hyun Seo, Jin-Ho Kim, Sung-Ho Hwang, Key Ho Kwon, and Jae Wook Jeon. 2012. A reliable gateway for in-vehicle networks based on LIN, CAN, and FlexRay. ACM Trans. Embed. Comput. Syst. 11, 1 (2012), 1–24.Google ScholarGoogle ScholarDigital LibraryDigital Library
  34. Fedor Smirnov, Michael Glaß, Felix Reimann, and Jürgen Teich. 2016. Formal reliability analysis of switched ethernet automotive networks under transient transmission errors. In Proceedings of the 53nd ACM/EDAC/IEEE Design Automation Conference (DAC’16). IEEE, 1–6.Google ScholarGoogle ScholarDigital LibraryDigital Library
  35. Fedor Smirnov, Michael Glaß, Felix Reimann, and Jürgen Teich. 2017. Optimizing message routing and scheduling in automotive mixed-criticality time-triggered networks. In Proceedings of the 54th ACM/EDAC/IEEE Design Automation Conference (DAC’17). IEEE, 1–6.Google ScholarGoogle ScholarDigital LibraryDigital Library
  36. Wilfried Steiner. 2010. An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks. In Proceedings of the IEEE Real-Time Systems Symposium. IEEE, 375–384.Google ScholarGoogle ScholarDigital LibraryDigital Library
  37. Bogdan Tanasa, Unmesh D Bordoloi, Petru Eles, and Zebo Peng. 2010. Scheduling for fault-tolerant communication on the static segment of FlexRay. In Proceedings of the 31st IEEE Real-Time Systems Symposium. IEEE, 385–394.Google ScholarGoogle ScholarDigital LibraryDigital Library
  38. Guoqi Xie, Hao Peng, Jing Huang, Renfa Li, and Keqin Li. Early Access. Energy-efficient functional safety design methodology using ASIL decomposition for automotive cyber-physical systems. IEEE Trans. Reliabil. (Early Access).Google ScholarGoogle Scholar
  39. Yuanbin Zhou, Soheil Samii, Petru Eles, and Zebo Peng. 2019. Partitioned and overhead-aware scheduling of mixed-criticality real-time systems. In Proceedings of the Asia and South Pacific Design Automation Conference. ACM, 39–44.Google ScholarGoogle ScholarDigital LibraryDigital Library
  40. Yuanbin Zhou, Soheil Samii, Petru Eles, and Zebo Peng. 2019. Scheduling optimization with partitioning for mixed-criticality systems. J. Syst. Architect. 98 (2019), 191–200.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

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

    Recommendations

    Comments

    Login options

    Check if you have access through your login credentials or your institution to get full access on this article.

    Sign in

    Full Access

    PDF Format

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    HTML Format

    View this article in HTML Format .

    View HTML Format
    About Cookies On This Site

    We use cookies to ensure that we give you the best experience on our website.

    Learn more

    Got it!