基于SPN的下一代高速铁路LTE-R无线通信系统可靠性分析与研究

目前，我国高速铁路无线通信系统采用的是GSM-R系统，属于2G数字窄带移动通信系统，由于GSM-R系统频率受限以及业务需求的日益增长，使得GSM-R系统承载能力不足的问题凸显。国际铁路联盟UIC明确提出，下一代高速铁路移动通信系统将跨越3G技术，直接向LTE-R演进，因此LTE-R可靠性对于高速铁路的安全运营起到至关重要的作用。对于LTE-R无线通信系统来说，多普勒频率偏移和快速切换控制是主要难题。本项目以LTE-R无线通信网络作为研究对象，采用随机Petri网理论(SPN)等多种形式化方法对LTE-R网络可靠性进行建模分析，内容包括：针对高速列车多普勒影响下网络可靠性建模与验证；建立LTE-R快速越区切换安全控制形式化验证；LTE-R无线通信系统时间同步脆弱性分析；最后实现基于LTE-R的车—车通信研究。研究将为下一代LTE-R无线通信系统安全控制及优化方案提供理论依据，其应用前景广阔。

At present, the GSM-R system used in China's high-speed railway wireless communication system belongs to the 2G digital narrowband mobile communication system. The limited frequency of the GSM-R system and the growing demand for railway mobile communication services make the problem of the insufficient carrying capacity of the GSM-R system prominent. International Railway Federation UIC clearly proposes that the railway mobile communication system will span the 3G technology and develop directly to LTE-R . Reliability of LTE-R plays a vital role in the safe operation of high-speed railway.For LTE-R wireless communication system, Doppler frequency offset and fast handover control are the main problems. In this project, the reliability of LTE-R wireless communication network is taken as the research object, and the reliability model of LTE-R network is built based on formal methods such as stochastic Petri nets theory(SPN). The research includes the following aspects: Modeling and Verification of Network Reliability under Doppler Effect of High Speed Train are done; Formal verification of LTE-R fast handover security control is carried out; Vulnerability of time synchronization in LTE-R Wireless Communication System is analyzed; Finally, the vehicle-vehicle communication research based on LTE-R is realized. The research will provide a theoretical basis for the security control and optimization scheme of the next generation LTE-R wireless communication system, which has wide application prospect.