China has established its railway technique system and engineering standard through technique importing, absorbing and recreation after recent ten years development. Several technique indexes of high speed railway of China have reached advanced level in the world. The mode of level 3 of Chinese Train Control System' (CTCS-3) which used in Wuguang and Jinghu high speed railway will be the main control mode for high speed train in China. In order to find the factor of danger and provide mathematic foundation for improving this train control mode, it is necessary to establish formal model of this train control mode for researching the relationship among every key component and analyzing the reliability from abstract view. A formalization model of CTCS-3 train control mode was established based on Duration Calculus and Communicating Sequential Process and its reliability of train control process by CTCS-3 was analyzed through this model.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Formalization Model and Safety Analyses of High Speed Train in CTCS-3 Control Mode


    Contributors:
    Xiangjun, Cheng (author) / Peng, Du (author)


    Publication date :

    2013-07-01


    Size :

    211131 byte




    Type of media :

    Conference paper


    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


    CTCS-Chinese Train Control System

    Ning, B. / Tang, T. / Qiu, K. et al. | British Library Conference Proceedings | 2004


    Train control system based on CTCS (China Train Control System) and driving safety inspection method

    XU XIANLIANG / QIN SHUZENG / ZHU YONGHUA et al. | European Patent Office | 2025

    Free access

    Hybrid Online Safety Observer for CTCS-3 Train Control System On-Board Equipment

    Zhang, Yong / Wang, Haifeng / Yuan, Tommy et al. | IEEE | 2019