scholarly journals C3+ATO Function Simulation and Verification Analysis Based on Timed Automata

2020 ◽  
Author(s):  
Jie Yao ◽  
Zhenhai Zhang
Keyword(s):  
System Design ◽  
High Speed ◽  
Timed Automata ◽  
Functional Requirements ◽  
System Specification ◽  
System Safety ◽  
Verification Method ◽  
Message Sequence Charts ◽  
Train Operation ◽  
Automata Network

C3+ATO system plays an important role in controlling train operation and its function is related to the safety of train automatic operation. A simulation and verification method based on timed automata is proposed to verify the function of high-speed railway C3+ATO system. The functional requirements in the C3+ATO system specification are extracted and the timed automata models are established and then the timed automata network model is formed. The message sequence charts are generated and system safety, reachability, existence are verified. As a result, the models meet the functional requirements of the system which provide theoretical reference for the subsequent C3+ATO system design and development, test and measurement, practical application and related specification improvement.

scholarly journals Analysis of ATO System Operation Scenarios Based on UPPAAL and the Operational Design Domain

Electronics ◽  
2021 ◽  
Vol 10 (4) ◽  
pp. 503
Author(s):  
Zicong Meng ◽  
Tao Tang ◽  
Guodong Wei ◽  
Lei Yuan
Keyword(s):  
High Speed ◽  
Test Case ◽  
Design Domain ◽  
System Operation ◽  
High Speed Railway ◽  
Functional Specification ◽  
Operational Design ◽  
Train Operation ◽  
System Requirements ◽  
Automatic Train Operation

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.

scholarly journals Random-Forest Machine Learning Approach for High-Speed Railway Track Slab Deformation Identification Using Track-Side Vibration Monitoring

2021 ◽  
Vol 11 (11) ◽  
pp. 4756
Author(s):  
Gaoran Guo ◽  
Xuhao Cui ◽  
Bowen Du
Keyword(s):  
Random Forest ◽  
High Speed ◽  
Recognition Rate ◽  
Operation Time ◽  
Deformation Monitoring ◽  
Vibration Monitoring ◽  
Railway Track ◽  
Ballastless Track ◽  
Train Operation ◽  
Track Slab

High-speed railways (HSRs) are established all over the world owing to their advantages of high speed, ride comfort, and low vibration and noise. A ballastless track slab is a crucial part of the HSR, and its working condition directly affects the safe operation of the train. With increasing train operation time, track slabs suffer from various defects such as track slab warping and arching as well as interlayer disengagement defect. These defects will eventually lead to the deformation of track slabs and thus jeopardize safe train operation. Therefore, it is important to monitor the condition of ballastless track slabs and identify their defects. This paper proposes a method for monitoring track slab deformation using fiber optic sensing technology and an intelligent method for identifying track slab deformation using the random-forest model. The results show that track-side monitoring can effectively capture the vibration signals caused by train vibration, track slab deformation, noise, and environmental vibration. The proposed intelligent algorithm can identify track slab deformation effectively, and the recognition rate can reach 96.09%. This paper provides new methods for track slab deformation monitoring and intelligent identification.

Notch-based speed trajectory optimisation for high-speed railway automatic train operation

2021 ◽  
pp. 095440972110421
Author(s):  
Minling Feng ◽  
Chaoxian Wu ◽  
Shaofeng Lu ◽  
Yihui Wang
Keyword(s):  
High Speed ◽  
Applied Force ◽  
Mixed Integer ◽  
High Speed Railway ◽  
Train Operation ◽  
Train Speed ◽  
Automatic Train Operation ◽  
The Impact ◽  
Trajectory Optimisation

Automatic train operation (ATO) systems are fast becoming one of the key components of the intelligent high-speed railway (HSR). Designing an effective optimal speed trajectory for ATO is critical to guide the high-speed train (HST) to operate with high service quality in a more energy-efficient way. In many advanced HSR systems, the traction/braking systems would provide multiple notches to satisfy the traction/braking demands. This paper modelled the applied force as a controlled variable based on the selection of notch to realise a notch-based train speed trajectory optimisation model to be solved by mixed integer linear programming (MILP). A notch selection model with flexible vertical relaxation was proposed to allow the traction/braking efforts to change dynamically along with the selected notch by introducing a series of binary variables. Two case studies were proposed in this paper where Case study 1 was conducted to investigate the impact of the dynamic notch selection on train operations, and the optimal result indicates that the applied force can be flexibly adjusted corresponding to different notches following a similar operation sequence determined by optimal train control theory. Moreover, in addition to the maximum traction/braking notches and coasting, medium notches with appropriate vertical relaxation would be applied in accordance with the specific traction/braking demands to make the model feasible. In Case study 2, a comprehensive numerical example with the parameters of CRH380AL HST demonstrates the robustness of the model to deal with the varying speed limit and gradient in a real-world scenario. The notch-based model is able to obtain a more realistic optimal strategy containing dynamic notch selection and speed trajectory with an increase (1.622%) in energy consumption by comparing the results of the proposed model and the non-notch model.

High-Speed Digital System Design

2020 ◽  
Author(s):  
Anatoly Belous ◽  
Vitali Saladukha
Keyword(s):  
System Design ◽  
High Speed ◽  
Digital System ◽  
Digital System Design
Sign in / Sign up

Export Citation Format

Share Document