Formal Method and its Application on Train Operation Control System of Chinese high-speed Railway

2011 ◽  
pp. 39-39 ◽  
Author(s):  
Tao Tang
Keyword(s):  
Control System ◽  
High Speed ◽  
Formal Method ◽  
High Speed Railway ◽  
Train Operation ◽  
Operation Control

scholarly journals A Novel Train-to-Train Communication Model Design Based on Multihop in High-Speed Railway

2012 ◽  
Vol 2012 ◽  
pp. 1-9 ◽  
Author(s):  
Pengyu Liu ◽  
Bo Ai ◽  
Zhangdui Zhong ◽  
Xiaojuan Zhou
Keyword(s):  
High Speed ◽  
Model Simulation ◽  
Base Station ◽  
Communication Model ◽  
Model Design ◽  
Propagation Channel ◽  
International Union ◽  
High Speed Railway ◽  
Train Operation ◽  
Operation Control

Railway telematics applications are currently attracting attention and are under intense research. Reliable railway telematics applications increasingly tend to require a subsidiary means to help existent control system make train operation safer and more efficient. Since 2006, train-to-train communication has been studied to respond to such requirements. A key characteristic of train-to-train communication is that operation control to avoid possible accidents is conducted among trains without help of a base station. This paper proposes a novel train-to-train communication model in a physical layer based on multihop and cooperation, taking a high-speed railway propagation channel into account. The mechanism of this model lies in the idea that a source train uses trains on other tracks as relays to transmit signals to destination train on the same track. Based on occurrence of these potential relays, such mechanism can be divided into three cases. In each case, BER is applied to evaluate properties of the proposed communication model. Simulation results show that BER of the train-to-train communication model decreases to10−6when SNR is 10 dB and that the minimum receiving voltage of this model is −84 dBm, which is 8 dBm lower than the standards established by the International Union of Railways (UIC) in a high-speed railway scenario.

Study on High-Speed Railway Train Scheduling Based on Integration of Management and Control

2014 ◽  
Vol 667 ◽  
pp. 81-84
Author(s):  
Mo Gao ◽  
Lei Shan Zhou ◽  
Yu Zhou
Keyword(s):  
Control System ◽  
Basic Concept ◽  
High Speed ◽  
Optimum Allocation ◽  
High Speed Railway ◽  
Train Scheduling ◽  
Basic Framework ◽  
Train Operation ◽  
And Control ◽  
Control Integration

This paper analyzes the command mode of high speed railway (HSR) train dispatching based on control system CTCS-3.In order to draw up the optimum allocation plan of time and space resources for HSR, a basic concept of management and control integration was proposed in this paper, including the HSR train coordination scheduling, the structure of hardware and software, and the theory of train operation. Furthermore, the basic framework of train operation dispatching command system based on the integration of management and control was designed to optimize the HSR operation and organization.

Reliability analysis on the train control system in the CTCS-3 operating mode

2021 ◽  
Vol ahead-of-print (ahead-of-print) ◽  
Author(s):  
Lijuan Shi ◽  
Jian Wang
Keyword(s):  
Control System ◽  
High Speed ◽  
Fault Tree ◽  
Operating Mode ◽  
Content Type ◽  
Train Control ◽  
Dynamic Fault Tree ◽  
Train Control System ◽  
Train Operation ◽  
Operation Control

Purpose This paper aims to study the reliability of the high-speed train operation control system in the Chinese Train Control System Level 3 (CTCS-3) operating mode. Design/methodology/approach Dynamic fault tree and Bayesian network method are adopted to analyze the reliability and weakness of the CTCS-3 system. Findings First, a physical architecture and data flow diagram of the CTCS-3 system are established according to the typical structure and functions of the CTCS-3 system. Second, the dynamic fault tree of the CTCS-3 system is constructed. Considering the prior probability of the bottom event and the existence of dynamic redundancy, the dynamic fault tree is transformed into a Bayesian net. The reliability of the CTCS-3 system is carried out based on the prior probability and the weakness that affects the reliability of the system based on the posterior probability is also analyzed by the Bayesian network. Finally, it is disclosed that the impact of the on-board subsystem on the reliability of the CTCS-3 system is generally greater than that of the ground subsystem. The two weakest modules in the onboard subsystem are the driver-machine interface (DMI) and balise transmission module (BTM) and the weakest one in the ground subsystem is Balise. The analysis results are generally consistent with the malfunctions in the field operation of China’s high-speed railway. Originality/value (1) By reasoning, the reliability of the train operation control system in the CTCS-3 operating mode meets the standard requirements. (2) Through backward reasoning, it is found that the failure of the onboard subsystem leads to a greater probability of failure of the train control system. (3) The DMI, BTM and automatic train protection computer unit modules are weak components in the onboard subsystem. Vital digit input&output, train interface unit and train security gateway are rarely involved in previous research, the result in this paper shows that these three modules are also weak components in the subsystem, which requires attention.

scholarly journals Analysis of ATO System Operation Scenarios Based on UPPAAL and the Operational Design Domain

Electronics ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 503
Author(s):  
Zicong Meng ◽  
Tao Tang ◽  
Guodong Wei ◽  
Lei Yuan
Keyword(s):  
High Speed ◽  
Test Case ◽  
Design Domain ◽  
System Operation ◽  
High Speed Railway ◽  
Functional Specification ◽  
Operational Design ◽  
Train Operation ◽  
System Requirements ◽  
Automatic Train Operation

With the gradual maturity of the automatic train operation (ATO) system in subways, its application scope has also expanded to the high-speed railway field. Considering that the ATO system is still in the early stages of operation, it will take time to fully mature, and definite specifications of the requirements for system operation have not yet been formed. This paper presents the operational design domain (ODD) of the high-speed railway ATO system and proposes a scenario analysis method based on the operational design domain to obtain the input conditions of the system requirements. The article models and verifies the scenario of the linkage control of the door and platform door based on the UPPAAL tools and extracts the input and expected output of the system requirements of the vehicle ATO system. Combined with the input conditions of the system requirements, the system requirements of the vehicle ATO in this scenario are finally obtained, which provides a reference for future functional specification generation and test case generation.

Safety Processing Modeling of Train Location for High-Speed Maglev Operation Control System

2021 ◽  
Author(s):  
Yijun Chen ◽  
Zhongwei Xu ◽  
Huahua Zhao ◽  
Zhangyang Li ◽  
Pengzi Chu
Keyword(s):  
Control System ◽  
High Speed ◽  
Operation Control

Notch-based speed trajectory optimisation for high-speed railway automatic train operation

2021 ◽  
pp. 095440972110421
Author(s):  
Minling Feng ◽  
Chaoxian Wu ◽  
Shaofeng Lu ◽  
Yihui Wang
Keyword(s):  
High Speed ◽  
Applied Force ◽  
Mixed Integer ◽  
High Speed Railway ◽  
Train Operation ◽  
Train Speed ◽  
Automatic Train Operation ◽  
The Impact ◽  
Trajectory Optimisation

Automatic train operation (ATO) systems are fast becoming one of the key components of the intelligent high-speed railway (HSR). Designing an effective optimal speed trajectory for ATO is critical to guide the high-speed train (HST) to operate with high service quality in a more energy-efficient way. In many advanced HSR systems, the traction/braking systems would provide multiple notches to satisfy the traction/braking demands. This paper modelled the applied force as a controlled variable based on the selection of notch to realise a notch-based train speed trajectory optimisation model to be solved by mixed integer linear programming (MILP). A notch selection model with flexible vertical relaxation was proposed to allow the traction/braking efforts to change dynamically along with the selected notch by introducing a series of binary variables. Two case studies were proposed in this paper where Case study 1 was conducted to investigate the impact of the dynamic notch selection on train operations, and the optimal result indicates that the applied force can be flexibly adjusted corresponding to different notches following a similar operation sequence determined by optimal train control theory. Moreover, in addition to the maximum traction/braking notches and coasting, medium notches with appropriate vertical relaxation would be applied in accordance with the specific traction/braking demands to make the model feasible. In Case study 2, a comprehensive numerical example with the parameters of CRH380AL HST demonstrates the robustness of the model to deal with the varying speed limit and gradient in a real-world scenario. The notch-based model is able to obtain a more realistic optimal strategy containing dynamic notch selection and speed trajectory with an increase (1.622%) in energy consumption by comparing the results of the proposed model and the non-notch model.

Sign in / Sign up

Export Citation Format

Share Document