Abstract

With the gradual maturity of the automatic train operation (ATO) system in subways, its application scope has also expanded to the high-speed railway field. Considering that the ATO system is still in the early stages of operation, it will take time to fully mature, and definite specifications of the requirements for system operation have not yet been formed. This paper presents the operational design domain (ODD) of the high-speed railway ATO system and proposes a scenario analysis method based on the operational design domain to obtain the input conditions of the system requirements. The article models and verifies the scenario of the linkage control of the door and platform door based on the UPPAAL tools and extracts the input and expected output of the system requirements of the vehicle ATO system. Combined with the input conditions of the system requirements, the system requirements of the vehicle ATO in this scenario are finally obtained, which provides a reference for future functional specification generation and test case generation.

Highlights

  • At the end of 2019, the Beijing-Zhangjiakou Railway equipped with Chinese selfdeveloped high-speed rail automatic driving system opened, marking the arrival of the era of intelligent high-speed rail

  • The high-speed rail automatic train operation (ATO) system is based on the CTCS-2/CTCS-3 level train control system, with ATO equipment, GPRS radio, and other related equipment added to the train; the ground equipment is in the temporary speed restriction server (TSRS), centralized traffic control (CTC), train control center (TCC), and other equipment

  • The high-speed rail ATO system train equipment includes the newly added ATO and train, the ATO and automatic train protection system (ATP) interface, the ATP and train interface, the ground equipment added to TCC and platform door system interface, the modified TSRS and TCC, the TSRS and CTC interface, the ATO train equipment, and the ground TSRS equipment with the newly added GSM-R/GPRS interface

Read more

Summary

Introduction

At the end of 2019, the Beijing-Zhangjiakou Railway equipped with Chinese selfdeveloped high-speed rail automatic driving system opened, marking the arrival of the era of intelligent high-speed rail. With the continuous improvement of the high-speed railway ATO system, related testing work has become more and more important; there are still relatively few studies in the field of ATO system testing, and mature system requirements and functional requirements have not yet been formed. The research of this paper is to construct the operational design domain of the high-speed railway ATO system by referring to the operational design domain in the field of autonomous vehicles, thereby proposing a method of extracting system requirements from the specific operation scenarios of the highspeed railway ATO system. The extracted system requirements will prepare the generation of high-speed railway ATO system test cases and system functional specifications. The ODD is useful for the following tasks [14]

Online monitoring
System Operation Characteristics
Structure and Interface of the High-Speed Railway ATO System
Operational Design Domain of ATO System Members
Railway Infrastructure
Related System Members
Operating Area
Introduction to the Verification Tool UPPAAL
Scenario Model Construction
Verification of the Scenario
Performing Verification Dynamically
Property Verification
Demand Extraction
Information for display
Conclusions and Future Work
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call