Modeling and simulation validation of RBC Movement Authority functions for the column control system

Conference: ISMSEE 2022 - The 2nd International Symposium on Mechanical Systems and Electronic Engineering
02/25/2022 - 02/27/2022 at Zhuhai, China

Proceedings: ISMSEE 2022

Pages: 5Language: englishTyp: PDF

Authors:
Zhang, Yuhao (Department of Automation and Electrical Engineering, Lanzhou Jiaotong University, Lanzhou, Gansu, China)
He, Tao (GanSu Engineering Research Center of Industrial Transportation Automation, Lanzhou Jiaotong University, Lanzhou, Gansu, China)

Abstract:
RBC (Radio Block Center) is the key equipment for CTCS-3 Train Control System to control the safe operation of the train. It is responsible for communication with on-board equipment and providing movement authorization for the train, so as to realize the operation control of the train. Whether RBCs can generate the correct MA (Movement Authority) is the key to ensure that trains can operate safely. Based on the technical specification of infinite block center and the theory of timed automata, this paper models, simulates and verifies the process of RBC Movement Authority generation. The validation results indicate that the MA model established in this paper meets the functional requirements and safety requirements of the technical specifications and provides a theoretical reference for further improving the design and development of RBC systems.