Abstract
The CTCS-3 level vehicle-ground communication system based on 5G-R is a dynamic and complex distributed system, and its reliability research is of great significance for ensuring train safety and accelerating the research of the next generation railway mobile communication system. This paper proposes a layered structure for the CTCS-3 5G-R wireless communication system model using a layered Colored Petri Net (CPN), which integrates fault models such as connection loss, handover, and transmission errors, and models it using CPN Tools. This paper uses timestamp to achieve statistical analysis of data frame transmission delay, and analyzes the reliability probability of 5G-R wireless channel and the impact of data frame transmission time interval on delay. The results show that when the data frame transmission delay is less than 60 ms, the reliability probability is 99.7495%, which meets the requirements of CTCS-3. Finally, it verifies that the CTCS-3 train control system based on 5G-R can meet the requirements of real-time communication, thereby ensuring train safety.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Ding, J., Zheng, P., Li, H., et al.: Research on key technologies for interconnection and interoperability of railway new generation mobile communication private network. China Railway 2020(11), 31–40 (2020). (in Chinese)
Liang, Y., Jiang, Y., Jiang, B., et al.: Research on UIC future railway mobile communication system. China Railway 2021(2), 88–94 (2021). (in Chinese)
Zhao, H., Cao, Y., Wen, J.: Formal description and verification of vehicle-to-ground communication protocol for guided transport control system. In: 15th Conference on Industrial Electronics and Applications (ICIEA), pp. 1401–1406. IEEE, Kristiansand, Norway (2020)
Hui X, Liu J, Liu H.: Construction and Analysis of a Network Security Situation Awareness Model Based on Colored Petri Nets. Comput. Digit. Eng. 47(2), 393–396, 401 (2019). (in Chinese)
Lin, J., Yue, Q., Liu, X.: Optimization and modeling of high-speed flying train communication system based on colored petri nets. In: International Conference on Power, Intelligent Computing and Systems (ICPICS), pp. 158–163. IEEE, Shenyang, China (2021)
Jiao, Y., Liu, X., Cui, Y.: Modeling and analysis of maglev communication system based on colored Petri nets. In: 17th International Conference on Communication Technology (ICCT), pp. 681–686. IEEE, Chengdu, China (2017)
Zhou, Y., He, T.: Modeling and analysis of level conversion in train control system based on activity diagram and HTCPN. Computer Application and Software 37(6), 119–125 (2020). (in Chinese)
Zhao, T.: Test case generation method based on colored petri net and its application in CTCS-3 vehicle ground communication. J. Bei**g Jiaotong Univ. 42(6), 97–103 (2018). (in Chinese)
Eremeev, A., Alexander, P., Korolev, Y.: Temporal coloured petri nets as a tool for modelling of complex dynamic systems. springer international publishing. In: 1st International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’16), pp. 30–54. Springer International Publishing, Berlin, Germany (2016)
Guo, Y., Yu, Y., Sun, B., et al.: TCP-E: an enhanced congestion control algorithm for reliable communication in 5G-R. In: International Conference on Electrical and Information Technologies for Rail Transportation, pp. 1–12. Springer, Singapore (2022)
Acknowledgments
This research was partially funded by the Fundamental Research Funds for the Central Universities under Grants 2022JBXT001, and by the National Natural Science Foundation of China under Grants 62171021, and by the Project of China State Railway Group under Grants SY2021G001, and P2021G012, and by ZTE Corporation under Grants I23L00010.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 Bei**g Paike Culture Commu. Co., Ltd.
About this paper
Cite this paper
Qiao, W., Sun, B., Guo, Y., Ding, J., Wang, W. (2024). Reliability Analysis of CTCS-3 Security Services Based on 5G-R Using Timed Colored Petri Nets. In: Yang, J., Yao, D., Jia, L., Qin, Y., Liu, Z., Diao, L. (eds) Proceedings of the 6th International Conference on Electrical Engineering and Information Technologies for Rail Transportation (EITRT) 2023. EITRT 2023. Lecture Notes in Electrical Engineering, vol 1136. Springer, Singapore. https://doi.org/10.1007/978-981-99-9315-4_22
Download citation
DOI: https://doi.org/10.1007/978-981-99-9315-4_22
Published:
Publisher Name: Springer, Singapore
Print ISBN: 978-981-99-9314-7
Online ISBN: 978-981-99-9315-4
eBook Packages: EngineeringEngineering (R0)