Currently qualitative as well as quantitative safety analysis of railway systems are usually conducted through Fault Tree Analysis (FTA) and Event Tree Analysis (ETA). FTA and ETA display the causalities and consequences of hazards or accidents by means of linear event sequences, which makes it difficult to incorporate non-linear relationships such as feedback. The repair of failure system components is not considered in traditional FTA and ETA. Moreover, quantitative safety evaluation by FTA and ETA requires that failure events should be statistically independent. Considering these issues, we propose an approach of conducting qualitative as well as quantitative safety evaluation of the CTCS-3 with stochastic Coloured Petri Nets (CPNs). The hierarchical CPN model of the CTCS-3 takes the scenarios, movement of trains, the failure and repair of system components into account. The occurrence times of hazardous events of a CTCS-3 system is quantitatively evaluated with the numerical data collected during the simulation of the system model. The evaluation results demonstrate the feasibility of the proposed approach.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Qualitative and Quantitative Safety Evaluation of Train Control Systems (CTCS) With Stochastic Colored Petri Nets


    Contributors:
    Wu, Daohua (author) / Lu, Debiao (author) / Tang, Tao (author)


    Publication date :

    2022-08-01


    Size :

    3957079 byte




    Type of media :

    Article (Journal)


    Type of material :

    Electronic Resource


    Language :

    English



    CTCS-Chinese Train Control System

    Ning, B. / Tang, T. / Qiu, K. et al. | British Library Conference Proceedings | 2004



    Safety Analysis of Train Control System Based on Colored Petri Nets and System-Theoretic Process Analysis

    Hu, Shaoqiang / Wu, Daohua / Wang, Huashen | British Library Conference Proceedings | 2018


    A study of railway ERTMS safety with Colored Petri Nets

    Barger, P. / Schon, W. / Bouali, M. | British Library Conference Proceedings | 2010


    Traffic signal priority/preemption control with colored Petri nets

    Lefei Li, / Wei-Hua Lin, / Hongchao Liu, | IEEE | 2005