Functional safety verification and performance measurement of train-train communication link  

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

作　　者：LIN Junting XU Qian CHEN Yong 林俊亭;徐倩;陈永(兰州交通大学自动化与电气工程学院,甘肃兰州730070;兰州交通大学电子信息工程学院,甘肃兰州730070)

机构地区：[1]School of Automation and Electrical Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China [2]School of Electronic and Information Engineering, Lanzhou Jiaotong University, Lanzhou 730070, China

出　　处：《Journal of Measurement Science and Instrumentation》2021年第4期463-471,共9页测试科学与仪器（英文版）

基　　金：National Natural Science Foundation of China(No.61963023)。

摘　　要：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.

关 键 词：functional safety formal methods colored Petri net(CPN) state space analysis performance measurement 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]