Train control system is designed for ensuring the safety of trains in rail operation, and route safety is a key problem of train control. Due to its safety-critical nature and complicated circumstance, train control system is a typical large-scale and complex system. To address the serious challenge of route safety verification in the system development, this paper proposes a novel method by integrating the function model and the fail-safe fault model of train control. According to the fail-safe principle of railway signaling, with the help of Scade formalism, route safety properties are expressed into a fault tree. The two models are investigated for compatibility and, interlinkage constrains are discussed. Then integration rules are defined to combine the fault tree model and the function model into one lumping model, on which the safety verification is performed using Fault Tree Analysis (FTA). To illustrate how to apply the approach, examples are carried out on a part of WuGuang high-speed railway line in China. The results show that the proposed method has a good performance and meets the critical requirements of route safety verification for train control system.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Route safety verification of train control system by FTA modeling in SCADE


    Beteiligte:
    Wang, Haifeng (Autor:in) / Ning, Bin (Autor:in) / Chen, Tan (Autor:in) / Tang, Shengjie (Autor:in) / Zhang, Yong (Autor:in) / Chai, Ming (Autor:in)


    Erscheinungsdatum :

    01.11.2018


    Format / Umfang :

    565450 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Sichere SSW-Architektur mit SCADE

    Ansys Germany,DE / Subaru Motor,JP | Kraftfahrwesen | 2015


    Modeling and Realization of CBTC Interlocking System Using SCADE

    Wang, Xi ;Liu, Shuo | Trans Tech Publications | 2013


    Modeling and Implementation for Dynamic Curves of Onboard Automatic Train Protection System Based on SCADE

    Wu, Qingyun / Pan, Teng / Xue, Xiaoping et al. | British Library Conference Proceedings | 2016



    SCADE-based interlocking system, interlocking control method, equipment and storage medium

    GUO YINGHUA / LIAO LIANG / HAO QINGSHENG et al. | Europäisches Patentamt | 2023

    Freier Zugriff