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

摘要

目前的列车测速定位技术有多种,但每一种定位技术都无法在特定场景下完全满足列车定位要求。文章通过分析现有列车测速定位技术的优缺点,提出了一种基于多传感器信息融合的测速定位系统模型。该系统模型以光电传感器、多普勒雷达、加速度度计及应答器为基础,通过对多信息源进行优化融合,可以有效解决列车空转、轮滑时定位误差大的问题,具有高精度和高可靠性等优点。同时,采用安全性软件开发工具SCADE对系统模型进行建模,并利用SCADE的模型检测工具Design Verifier对模型进行形式化验证,结果表明,该系统模型的安全性满足标准IEEE 1474.1中列车定位误差不能超过10 m的要求;基于SCADE Test的仿真测试结果表明,在列车正常、空转及轮滑状态下测速定位精度明显优于车载LKJ系统的。