Model-based Design and Testing for Route Control of Railway Virtual Coupling

Virtual coupling is a next-generation signalling concept that separates trains by relative braking distances, allowing the follower to pursue the leader train safely and ensuring good transient dynamics. One of the main challenges in virtual coupling is trains coupling/decoupling at merging/divergin...

Full description

Saved in:
Bibliographic Details
Published in2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC) pp. 1522 - 1527
Main Authors Zhang, Xinyi, Chai, Ming, Chen, Lijie, Wang, Hai-Feng, Cui, Junfeng, Chai, Jinchuan
Format Conference Proceeding
LanguageEnglish
Published IEEE 08.10.2022
Subjects
Couplings
Generators
Semantics
Software
Syntactics
Systems engineering and theory
Unified modeling language
Online AccessGet full text

Cover

More Information
Summary:Virtual coupling is a next-generation signalling concept that separates trains by relative braking distances, allowing the follower to pursue the leader train safely and ensuring good transient dynamics. One of the main challenges in virtual coupling is trains coupling/decoupling at merging/diverging junctions. With the increased complexity of route protections and controls, conventional software developments methods for virtual coupling interlocking suffers from difficulties in safety guarantee, in which testing starts too late. To solve these problems, we propose an interlocking design approach for virtual coupling using model-based system engineering (MBSE) methods. The core logic of interlocking is designed with the UML conceptual models. In addition, a model-based test approach is investigated for automatically generating and optimizing test cases. The experimental results show the effectiveness and adequateness of the proposed MBSE-based interlocking development methods for virtual coupling.
DOI:10.1109/ITSC55140.2022.9921905