Research on Formal Modeling Based on CPN for Movement Authority of High-Speed Railway CTCS-3

Abstract:

Article Preview

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.

Info:

Periodical:

Edited by:

Zhengyi Jiang, Yugui Li, Xiaoping Zhang, Jianmei Wang and Wenquan Sun

Pages:

2783-2787

Citation:

S. X. Zhao et al., "Research on Formal Modeling Based on CPN for Movement Authority of High-Speed Railway CTCS-3", Applied Mechanics and Materials, Vols. 220-223, pp. 2783-2787, 2012

Online since:

November 2012

Export:

Price:

$38.00

[1] Chao Nie: Research and Simulation on CTCS-3 Train Control Radio Block Center(Beijing Jiaotong University, China, 2010) (In Chinese).

[2] Information on http: /www. docin. com/p-83125577. html.

[3] Yufei Xie, Tao Tang, Tanhua Xu, Lin Zhao: submitted to Journal of The China Railway Society(2011)(In Chinese).

[4] Maria Pia Fanti, Alessandro Gina, Carla Seatzn: submitted to Journal of Control Engineering Practice(2006).

[5] Dmitry A. Zaitsev, Tatiana R. Shmeleva: submitted to Journal of Network and System Sciences (2011).

[6] Ru Niu, Tao Tang: submitted to Journal of System Simulation (2008)(In Chinese).

[7] Jianghong Han: submitted to Journal of System Simulation (2012)(In Chinese).