10.3321/j.issn:1001-8360.2008.01.007
基于有色Petri网的ETCS无线通信可靠性分析
ETCS-3级(欧洲列车运行控制3级系统)无线通信系统是一个动态、复杂的分布式系统,其性质和最终实现正确性的形式化验证具有重要意义.本文利用分层赋时有色Petri(CPN)网,综合随机信道恶化、越区切换、信道连接中断等无线信道失效模型,提出ETCS无线通信信道模型的分层结构,定义信道失效模型和概率传输延时,分析信道模型和数据传输的时间特性.分析结果表明,数据帧传输延时小于20s的通信可靠性为99.97%.因此,相继运行列车时距为1min时,数据帧传输延时小于20s的通信可靠性满足ETCS规范要求.
ETCS、可靠性分析、有色Petri网、无线通信
30
TP393;U283(计算技术、计算机技术)
铁道部科研项目2005K002F
2008-05-14(万方平台首次上网日期,不代表论文的发表时间)
共5页
38-42