Abstract
The autonomous vehicles emergence is a significant step forward in the development of safe and dependable intelligent transportation systems. In vehicular automation, digital connectivity has been one of the most critical specifications. In this paper, we focus on the autonomous train, which is one of the most rapidly growing applications of autonomous vehicles. In this context, we address the issue of safety by the proposition of Enhanced Train-centric Communication-Based Train Control (ETcCBTC), which provides efficient control of rail traffic. To ensure the operation’s safety, we’ve implemented a new safety-checking approach based on process algebra, which aims to track and correct in real time the train behavior. The proposed ETcCBTC system’s performance is tested using extensive simulations and compared to CBTC and TcCBTC. In terms of checking success, transmission load, and response time, the obtained results demonstrate that ETcCBTC outperforms the concurrent systems.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Notes
The generated safety policy that the train must respect during its movement is the only variation.
This formalism is similar to Markov model as they are both state transition models. The Markovian formalism gives the probability of the system be in a specific state at a given time. However, our framework operates with a continuous monitoring, this is allowed thanks to the continuous calculation of the greater common behavior \(P\sqcap Q\). In the other hand, unlike the Markovian models, our system does not just alert, but it offers the correct behavior that the train should follow.
References
Brzozowski JA (1964) Derivatives of regular expressions. Assoc Comput Mach 11(4):481–494
Cai G, Zhao J, Song Q, Zhou M (2019) System architecture of a train sensor network for automatic train safety monitoring. Comput Ind Eng 127:1183–1192
Cheng R, Yu W, Song Y, Chen D, Ma X, Cheng Y (2019) Intelligent safe driving methods based on hybrid automata and ensemble CART algorithms for multihigh-speed trains. IEEE Trans Cybern 49(10):3816–3826
Huang YS, Weng YS, Zhou MC (2010) Critical scenarios and their identification in parallel railroad level crossing traffic control systems. IEEE Trans Intell Transp Syst 11(4):968–977
IEEE 1474.1 (2004) IEEE standard for communications-based train control (CBTC) performance and functional requirements. The Institute of Electrical and Electronics Engineers
Liu B, Ghazel M, Toguyéni A (2015) Model-based diagnosis of multi-track level crossing plants. IEEE Trans Intell Transp Syst 17(2):546–556
Liu P, Yang L, Gao Z, Li S, Gao Y (2015) Fault tree analysis combined with quantitative analysis for high-speed railway accidents. Saf Sci 79:344–357
Mejri M, Fujita H (2008) Enforcing security policies using algebraic approach. New Trends in Software Methodologies, Tools and Techniques: In: Proceedings of the 7th SoMeT08, vol 182, pp 84–98
Pascoe RD, Eichorn TN (2009) What is communication-based train control? IEEE Veh Technol Mag 4(4):16–21
Pochet J (2018) Performance evaluation of a suburban railway line partially equipped with a CBTC automation. Doctoral dissertation, Paris Saclay University, France
Song H, Liu H, Schnieder E (2018) A train-centric communication-based new movement authority proposal for ETCS-2. IEEE Trans Intell Transp Syst 20(6):2328–2338
Wang J, Wang J, Roberts C, Chen L (2014) Parallel monitoring for the next generation of train control systems. IEEE Trans Intell Transp Syst 16(1):330–338
Wang T, Shen L, Ma C (2014) A process algebra-based detection model for multithreaded programs in communication system. Trans Internet Inf Syst 8(3):235–274
Wang H, Yu FR, Zhu L, Tang T, Ning B (2015) A cognitive control approach to communication-based train control systems. IEEE Trans Intell Transp Syst 16(4):1676–1689
Wang J, Wang J, Roberts C, Chen L, Zhang Y (2017) A novel train control approach to avoid rear-end collision based on geese migration principle. Saf Sci 91:373–380
Wang H, Zhao N, Ning B, Tang T, Chai M (2018) Safety monitor for train-centric CBTC system. Inst Eng Technol Intell Transp Syst 12(8):931–938
Wang X, Liu L, Zhu L, Tang T (2019) Train-centric CBTC meets age of information in train-to-train communications. IEEE Trans Intell Transp Syst 21(10):4072–4085
Zhang Y, Wang H, Yuan T, Lv J, Xu T (2019) Hybrid online safety observer for CTCS-3 train control system on-board equipment. IEEE Trans Intell Transp Syst 20(3):925–933
Acknowledgements
This work was carried out in the framework of the research activities of the LIMED (Laboratoire d’Informatique Médicale) laboratory, which is affiliated to the faculty of exact sciences of the university of Bejaia and ESIEE Paris—LIGM of the University of Gustave Eiffel, France. This work has been sponsored by the General Directorate for Scientific Research and Technological Development, Ministry of Higher Education and Scientific Research (DGRSDT), Algeria.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Zamouche, D., Mohammedi, M., Aissani, S. et al. Ultra-safe and reliable enhanced train-centric communication-based train control system. Computing 104, 533–552 (2022). https://doi.org/10.1007/s00607-021-01009-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00607-021-01009-6