基于Petri网的通信协议性能分析与验证方法及在ETCS中的应用

• 作者: 王菲 程林芳 赵显琼
• 来源期刊: 现代交通：中英文版
• 学科: 交通运输
• 关键词: ETCS 安全通信协议 PETRI网
• 年，卷（期）: 2013,（4）
• 页码范围: 58-63
• 页数: 6页
• 分类号: U40

摘要

列车运行控制系统中，安全通信协议的性能直接影响到列车的行车安全。因此，对其进行性能分析和验证技术是保证行车安全的重要技术之一。本文以欧洲列车运行控制系统（ETCS）安全通信协议为验证对象，提出基于Petri网的安全通信协议性能分析和验证方法，首先用有色Petri网给建立模型，然后用形式化方法验证协议的有界性，活性和安全性。根据模型表示的状态和行为检查协议是否符合规范的要求。以上功能都是通过Petri网软件实现，包括Poseidon和CPNTools。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王菲	中国铁道科学研究院通信信号研究所	14	48	4.0	6.0
2	赵显琼	中国铁道科学研究院通信信号研究所	10	62	4.0	7.0
3	程林芳	中国铁道科学研究院通信信号研究所	7	14	2.0	3.0