TY - JOUR
T1 - Functional Safety and Performance Analysis of Autonomous Route Management for Autonomous Train Control System
AU - Song, Haifeng
AU - Li, Lulu
AU - Li, Ye
AU - Tan, Ligang
AU - Dong, Hairong
N1 - Publisher Copyright:
© 2000-2011 IEEE.
PY - 2024
Y1 - 2024
N2 - For the operational efficiency improvement of trains in railway transportation, Autonomous Train Control System (ATCS) is getting widespread research attention. The station is a main scenario for the autonomous train operation, and its passing capacity is one of the critical factors affecting the further release of line capacity potential for railway lines. Based on this, the paper proposes an autonomous route management system to enhance the efficiency of route management in stations. As a safety critical system, the functional safety and performance analysis of the system must be evaluated before it is implemented in practical application. Hence, Colored Petri Nets (CPNs) are used to formalize and evaluate the system. Afterward, based on the proposed CPNs models, functional safety is carried out by dynamic attribute analysis and computational tree logic. Moreover, considering the impact of communication delays and processing delays on the route resource allocation, a performance analysis of the autonomous route process for trains at the station is implemented through practical parameterizations. The results indicated that the proposed autonomous route management strategy can reduce the train operating time and train arrival interval in stations by 15.63 s and 24.9 s, respectively.
AB - For the operational efficiency improvement of trains in railway transportation, Autonomous Train Control System (ATCS) is getting widespread research attention. The station is a main scenario for the autonomous train operation, and its passing capacity is one of the critical factors affecting the further release of line capacity potential for railway lines. Based on this, the paper proposes an autonomous route management system to enhance the efficiency of route management in stations. As a safety critical system, the functional safety and performance analysis of the system must be evaluated before it is implemented in practical application. Hence, Colored Petri Nets (CPNs) are used to formalize and evaluate the system. Afterward, based on the proposed CPNs models, functional safety is carried out by dynamic attribute analysis and computational tree logic. Moreover, considering the impact of communication delays and processing delays on the route resource allocation, a performance analysis of the autonomous route process for trains at the station is implemented through practical parameterizations. The results indicated that the proposed autonomous route management strategy can reduce the train operating time and train arrival interval in stations by 15.63 s and 24.9 s, respectively.
KW - Autonomous train control
KW - Colored Petri nets
KW - autonomous route management
KW - performance analysis
KW - train arrival interval
UR - https://www.scopus.com/pages/publications/85194870366
U2 - 10.1109/TITS.2024.3402435
DO - 10.1109/TITS.2024.3402435
M3 - 文章
AN - SCOPUS:85194870366
SN - 1524-9050
VL - 25
SP - 13291
EP - 13304
JO - IEEE Transactions on Intelligent Transportation Systems
JF - IEEE Transactions on Intelligent Transportation Systems
IS - 10
ER -