基于概率模型检验的CTCS-3级无线通信建模与分析

CTCS-3级列控系统的无线通信系统是一个复杂、随机的分布式系统,无线通信系统为列控系统车载和地面设备提供安全相关信息交互,因此采用正确有效的方法对其进行建模和可靠性分析具有重要意义.本文根据GSM-R网络的QoS要求,建立了无线通信系统的概率模型,采用概率模型检验工具PRISM对概率模型进行描述和可靠性分析,计算了无线通信系统的稳态概率,并分析了不同速度条件对无线通信的可靠性的影响.结果表明,当无线小区平均间距为3 km,列车运行速度为300 km/h时,无线通信系统处于已连接状态的概率为0.991;随着列车运行速度的增大,无线通信系统处于已连接状态的概率下降.

Modeling and analyzing of CTCS-3 radio communication based on probabilistic model check

The radio communication system of Chinese Train Control level-3 system （CTC-3） is acomplex, stochastic and distributed system, which provides service for safety-related information ex-change between trackside and onboard equipment in train control system. Therefore, it is very signifi-cant to model and analyze the system with correct and efficient tools. With the quality of service （Qos）requirements of Global System for Mobile Communication Railway （GSM-R）, this paper proposes theprobabilistic model of radio communication system. Then the probabilistic model checking tool PRSIMis adopted to describe the probabilistic model and analyze its reliability. In addition, the steady-stateprobability is calculated and the relationship between the train speed and reliability of radio communica-tion is analyzed by probabilistic model checking. Performance results show that the radio communica-tion system is in the state of ＂connected＂ with the probability of 0. 991 when the mean handover dis-tance is 3 km and the train speed is 300 km/h, and the probability decreases with the increasing oftrain speed.