关键词: 铁路移动通信系统, 随机Petri网, 中国铁路运行控制系统, 仿真

Abstract: The communication link between train and RBC is always connected in normal operation mode.In that situation the elements of causing failures are as follows：Transmission errors，connection losses，handovers and end-to-end delay.In this case study，it is considered the reliability of communication needed for moving-block operation of high-speed train.The thesis’ content models and analyzes GSM-R with stochastic Petri nets.The purpose gets the result of the fail situation of GSM-R.The thesis’ content models and analyzes failure and recovery model for GSM-R based on stochastic Petri nets.The model which is described by stochastic Petri nets is given for specifying and verify wireless communication failure and recovery model between trains and radio block center.The purpose is to get the result dependability of GSM-R wireless communication system and get the performance evaluation by using the tool of TimeNET.

Key words: Global System for Mobile for Railway（GSM-R）, stochastic Petri nets, China Train Control System（CTCS）, stimulating