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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Wang, Haifeng (author) / Ning, Bin (author) / Chen, Tan (author) / Tang, Shengjie (author) / Zhang, Yong (author) / Chai, Ming (author)


    Publication date :

    2018-11-01


    Size :

    565450 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Sichere SSW-Architektur mit SCADE

    Ansys Germany,DE / Subaru Motor,JP | Automotive engineering | 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. | European Patent Office | 2023

    Free access