CTCS-3 Train Control System Research Articles

Modeling and verification of CTCS-3 level code sequence verification scene based on UPPAAL

Taking the code sequence verification scenario of the autonomous CTCS-3 train control system as an example, on the basis of introducing the code sequence verification function, it is proposed to take the security function attributes, functionality and time requirements as the verification objectives, at last, the workflow of the scheme is analyzed in detail, and the behavior and action of each module of the system are standardized by the timed automata language. The timed automata network model of the workflow sequence of the code sequence verification scheme is established, which lays the foundation for the later verification. Then, the nature of the system is verified by the UPPAAL verification tool. The research shows that: in the process of model establishment, strictly in accordance with the specification content, the description of the specification is accurate, and at the same time, the modeling and verification method of the train control system based on the time automaton can effectively study the security, timing and characteristics.

A Method on Improving the Carrying Capacity for CTCS-3 Railway

Nowadays, the high-speed railway CTCS-3 train control system has realized the train tracking operation through the long block section consisting of two sections of track circuits. The train interval is composed of block sections, while the long block section will reduce the resolution of the train interval distance, which limits the carrying capacity of the railway to some extent. In order to reduce the capacity loss caused by long block section, without adding additional hardware equipment, a method to improve the carrying capacity of existing high-speed railway by dynamically combining block section was proposed in this paper. According to the different position of the two track circuits in the same block section, the block section is dynamically combined and the transmission code of the track circuit is dynamically adjusted to shorten the distance of the train tracking interval which improve the carrying capacity. Finally, taking the Beijing-Shanghai high-speed railway as an example, the theoretical analysis and calculation under different scenarios are carried out to verify the safety and effectiveness of the proposed method.

Modeling and Verification of CTCS-3 On-board Equipment Based on Colored Petri Net

The on-board control system is the kernel subsystem of the CTCS-3 train control system which is the key to ensure the safety of train operation. According to the complexity of CTCS-3 train control system, first of all, this paper analyzes the mode conversion rules of the on-board equipment of CTCS-3, establishes the model conversion scenario (MTCPN) model based on Colored Petri Net, and introduces the use branch in the CPN Tools. The sequential logic ASK-CTL formula and the non-standard state space query method formally verify the constructed MTCPN model, and the verification result is true, indicating that the constructed MTCPN model satisfies the rules of the CTCS-3 Train Control System Requirements Specification (SRS). The mode conversion function conforms to the on-board device mode conversion process, and through the verification result, the mode conversion scene of the on-board device is analyzed to have deadlock-free and transferability.

Research on Fault Prognostics and Health Management of the On-Board Equipment Of CTCS-3 Train Control System

At present, high-speed railway is faster and faster, which puts forward higher safety requirements for high-speed railway, and the on-board equipment for CTCS-3 train control system is vital. Therefore, it is necessary to carry out real-time monitoring of the various parts of the on-board equipment in order to find the fault, isolate the fault and eliminate the fault and improve the safety of high-speed train. this paper presents the on-board equipment Prognostics and health management (PHM) research, the use of intelligent diagnosis algorithm and prediction techniques, according to the health assessment of residual life prediction and the on-board equipment for train control system state maintenance and condition based maintenance (CBM) provide a theoretical basis. Taking the GSM-R receiving station of the train control system as an example, it is concluded that the scoring standard and health index(HI)are more reliable for fault prediction and health management.

The Reliability Analysis and Simulation Method of Train Control System Based on Markov

This paper mainly studies the reliability of trackside subsystem of the CTCS-3 train control system. Dynamic fault tree method is used for reliability analysis. The fault tree is decomposed into static and dynamic sub-trees. Based on Markov method, precise quantitative analysis is performed on the dynamic sub-tree. The failure probability of the trackside subsystem is calculated. Through analyzing the structural importance degree and pivotal importance degree of the bottom events, suggestions for improving the reliability of the system are concluded.

A Hybrid Testing Method to the Application of Test Case Generation of the Simulation of CTCS-3 On-Board Subsystem

As an important part of the CTCS-3 train control system, the on-board subsystem is a safety critical system, and it plays an important role in assuring the safety of train. In this essay, we choose a hybrid testing method combined with the advantage of black-box and white-box testing method in the test of the Simulation of on-board subsystem of the CTCS-3 train control system. The main idea is to divide the tested system into several functional parts, and then test them step by step. At last, we use an example to show the advantage of this testing method in reducing the number of test cases. 1 Current situation in the testing of train control system at home and abroad Train control system plays an important role in ensuring the operational safety of the train, At home and abroad researchers attach great importance to the testing of the train control system, and also a lot of research has been done. The simulation test makes it easier for the testers to work in the lab instead of the field, so that it reduce the human and material costs, and the test environment can be controlled and repeatable easily. Besides, the special environment of the site can also be simulated. University of Florence in Italy has developed the loop of the ATP / ATC test system based on the simulation technology HIL (Hardware in Loop), it provides an effective solution to the test of ATP speed measurement device. CEDEX LIF laboratory in spain simulation has used the test method of simulation to establish the Eurocab test platform, and developed a number of testing tools, moreover, they have defined test sequence. Test sequence generation and viewing, test management and test result analysis and evaluation function have also achieved. Beijing Jiaotong University in China rail traffic control and security National Key Laboratory of CTCS-3 train Control System has also established simulation test platform, so that simulation test can be performed.

A Computer-aided Tool for Generating Test Sequence for CTCS-3 Train Control System

A Computer-aided Tool for Generating Test Sequence for CTCS-3 Train Control System

Design and Realization of Fault Injection Based on CTCS-3 Simulation

Reliability of CTCS-3 train operation and control system is necessary to ensure train running safely and efficiently. Thus, train control system simulation should be used for lots of tests and validations. This paper is focus on the theory and period of fault injection systematically. According to characters of simulation of train control system and advantages of fault injection, application of fault injection in the field of train control system simulation is proposed for reliability test and to obtain system information after fault injection. Main structure and detailed functions, structures of fault injection system is designed and realized. This system could simulate system fault to cause rapid failure in train control system during the experiment. By analyzing the simulation result, the conclusion could be obtained that application of fault injection could help to improve reliability and fault tolerance of C3 simulation.