Loading [MathJax]/extensions/MathMenu.js
Link Between Real-Time Scheduling and Time-Triggered Networks | IEEE Conference Publication | IEEE Xplore

Link Between Real-Time Scheduling and Time-Triggered Networks


Abstract:

We demonstrate that, for periodic systems with offsets (tasks or flows of messages within a time-triggered network), the simulation cycle can be confined to the range of ...Show More

Abstract:

We demonstrate that, for periodic systems with offsets (tasks or flows of messages within a time-triggered network), the simulation cycle can be confined to the range of [0, hyperperiod) only under the condition that an idle point exists at the hyper-period. Furthermore, we establish that ensuring both (1) contention-freedom and (2) that no offset exceeds the value of the period minus duration, is a sufficient condition to guarantee the presence of an idle point at the hyper-period. Most contemporary methods aiming to eliminate latency are implicitly based on these properties and fail to propose a schedule if the input system does not allow a contention-free solution. Consequently, we propose a heuristic approach to scheduling periodic flows of frames within time-triggered networks. Our method focuses on minimizing latency, without necessitating a solution where every frame at every output port is contention-free, and it effectively manages the cyclicity problem.
Date of Conference: 05-08 December 2023
Date Added to IEEE Xplore: 06 February 2024
ISBN Information:

ISSN Information:

Conference Location: Taipei, Taiwan
References is not available for this document.

I. Introduction

This paper is a product of extensive deliberations between researchers with expertise in real-time scheduling and those in real-time networks. Since the advent of time-triggered networks, an increasing number of papers address what real-time schedulers call an offset-free problem (where the designer chooses the offset). We have periodic flows of frames to be sent over a network, and the question to be addressed is how to assign an offset to the flows in order to be able to schedule them with low or no latency over the output ports of the encountered switches. While offset-free systems in real-time scheduling have been mainly studied from the late 1990s to the early 2000s, in works such as [1], offset-free studies in networks are more recent [2], but are more focused on recent standards, especially regarding Scheduled Traffic in Time-Sensitive Networking (TSN).

Select All
1.
J. Goossens and R. Devillers, "The non-optimality of the monotonic assignments for hard real-time offset free systems Real-Time Systems", The International Journal of Time-Critical Computing, vol. 13, no. 2, pp. 107-126, 1997.
2.
W. Steiner, "An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks", 31st IEEE Real-Time Systems Symposium 2010, 2010.
3.
J. Y.-T. Leung and J. Whitehead, "On the complexity of fixed-priority scheduling of periodic real-time tasks", Performance Evaluation, vol. 2, no. 4, pp. 237-250, 1982.
4.
S. S. Craciunas, R. S. Oliver, M. Chmelík and W. Steiner, "Scheduling real-time communication in IEEE 802.1 Qbv time sensitive networks", Proceedings of the 24th International Conference on Real-Time Networks and Systems, pp. 183-192, 2016.
5.
R. S. Oliver, S. S. Craciunas and W. Steiner, "IEEE 802.1 Qbv gate control list synthesis using array theory encoding", 2018 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), pp. 13-24, 2018.
6.
M. Vlk, Z. Hanzálek and S. Tang, "Constraint programming approaches to joint routing and scheduling in time-sensitive networks", Computers & Industrial Engineering, vol. 157, pp. 107317, 2021.
7.
Q. Yu and M. Gu, "Adaptive group routing and scheduling in multicast time-sensitive networks", IEEE Access, vol. 8, pp. 37855-37865, 2020.
8.
B. Houtan, M. Ashjaei, M. Daneshtalab, M. Sjödin and S. Mubeen, "Synthesising schedules to improve QoS of best-effort traffic in TSN networks", 29th International Conference on Real-Time Networks and Systems, pp. 68-77, 2021.
9.
S. Beji, S. Hamadou, A. Gherbi and J. Mullins, "SMT-based cost optimization approach for the integration of avionic functions in IMA and TTEthernet architectures", 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications, pp. 165-174, 2014.
10.
S. S. Craciunas and R. S. Oliver, "Combined task-and network-level scheduling for distributed time-triggered systems", Real-Time Systems, vol. 52, no. 2, pp. 161-200, 2016.
11.
E. Schweissguth, P. Danielis, D. Timmermann, H. Parzyjegla and G. Mühl, "ILP-based joint routing and scheduling for Time-Triggered Networks", Proceedings of the 25th International Conference on Real-Time Networks and Systems RTNS '17, pp. 8-17, 2017.
12.
M. Pahlevan, N. Tabassam and R. Obermaisser, "Heuristic list scheduler for time triggered traffic in Time Sensitive Networks", SIGBED Rev., vol. 16, no. 1, pp. 15-20, 2019.
13.
F. Pozo, G. Rodriguez-Navas, W. Steiner and H. Hansson, "Period-aware segmented synthesis of schedules for multi-hop time-triggered networks", 2016 IEEE 22nd international conference on embedded and real-time computing systems and applications (RTCSA), pp. 170-175, 2016.
14.
Z. Pang, X. Huang, Z. Li, S. Zhang, Y. Xu, H. Wan, et al., "Flow scheduling for conflict-free network updates in time-sensitive software-defined networks", IEEE Transactions on Industrial Informatics, vol. 17, no. 3, pp. 1668-1678, 2020.
15.
M. Pahlevan and R. Obermaisser, "Genetic algorithm for scheduling time-triggered traffic in time-sensitive networks", 2018 IEEE 23rd international conference on emerging technologies and factory automation (ETFA), pp. 337-344, 2018.
16.
D. Tamas-Selicean, P. Pop and W. Steiner, "Synthesis of communication schedules for TTEthernet-based mixed-criticality systems", Proceedings of the eighth IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis, pp. 473-482, 2012.
17.
D. Tămaş-Selicean, P. Pop and W. Steiner, "Design optimization of TTEthernet-based distributed real-time systems", Real-Time Systems, vol. 51, no. 1, pp. 1-35, 2015.
18.
D. Tămaş-Selicean and P. Pop, "Optimization of ttethernet networks to support best-effort traffic", Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), pp. 1-4, 2014.
19.
F. Dürr and N. G. Nayak, "No-wait packet scheduling for IEEE time-sensitive networks (TSN)", Proceedings of the 24th International Conference on Real-Time Networks and Systems, pp. 203-212, 2016.
20.
J. Dvořák, M. Heller and Z. Hanzálek, "Makespan minimization of time-triggered traffic on a TTEthernet network", 2017 IEEE 13th International Workshop on Factory Communication Systems (WFCS), pp. 1-10, 2017.
21.
N. G. Nayak, F. Dürr and K. Rothermel, "Incremental flow scheduling and routing in time-sensitive software-defined networks", IEEE Transactions on Industrial Informatics, vol. 14, no. 5, pp. 2066-2075, 2017.
22.
M. Hu, J. Luo, Y. Wang, M. Lukasiewycz and Z. Zeng, "Holistic scheduling of real-time applications in time-triggered in-vehicle networks", IEEE Transactions on Industrial Informatics, vol. 10, no. 3, pp. 1817-1828, 2014.
23.
M. Vlk, K. Brejchová, Z. Hanzálek and S. Tang, "Large-scale periodic scheduling in time-sensitive networks", Computers & Operations Research, vol. 137, pp. 105512, 2022.
24.
N. Reusch, L. Zhao, S. S. Craciunas and P. Pop, "Window-based schedule synthesis for industrial IEEE 802.1 qbv TSN networks", 2020 16th IEEE International Conference on Factory Communication Systems (WFCS), pp. 1-4, 2020.
25.
A. A. Atallah, G. B. Hamad and O. A. Mohamed, "Fault-resilient topology planning and traffic configuration for IEEE 802.1 qbv TSN networks", 2018 IEEE 24th International Symposium on On-Line Testing And Robust System Design (IOLTS), pp. 151-156, 2018.
26.
J. Y.-T. Leung and M. Merrill, "A note on preemptive scheduling of periodic real-time tasks", Information Processing Letters, vol. 11, no. 3, pp. 115-118, 1980.
27.
J. Goossens and R. Devillers, "Feasibility intervals for the deadline driven scheduler with arbitrary deadlines", Proceedings of the 6th IEEE International Conference on Real-time Computing Systems and Applications, pp. 54-61, 1999.
28.
H.-L. Chan and M. Norrish, "Proof pearl: Bounding least common multiples with triangles" in Interactive Theorem Proving, Cham:Springer International Publishing, pp. 140-150, 2016.
29.
A. Choquet-Geniet and E. Grolleau, "Minimal schedulability interval for real-time systems of periodic tasks with offsets", Theoretical computer science, vol. 310, no. 1–3, pp. 117-134, 2004.
30.
J. Goossens, E. Grolleau and L. Cucu- Grosjean, "Periodicity of real-time schedules for dependent periodic tasks on identical multiprocessor platforms", Real-time systems, vol. 52, pp. 808-832, 2016.

Contact IEEE to Subscribe

References

References is not available for this document.