CONFERENCE PROCEEDINGS
Advanced Search
Home > Proceedings > Volume 13442 > Article
Paper
3 January 2025 Modeling and simulation verification of movement authority generation function of C3+ATO system
Hengyu Niu, Zhenhai Zhang
Author Affiliations +
Proceedings Volume 13442, Fifth International Conference on Signal Processing and Computer Science (SPCS 2024); 1344224 (2025) https://doi.org/10.1117/12.3053122
Event: Fifth International Conference on Signal Processing and Computer Science (SPCS 2024), 2024, Kaifeng, China
Abstract
CTCS-3 train control system is the key system to ensure the safe operation of trains, and its effective combination with automatic train operation technology, which plays an important role in the control of train operation, and is also the mainstream direction of the development of high-speed railway system in China. A method in this paper is provided for modeling and formal simulation verification of the real-time behavior of the system based on timed automata to ensure the safe operation of high-speed railway C3+ATO system. Taking the function of movement authority generation as an example, according to the functional requirements of the train operation system, the information is transmitted between the communication equipment, establishes the timed automata network model of information interaction between the equipment, and the message sequence charts between the communication equipment is generated, which used in the function of movement authority generation, train sends unconditional emergency stop messsage and temporary speed reduction messsage through the formal simulation, and the security, existence and reachability of the system are verified by the BNF (Backus-Naur Form, BNF) statement. As a result, the model meets the requirements of system functional attributes and the technical specification of Radio Block Center, which lays a foundation for the subsequent research of C3+ATO system.
(2025) Published by SPIE. Downloading of the abstract is permitted for personal use only.
Citation Download Citation
Hengyu Niu and Zhenhai Zhang "Modeling and simulation verification of movement authority generation function of C3+ATO system", Proc. SPIE 13442, Fifth International Conference on Signal Processing and Computer Science (SPCS 2024), 1344224 (3 January 2025); https://doi.org/10.1117/12.3053122
ACCESS THE FULL ARTICLE
ORGANIZATIONAL
Sign in with credentials provided by your organization.
INSTITUTIONAL
Select your institution to access the SPIE Digital Library.
SELECT YOUR INSTITUTION
PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.
PERSONAL SIGN IN
No SPIE Account? Create one
;
PURCHASE THIS CONTENT
SUBSCRIBE TO DIGITAL LIBRARY
50 downloads per 1-year subscription
Members: $195
Non-members: $335 ADD TO CART
25 downloads per 1 - year subscription
Members: $145
Non-members: $250 ADD TO CART
PURCHASE SINGLE ARTICLE
Includes PDF, HTML & Video, when available
Members: $17.00
Non-members: $21.00 ADD TO CART
PROCEEDINGS
 7 PAGES
DOWNLOAD PAPER SAVE TO MY LIBRARY
GET CITATION
Advertisement
Advertisement
RIGHTS & PERMISSIONS
Get copyright permission  Get copyright permission on Copyright Marketplace
KEYWORDS
Education and training
Control systems
Systems modeling
Modeling
Motion analysis
Telecommunications
Instrument modeling
RELATED CONTENT
Subscribe to Digital Library
Receive Erratum Email Alert
Back to Top