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 prüfen

    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


    Beteiligte:
    Liu, Jin Tao (Autor:in) / Tang, Tao (Autor:in) / Zhu, Jie Bei (Autor:in) / Zhao, Lin (Autor:in)


    Erscheinungsdatum :

    2017-09-01


    Format / Umfang :

    14 pages




    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch






    Train operation control system for high-speed railway

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


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

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


    High-speed railway bullet train bogie

    LI ZE / ZHANG HUIYING / YANG CHANGXIU et al. | Europäisches Patentamt | 2021

    Freier Zugriff