基于有色Petri网的ETCS无线通信可靠性分析

• 作者: 唐涛 徐田华 赵红礼
• 来源期刊: 铁道学报
• 学科: 交通运输
• 关键词: ETCS 可靠性分析 有色Petri网 无线通信
• 年，卷（期）: 2008,（1）
• 页码范围: 38-42
• 页数: 5页
• 分类号: TP393|U283
• 字数: 5100字
• 语种: 中文
• DOI: 10.3321/j.issn:1001-8360.2008.01.007

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵红礼	北京交通大学轨道交通控制与安全国家重点实验室	7	117	4.0	7.0
2	唐涛	北京交通大学轨道交通控制与安全国家重点实验室	152	2578	27.0	40.0
3	徐田华	北京交通大学轨道交通控制与安全国家重点实验室	21	347	11.0	18.0