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

Tao Tang
DOI: https://doi.org/10.1007/978-3-642-14261-1_3
2011-01-01
Abstract:With the development of the economic and society of China, a high speed transport method is urgently required to solve the travel problems of people. The train had been speeded up from 120 km/h to 250 km/h in the main line network. Chinese High Speed railway has been rapidly developed. Railway plays a more and more important role in the Chinese transportation systems. For the safety and efficiency of high speed railway, Chinese Train Control system (CTCS) is developed and some new technologies are reseached.
What problem does this paper attempt to address?