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

Abstract

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.

Keywords

• speed measurement and positioning system
• multi-sensor fusion
• photoelectric sensor
• doppler radar
• accelerometer
• balise
• scade
• formally verified