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

Inhalt:
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.