A moving block philosophy is increasingly being implemented as part of communications-based train control (CBTC) systems in mass transit operations. Due to its complexity and safety criticality, it is difficult to develop formal methods to support the design of specific schemes. An innovative framework, based on topology mathematics, for supporting CBTC moving block system development is proposed in this paper. Within the new framework, the moving block train control logic is transformed into topological spaces representing the movement authority for trains. Using this approach, the verification of logic and safety properties can be performed by automatic assessment of the topological space. Within the paper the essential characteristics of moving block systems, train behaviour and static track-side infrastructure are analysed. As a result of this analysis, topological units are formed to represent train movement trajectory and standard railway network elements. Four calculation methods: dividing, trimming, covering and integrating, are described as standard unit operations. Finally, a case study is implemented to demonstrate how the method is advantageous for CBTC scheme layout development. It is found that the approach is able to bridge the gap between traditional, highly abstracted, formal methods and the specific safety-critical railway scheme designs.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A novel framework for supporting the design of moving block train control system schemes


    Beteiligte:
    Wang, Haifeng (Autor:in) / Tang, Tao (Autor:in) / Roberts, Clive (Autor:in) / Gao, Chunhai (Autor:in) / Chen, Lei (Autor:in) / Schmid, Felix (Autor:in)


    Erscheinungsdatum :

    2014-09-01


    Format / Umfang :

    10 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch





    QUASI-MOVING BLOCK SYSTEM OF TRAIN CONTROL

    KINDT JOEL DONALD / POLIVKA ALAN LEE / VIEIRA PAULO ROBERTO | Europäisches Patentamt | 2022

    Freier Zugriff

    MOVING BLOCK TRAIN OPERATION CONTROL METHOD AND SYSTEM BASED ON TRAIN AUTONOMOUS POSITIONING

    ZHANG YAJING / XU QINGBIAO / XU XIANLIANG et al. | Europäisches Patentamt | 2022

    Freier Zugriff

    Automatic Train Control Systems: Fixed Block, Moving Block and Contactless

    Karg, K. A. | British Library Conference Proceedings | 1994


    Train control CTC-based moving block implementation method

    SHEN RUICHAO / CHEN XUAN / WANG JIANNIAN et al. | Europäisches Patentamt | 2024

    Freier Zugriff