Formal specification and modeling of train control system based on GSM-R/CTCS
Jianwu Dang · Jisuanji gongcheng yu sheji · 2006
CTCS Level 4 standard of GSM/CTCS is for the train control and management based on moving blocks and wireless com-munication in China.Its realization can greatly reduce the distances between trains,improve the throughout of railroads,and be suitable for the trains with different types and speeds.In the whole architecture,wireless communication plays an important role for the system` s normal and reliable operation.The model,which is described by Petrinets,is givenfor specifyingand verifying wireless communication mode between trains and ground devices,and is very useful to ensure the reliability and robustness of the system and find the set of ada-ptable parameters.