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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Xiangjun, Cheng (Autor:in) / Peng, Du (Autor:in)


    Erscheinungsdatum :

    01.07.2013


    Format / Umfang :

    211131 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    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. | Europäisches Patentamt | 2025

    Freier Zugriff

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

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