Model Design of Multi-sensor Train Speed Measurement and Positioning System Based on SCADE
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 te...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
Editorial Office of Control and Information Technology
2023-10-01
|
| Series: | Kongzhi Yu Xinxi Jishu |
| Subjects: | |
| Online Access: | http://ctet.csrzic.com/thesisDetails#10.13889/j.issn.2096-5427.2023.05.017 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849224964187619328 |
|---|---|
| author | LIANG Bo DAI Xichang |
| author_facet | LIANG Bo DAI Xichang |
| author_sort | LIANG Bo |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-8cf5cce310ed44bb8d29aa8f5c87fba4 |
| institution | Kabale University |
| issn | 2096-5427 |
| language | zho |
| publishDate | 2023-10-01 |
| publisher | Editorial Office of Control and Information Technology |
| record_format | Article |
| series | Kongzhi Yu Xinxi Jishu |
| spelling | doaj-art-8cf5cce310ed44bb8d29aa8f5c87fba42025-08-25T06:48:31ZzhoEditorial Office of Control and Information TechnologyKongzhi Yu Xinxi Jishu2096-54272023-10-0111312067224140Model Design of Multi-sensor Train Speed Measurement and Positioning System Based on SCADELIANG BoDAI XichangAt 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.http://ctet.csrzic.com/thesisDetails#10.13889/j.issn.2096-5427.2023.05.017speed measurement and positioning systemmulti-sensor fusionphotoelectric sensorDoppler radaraccelerometerbaliseSCADEformally verified |
| spellingShingle | LIANG Bo DAI Xichang Model Design of Multi-sensor Train Speed Measurement and Positioning System Based on SCADE Kongzhi Yu Xinxi Jishu speed measurement and positioning system multi-sensor fusion photoelectric sensor Doppler radar accelerometer balise SCADE formally verified |
| title | Model Design of Multi-sensor Train Speed Measurement and Positioning System Based on SCADE |
| title_full | Model Design of Multi-sensor Train Speed Measurement and Positioning System Based on SCADE |
| title_fullStr | Model Design of Multi-sensor Train Speed Measurement and Positioning System Based on SCADE |
| title_full_unstemmed | Model Design of Multi-sensor Train Speed Measurement and Positioning System Based on SCADE |
| title_short | Model Design of Multi-sensor Train Speed Measurement and Positioning System Based on SCADE |
| title_sort | model design of multi sensor train speed measurement and positioning system based on scade |
| topic | speed measurement and positioning system multi-sensor fusion photoelectric sensor Doppler radar accelerometer balise SCADE formally verified |
| url | http://ctet.csrzic.com/thesisDetails#10.13889/j.issn.2096-5427.2023.05.017 |
| work_keys_str_mv | AT liangbo modeldesignofmultisensortrainspeedmeasurementandpositioningsystembasedonscade AT daixichang modeldesignofmultisensortrainspeedmeasurementandpositioningsystembasedonscade |