Reliable transmission schemes for train control information in high-speed railway

Train Movement Authority(MA) concerns train movement safety. This paper proposed a formal model for Chinese Train Control System-3(CTCS-3) based on train MA. Paper analyzed the rounded CTCS-3, formed MA computation models for various application functions, and finished MA hierarchical and functional computation models based on Colored Petri Nets(CPN). The results of experiment demonstrates that the model proposed in this paper is effective, it can reflect the whole information change and transmission process of CTCS-3 accurately, and can help to design and develop MA of CTCS-3.

Download Full-text

An extended system-theoretic hazard analysis method for the safety of high-speed railway train control systems

Proceedings of the Institution of Mechanical Engineers Part F Journal of Rail and Rapid Transit ◽

10.1177/0954409716664931 ◽

2016 ◽

Vol 231 (8) ◽

pp. 821-834 ◽

Cited By ~ 3

Author(s):

Jin Tao Liu ◽

Tao Tang ◽

Jie Bei Zhu ◽

Lin Zhao

Keyword(s):

Control Systems ◽

High Speed ◽

Hazard Analysis ◽

Analysis Method ◽

Extended System ◽

High Speed Railway ◽

Train Control

Download Full-text

An Error Location and Diagnosis Method for Communication Test of High-Speed Railway Train Control System Based on String Pattern Matching

Communications in Computer and Information Science - Advances in Computer Science and Education Applications ◽

10.1007/978-3-642-22456-0_29 ◽

2011 ◽

pp. 195-204

Author(s):

Liu Huang ◽

Wei Dong ◽

Yindong Ji ◽

Xinya Sun

Keyword(s):

Control System ◽

Pattern Matching ◽

High Speed ◽

High Speed Railway ◽

Train Control ◽

Train Control System ◽

Error Location ◽

Diagnosis Method ◽

String Pattern

Download Full-text

The Multi-Resolution Modeling of CTCS-3 Visualization Based on Meta-Model

Advanced Materials Research ◽

10.4028/www.scientific.net/amr.680.565 ◽

2013 ◽

Vol 680 ◽

pp. 565-570

Author(s):

Ye Deng ◽

Rui Yang ◽

Qian Xiang Zhou

Keyword(s):

Control System ◽

High Speed ◽

Formal Description ◽

High Speed Railway ◽

Meta Model ◽

Train Control ◽

Rich Variety ◽

Train Control System ◽

Grammar Rules ◽

The Rich

Chinese train control system is abbreviated as CTCS. And there are five levels in CTCS, and CTCS-3 is used for the high speed railway which includes the long rail lines, the different regions, and the rich variety of scenes. It is very important to describe efficiently the relation of the objects for the design and the modeling of the railway visualization. This paper proposes the multi-resolution modeling of CTCS-3 visualization based on meta-model, and introduces the formal description of this meta-model by XML. The formal description examples have certified that this method can provide the enough grammar rules for the reusability of CTCS-3 visualization model.

Download Full-text