论文部分内容阅读
ETCS-3级（欧洲列车运行控制3级系统）无线通信系统是一个动态、复杂的分布式系统，其性质和最终实现正确性的形式化验证具有重要意义。本文利用分层赋时有色Petri（CPN）网，综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型，提出ETCS无线通信信道模型的分层结构，定义信道失效模型和概率传输延时，分析信道模型和数据传输的时间特性。分析结果表明，数据帧传输延时小于20s的通信可靠性为99.97％。因此，相继运行列车时距为1min时，数据帧传输延时小于20s的通信可靠性满足ETCS规范要求。