@inproceedings{194eaa43509f461c90e7f92015cc7cab,
title = "Modeling and Verification on Functional Safety and Fault Diagnosis for High-Speed Railways",
abstract = "As a typical safety-critical system, Chinese Train Control System Level 3 (CTCS-3, C3) provides 14 complex operational scenarios including two kinds of level transition and nine kinds of the operating mode to achieve safe and efficient operation for high-speed train. It is very important to ensure the correctness of the system function, especially in the transition of the level and mode together. This paper presents a formal method of modeling and verification for level transition and mode transition based on Colored Petri Nets (CPN). Firstly, considering the structure and function of train control system, we propose a hierarchical modeling method for operational scenarios. Secondly, we model a scenario of level transition and mode transition with CPN as an example. Finally, we verify the model by state space analysis. This paper puts forward some suggestions on the specification of train control system, which are useful in enhancing the safety of high-speed trains.",
keywords = "CPN, CTCS-3, Formalization, Level transition, Mode transition",
author = "Ye Li and Xiangyu Ji and Lulu Li and Haifeng Song",
note = "Publisher Copyright: {\textcopyright} The Author(s), under exclusive license to Springer Nature Singapore Pte Ltd. 2024.; 7th Chinese Conference on Swarm Intelligence and Cooperative Control, CCSICC 2023 ; Conference date: 24-11-2023 Through 27-11-2023",
year = "2024",
doi = "10.1007/978-981-97-3340-8\_19",
language = "英语",
isbn = "9789819733392",
series = "Lecture Notes in Electrical Engineering",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "206--218",
editor = "Guo-Ping Jiang and Mengyi Wang and Zhang Ren",
booktitle = "Proceedings of 2023 7th Chinese Conference on Swarm Intelligence and Cooperative Control - Swarm Guidance Technologies",
address = "德国",
}