A high-speed railway train control system plays a key role in ensuring the safe operation of the trains. To ensure the safety of high-speed railway train control systems, it is vital to perform hazard analysis on them. In this context, this paper proposes a novel hazard analysis method which extends a previously reported system-theoretic hazard analysis method “system-theoretic process analysis.” The proposed method improves the standard system-theoretic process analysis to capture the temporal relations between inadequate control actions leading to hazards. These temporal relations are crucial for investigating the causes of hazards. To depict the temporal relations of control actions of high-speed railway train control systems, a new temporal logic called “control action temporal logic” is proposed first. Then based on this temporal logic, a new control action relation model is added into the process of system-theoretic process analysis. This model depicts the relations (including temporal relations) between control actions. In order to identify both the inadequate control actions and their temporal relations, an algorithm is designed and used. Finally, the effectiveness of the proposed method is verified through the hazard analysis on the Chinese Train Control System level 3.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    An extended system-theoretic hazard analysis method for the safety of high-speed railway train control systems




    Erscheinungsdatum :

    2017




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch



    Klassifikation :

    BKL:    55.30 Schienenfahrzeugtechnik, Eisenbahntechnik
    Lokalklassifikation TIB:    275/7030





    Train operation control system for high-speed railway

    Hayashi, Y. / Jokota, S. / Nauchi, T. | Tema Archiv | 1978


    Ground equipment of high-speed railway train control system

    NING BIN / TANG TAO / LI KAICHENG et al. | Europäisches Patentamt | 2015

    Freier Zugriff

    Positive Safety Modeling of CTCS-3 Train Control System for High-speed railway

    Tang, Shengjie / Wang, Haifeng / Ning, Bin et al. | IEEE | 2018