In order to solve the problem that high-speed train group need to run by the general speed line after the fault of high-speed railway line, the system of CTCS-3 high-speed train group to use the general speed line to make a roundabout run is put forward. The normal communication between the train and the ground is the basis for the safe operation of the train, the train-ground communication of this system adopts radio one-way broadcast communication mode, therefore, this paper focuses on the study of radio broadcast communication scenario between the train and the ground. Firstly, according to the overall technical specification of the system, the radio broadcast communication scenario is designed and improved in detail. Then, the radio broadcast communication scenario is described by SysML language, the TCPN model of the scenario is established based on SysML model. The accessibility, boundedness, liveness, fairness and home behavior of the model are verified, and the rationality of the scenario design and the rationality and feasibility of the radio broadcast communication mode of this system are proved. In this paper, the modeling and verification of the radio broadcast communication scenario can provide a reference for the design and development of this system.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Modeling and Verification of Radio Broadcast Communication Scenario for CTCS-3 High-Speed Railway Circuity System


    Additional title:

    Lect. Notes Electrical Eng.


    Contributors:
    Liang, Jianying (editor) / Jia, Limin (editor) / Qin, Yong (editor) / Liu, Zhigang (editor) / Diao, Lijun (editor) / An, Min (editor) / Zhang, Xi (author) / Liu, Zhongtian (author)

    Conference:

    International Conference on Electrical and Information Technologies for Rail Transportation ; 2021 October 21, 2021 - October 23, 2021



    Publication date :

    2022-02-19


    Size :

    11 pages





    Type of media :

    Article/Chapter (Book)


    Type of material :

    Electronic Resource


    Language :

    English






    Positive Safety Modeling of CTCS-3 Train Control System for High-speed railway

    Tang, Shengjie / Wang, Haifeng / Ning, Bin et al. | IEEE | 2018


    CONTROL CIRCUITY AND VEHICLE

    TADA TOMOKI / OBAYASHI KOSUKE / MIZOGUCHI TAKUYA | European Patent Office | 2025

    Free access