测试科学与仪器2021，Vol.12Issue(4)：463-471,9.DOI:10.3969/j.issn.1674-8042.2021.04.010
车车通信链路的功能安全性验证及性能测试
Functional safety verification and performance measurement of train-train communication link
摘要
Abstract
The short-range wireless communication technology has advanced considerably and provides the feasibility of train-train (T2T)communication link in the communication-based train control system.The introduction of the T2T link would reduce the headway and improve operational efficiency.Formal methods are system design techniques that use rigorously specified mathematical models to ensure all behaviors work as expected.And it is exactly the functional safety verification needed.Therefore,to deal with the functional safety verification of the T2T link,an untimed colored petri net model is first constructed.Secondly,the verification process is performed.Conclusions can be drawn from the state space report and the computation tree logic queries.Lastly,the model is parameterized,and then data log files are obtained for further performance measurement.Results show that the proposed criteria are satisfied and there are no defects in the basic design requirements. The transmission delay has considered the reconnection,transmission errors and the interruption.The probability of the delay lower than 150 ms accounts for 98.106％,which meets the specification and the previous field test.关键词
功能安全性/形式化方法/有色Petri网/状态空间分析/性能测试Key words
functional safety/formal methods/colored Petri net (CPN)/state space analysis/performance measurement引用本文复制引用
林俊亭,徐倩,陈永..车车通信链路的功能安全性验证及性能测试[J].测试科学与仪器,2021,12(4):463-471,9.基金项目
National Natural Science Foundation of China(No.61963023) （No.61963023）
