基于SCADE的多传感器列车测速定位系统模型设计  

Model Design of Multi-sensor Train Speed Measurement and PositioningSystem Based on SCADE

作　　者：梁波 戴熙昌 LIANG Bo;DAI Xichang(Hunan CRRC Times Signal&Communication Co.,Ltd.,Changsha,Hunan 410005,China)

机构地区：[1]湖南中车时代通信信号有限公司,湖南长沙410005

出　　处：《控制与信息技术》2023年第5期113-120,共8页CONTROL AND INFORMATION TECHNOLOGY

基　　金：湖南省重点研发计划项目(2022GK2018)。

摘　　要：目前的列车测速定位技术有多种,但每一种定位技术都无法在特定场景下完全满足列车定位要求。文章通过分析现有列车测速定位技术的优缺点,提出了一种基于多传感器信息融合的测速定位系统模型。该系统模型以光电传感器、多普勒雷达、加速度度计及应答器为基础,通过对多信息源进行优化融合,可以有效解决列车空转、轮滑时定位误差大的问题,具有高精度和高可靠性等优点。同时,采用安全性软件开发工具SCADE对系统模型进行建模,并利用SCADE的模型检测工具Design Verifier对模型进行形式化验证,结果表明,该系统模型的安全性满足标准IEEE 1474.1中列车定位误差不能超过10 m的要求;基于SCADE Test的仿真测试结果表明,在列车正常、空转及轮滑状态下测速定位精度明显优于车载LKJ系统的。At present,there are many kinds of speed measurement and positioning technologies for trains,but each positioning technology cannot fully meet the train positioning requirements in a specific scenario.By analyzing the strengths and weaknesses of existing train speed measurement and positioning technologies,this paper proposes a new system model for speed measurement and positioning based on multi-sensor information fusion.Comprising photoelectric sensors,Doppler radars,accelerometers and balises,this system model can effectively address the problem of significant positioning errors due to sliding and slipping,based on the optimization and fusion of information from multiple sources,to ensure high levels of accuracy and reliability.The system modeled by SCADE,a security software development tool,was formally verified using SCADE's Design Verifier,a model checking tool.The verification results show that the system model meets the security requirements outlined in IEEE 1474.1 that train positioning errors shall not exceed 10 m.Additionally,the simulation test based on SCADE Test shows significant superior speed measurement and positioning accuracy for trains operating under normal conditions,as well as during sliding and slipping scenarios,in comparison to the on-board LKJ system.

关 键 词：测速定位系统 多传感器融合 光电传感器 多普勒雷达 加速度计 应答器 SCADE 形式化验证 

分 类 号：U284.48[交通运输工程—交通信息工程及控制]