Train-centric Train Control System (TcTCS) is a novel solution for ensuring train safety. Compared with traditional train control systems, the train undertakes more functionalities, and the controlling modes are more flexible. TcTCS has safety-critical characteristic, and its route protection is a real time process. In order to find out defects in its design logic, it is necessary to formally analyse the implementation process of route protection described in the system requirement specification (SRS). This paper analysed the implementation process of route protection and the function, performance and security requirements from SRS of TcTCS. The timed automata network model was built by UPPAAL based on the timed automata theory. Simulation was made, and properties of function, real-time and safety were verified. According to the counter-example, the model can be refined. This may help to strengthen comprehension of the system, reduce system design faults, improve safety of the system and lay a good foundation for system execution.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling and Verification of Route Protection for Train-centric Train Control System


    Beteiligte:
    Li, Xuefei (Autor:in) / Chai, Ming (Autor:in) / Wang, Haifeng (Autor:in)


    Erscheinungsdatum :

    2019-10-01


    Format / Umfang :

    621409 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Train-Centric Communication Based Autonomous Train Control System

    Song, Haifeng / Gao, Shigen / Li, Yidong et al. | IEEE | 2023



    T2T based train-centric train control system and method thereof

    Europäisches Patentamt | 2017

    Freier Zugriff

    T2T based train-centric train control system and method thereof

    OH SEH CHAN / KIM KYUNG HEE / KIM MIN SOO et al. | Europäisches Patentamt | 2016

    Freier Zugriff