Formal Modeling of Frame Selection in Asynchronous TSN Communications

LI Ershuai; ZHOU Xuan; SUN Jinjing; XIONG Huagang; HE Feng

doi:10.23919/cje.2022.00.321

Volume 33 Issue 2

Mar. 2024

Turn off MathJax

Article Contents

Article Navigation > Chinese Journal of Electronics > 2024 > 33(2): 549-563

Ershuai LI, Xuan ZHOU, Jinjing SUN, et al., “Formal Modeling of Frame Selection in Asynchronous TSN Communications,” Chinese Journal of Electronics, vol. 33, no. 2, pp. 549–563, 2024 doi: 10.23919/cje.2022.00.321

Citation:

Ershuai LI, Xuan ZHOU, Jinjing SUN, et al., “Formal Modeling of Frame Selection in Asynchronous TSN Communications,” Chinese Journal of Electronics, vol. 33, no. 2, pp. 549–563, 2024 doi: 10.23919/cje.2022.00.321

Citation:

PDF( 9209 KB)

Formal Modeling of Frame Selection in Asynchronous TSN Communications

doi: 10.23919/cje.2022.00.321

1.
School of Electronic and Information Engineering, Beihang University, Beijing 100191, China

More Information

Author Bio:
Ershuai LI was born in 1993. He received the B.S. degree from the Shandong University. He is currently pursuing the Ph.D. degree in communication and information systems with the School of Electronic Information Engineering, Beihang University, China. His current research interests include avionics systems and real-time networks. (Email: ershuai_li@buaa.edu.cn)

Xuan ZHOU was born in 1994. She received the Ph.D. degree in communication and information system from Beihang University in 2021. She is now a Postdoctoral Researcher in Beihang University, and her current research covers scheduling design and performance evaluation for real-time communication systems. (Email: lomoo@buaa.edu.cn)

Jinjing SUN was born in 1993. She received the Ph.D. degree in communication and information system from Beihang University in 2022. Her research interests include 5G networks and multicarrier communication. (Email: sunjinjing2015@buaa.edu.cn)

Huagang XIONG received the Ph.D. degree in communication and information systems from the School of Electronic Information Engineering, Beihang University, China, in 1998. He is the Head of the Avionics and Bus Communications Research Team (ABC), School of Electronic Information Engineering, Beihang University. His research interests include communication network theory and technology, avionics information integration, airborne networks, and standards. (Email: hgxiong@buaa.edu.cn)

Feng HE received the Ph.D. degree in communication and information systems from Beihang University, Beijing, China, in 2009. He is an Associate Professor with the School of Electronics and Information Engineering, Beihang University. His research interests include real-time networking and scheduling, and avionics systems. He is a Member of the Avionics and Air Traffic Control Branch of China Society of Aeronautics and Astronautics. (Email: robinleo@buaa.edu.cn)
Corresponding author: Email: lomoo@buaa.edu.cn
Received Date: 2022-09-20
Accepted Date: 2023-01-13

Available Online: 2023-02-13

Publish Date: 2024-03-05

Abstract

Abstract

The asynchronous time-sensitive networking (TSN) based on IEEE 802.1Qcr is expected to be a promising solution for the asynchronous transmissions of safety-critical flows without the support of clock synchronization. When the asynchronous traffic shaping (ATS) mechanism is adopted to meet the deadline requirements for transmissions of safety-critical flow, it is necessary to formally verify the real-time properties and corresponding network performance. However, it is still unclear how to build an efficient formal model to evaluate different frame selection methods during the ATS scheduling process, which originate from the dominations of priority or eligibility time. In this paper, we present a formal modeling framework to compare the impacts of different frame selection on transmission sequence under the ATS mechanism. According to the priority level (pATS) or eligibility time (eATS) for flows, two transmission selection methods in ATS are modeled and compared. Then, we verify the real-time properties of ATS. The result shows that the shaping-for-free property can be satisfied with the pATS method but can not be fulfilled with the eATS method. Besides, the timing analysis results illustrate that the eATS method can provide more fairness than the pATS method for the transmission of low-priority flows in TSN networks.
- Asynchronous communications,
- Time-sensitive networking,
- Frame selection,
- Asynchronous traffic shaping/IEEE 802.1Qcr

1A scheduler is work-conserving if and only if it never idles time slots when there exists at least one frame awaiting transmission in the queues.

FullText(HTML)

References(35)

References

[1]	N. Finn, “Introduction to time-sensitive networking,” IEEE Communications Standards Magazine, vol. 2, no. 2, pp. 22–28, 2018. doi: 10.1109/MCOMSTD.2018.1700076
[2]	IEEE, “802.1Qbv - Enhancements for Scheduled Traffic,” Available at: http://www.ieee802.org/1/pages/802.1bv.html, 2016.
[3]	IEEE, “IEEE Standard for Local and Metropolitan Area Networks - Bridges and Bridged Networks-Amendment 34: Asynchronous Traffic Shaping,” Available at: https://standards.ieee.org/standard/802_1Qcr-2020.html, 2020.
[4]	M. Wollschlaeger, T. Sauter, and J. Jasperneite, “The future of industrial communication: Automation networks in the era of the internet of things and industry 4.0,” IEEE Industrial Electronics Magazine, vol. 11, no. 1, pp. 17–27, 2017. doi: 10.1109/MIE.2017.2649104
[5]	W. W. Lu, S. L. Gong, Y. H. Zhu, “Timely data delivery for energy-harvesting IoT devices,” Chinese Journal of Electronics, vol. 31, no. 2, pp. 322–336, 2022. doi: 10.1049/cje.2021.00.005
[6]	S. Samii and H. Zinner, “Level 5 by layer 2: Time-sensitive networking for autonomous vehicles,” IEEE Communications Standards Magazine, vol. 2, no. 2, pp. 62–68, 2018. doi: 10.1109/MCOMSTD.2018.1700079
[7]	A. Jabbar. “Establishing a joint project between SAE AS-1A2 and IEEE 802 to develop TSN profile for aerospace,” available at: https://www.ieee802.org/1/files/public/docs2020/new-Jabbar-TSN-for-Aerospace-0720-v01.pdf, 2020.
[8]	W. Steiner, S. S. Craciunas, and R. S. Oliver, “Traffic planning for time-sensitive communication,” IEEE Communications Standards Magazine, vol. 2, no. 2, pp. 42–47, 2018. doi: 10.1109/MCOMSTD.2018.1700055
[9]	J. Specht and S. Samii, “Urgency-based scheduler for time-sensitive switched Ethernet networks,” in Proceedings of the 2016 28th Euromicro Conference on Real-Time Systems (ECRTS), Toulouse, France, pp.75–85, 2016.
[10]	J. Prados-Garzon, T. Taleb, and M. Bagaa, “Optimization of flow allocation in asynchronous deterministic 5G transport networks by leveraging data analytics,” IEEE Transactions on Mobile Computing, vol. 22, no. 3, pp. 1672–1687, 2023. doi: 10.1109/TMC.2021.3099979
[11]	J. C. Knight, “Safety critical systems: Challenges and directions,” in Proceedings of the 24th International Conference on Software Engineering, Orlando, FL, USA, pp.547–550, 2002.
[12]	J. Prados-Garzon and T. Taleb, “Asynchronous time-sensitive networking for 5G backhauling,” IEEE Network, vol. 35, no. 2, pp. 144–151, 2021. doi: 10.1109/MNET.011.2000402
[13]	J. Y. Le Boudec, “A theory of traffic regulators for deterministic networks with application to interleaved regulators,” IEEE/ACM Transactions on Networking, vol. 26, no. 6, pp. 2721–2733, 2018. doi: 10.1109/TNET.2018.2875191
[14]	E. Mohammadpour and J. Y. Le Boudec, “Analysis of dampers in time-sensitive networks with non-ideal clocks,” IEEE/ACM Transactions on Networking, vol. 30, no. 4, pp. 1780–1794, 2022. doi: 10.1109/TNET.2022.3152178
[15]	H. Hu, Q. Li, H. G. Xiong, et al., “The delay bound analysis based on network calculus for asynchronous traffic shaping under parameter inconsistency,” in Proceedings of the 2020 IEEE 20th International Conference on Communication Technology (ICCT), Nanning, China, pp.908–915, 2020.
[16]	Z. F. Zhou, Y. Yan, M. Berger, et al., “Analysis and modeling of asynchronous traffic shaping in time sensitive networks,” in Proceedings of the 2018 14th IEEE International Workshop on Factory Communication Systems (WFCS), Imperia, Italy, pp.1–4, 2018.
[17]	J. Y. Le Boudec and P. Thiran, Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer, Berlin, 2001,doi: 10.1007/3-540-45318-0.
[18]	G. Behrmann, A. David, and K. G. Larsen, “A tutorial on uppaal 4.0,” Dept. Comput. Sci., Aalborg University, 2006.
[19]	R. Alur and D. L. Dill, “A theory of timed automata,” Theoretical Computer Science, vol. 126, no. 2, pp. 183–235, 1994. doi: 10.1016/0304-3975(94)90010-8
[20]	R. Alur, C. Courcoubetis, and D. Dill, “Model-checking for real-time systems,” in Proceedings of the Fifth Annual IEEE Symposium on Logic in Computer Science, Philadelphia, PA, USA, pp.414–425, 1990.
[21]	Y. M. Jiang, “Network calculus and queueing theory: Two sides of one coin: invited paper,” in Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools, Pisa, Italy, article no.37, 2009.
[22]	L. X. Zhao, P. Pop, and S. Steinhorst, “Quantitative performance comparison of various traffic shapers in time-sensitive networking,” IEEE Transactions on Network and Service Management, vol. 19, no. 3, pp. 2899–2928, 2022. doi: 10.1109/TNSM.2022.3180160
[23]	A. Nasrallah, A. S. Thyagaturu, Z. Alharbi, et al., “Performance comparison of IEEE 802.1 TSN time aware shaper (TAS) and asynchronous traffic shaper (ATS),” IEEE Access, vol. 7, pp. 44165–44181, 2019. doi: 10.1109/ACCESS.2019.2908613
[24]	A. Grigorjew, F. Metzger, T. Hoßfeld, et al., “A simulation of asynchronous traffic shapers in switched Ethernet networks,” in Proceedings of the 2019 International Conference on Networked Systems (NetSys), Munich, Germany, pp.1–6, 2019.
[25]	B. W. Fang, Q. Li, Z. J. Gong, et al., “Simulative assessments of credit-based shaping and asynchronous traffic shaping in time-sensitive networking,” in Proceedings of the 2020 12th International Conference on Advanced Infocomm Technology (ICAIT), Macao, China, pp.111–118, 2020.
[26]	H. Charara, J. L. Scharbarg, J. Ermont, et al., “Methods for bounding end-to-end delays on an AFDX network,” in Proceedings of the 18th Euromicro Conference on Real-Time Systems, Dresden, Germany, pp.191–202, 2006.
[27]	M. Adnan, J. L. Scharbarg, J. Ermont, et al., “An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows,” in Proceedings of the 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012), Krakow, Poland, pp.1–8, 2012.
[28]	A. David, J. Illum, K. G. Larsen, et al., “Model-based framework for schedulability analysis using UPPAAL 4.1,” in Model-Based Design for Embedded Systems, G. Nicolescu and P. J. Mosterman, Eds. CRC Press, Boca Raton, FL, USA, pp.117–144, 2018.
[29]	J. H. Sun, N. Guan, R. X. Shi, et al., “Schedulability analysis for timed automata with tasks,” ACM Transactions on Embedded Computing Systems, vol. 20, no. 5s, article no. 89, 2021. doi: 10.1145/3477020
[30]	P. J. Han, Z. J. Zhai, B. Nielsen, et al., “Schedulability analysis of distributed multicore avionics systems with UPPAAL,” Journal of Aerospace Information Systems, vol. 16, no. 11, pp. 473–499, 2019. doi: 10.2514/1.I010715
[31]	D. Bujosa, I. Álvarez, and J. Proenza, “CSRP: An enhanced protocol for consistent reservation of resources in AVB/TSN,” IEEE Transactions on Industrial Informatics, vol. 17, no. 5, pp. 3640–3650, 2021. doi: 10.1109/TII.2020.3015926
[32]	J. Lv, Y. X. Zhao, X. Wu, et al., “Formal analysis of TSN scheduler for real-time communications,” IEEE Transactions on Reliability, vol. 70, no. 3, pp. 1286–1294, 2021. doi: 10.1109/TR.2020.3026689
[33]	P. P. Tang and T. Y. Tai, “Network traffic characterization using token bucket model,” in Proceedings of the Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies: The Future is Now, New York, NY, USA, pp.51–62, 1999.
[34]	J. Bengtsson, K. Larsen, F. Larsson, et al., “UPPAAL - a tool suite for automatic verification of real-time systems,” in Proceedings of the International Hybrid Systems Workshop, Berlin, Germany, pp.232–243, 1995.
[35]	Y. Jiang, H. Liu, H. B. Song, et al., “Safety-assured model-driven design of the multifunction vehicle bus controller,” IEEE Transactions on Intelligent Transportation Systems, vol. 19, no. 10, pp. 3320–3333, 2018. doi: 10.1109/TITS.2017.2778077