车车通信链路的功能安全性验证及性能测试（英文）

作者：林俊亭; 徐倩^*; 陈永

来源：Journal of Measurement Science and Instrumentation, 2021, 12(04): 463-471.

• 功能安全性
• 形式化方法
• 有色Petri网
• 状态空间分析
• 性能测试

短程无线通信技术快速发展,为基于通信的列车控制系统中的列车到列车(Train to train,T2T)通信链路提供了可行性。引入T2T链路将缩短追踪间隔、提高运营效率。形式化方法是一种系统设计技术,使用有严格数学定义的模型来确保所有行为按预期发生,而这正是所需的功能安全性验证。为了进行T2T通信链路的功能安全性验证,首先,建立了非赋时有色Petri网(Colored Petri net,CPN)模型。其次,执行验证过程,并从状态空间报告和计算树逻辑语句中得出结论。最后,模型参数化,并获得数据日志文件以进行性能测试。结果表明,满足所提出的准则,T2T链路的基本设计要求没有缺陷。传输时延计算中考虑了重连、传输错误、中断情况。端到端时延小于150ms的概率为98.106%,符合规范及现场测试结果。

• 单位
  兰州交通大学; 电子信息工程学院