In railways, overspeed protection is the central function of Automatic Train Protection (ATP). Any failure of this function can cause serious people injury or property loss. In practical applications, incorrect protection curves can be caused by misconfigurations of line data or mistakes in coding. These defects are hard to be fully eliminated during the development phases. In this paper, we propose an online monitoring approach to provide on-going protections for ATP. In our method, dynamic models are introduced to describe behaviour of the system as monitoring specifications. This avoids the so-called state explosion problem that is caused by complicated line data. Furthermore, we present a concrete example taking from Beijing Yizhuang metro line. The verification results show that this online monitoring method is feasible to predict potential risks of train operations.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Towards Risk Prediction: Runtime Verification of Train Control Systems for Overspeed Protection


    Beteiligte:
    Hu, Qian (Autor:in) / Chai, Ming (Autor:in) / Wang, Haifeng (Autor:in)


    Erscheinungsdatum :

    01.12.2018


    Format / Umfang :

    486071 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Train overspeed protection method and train

    NING BIN / GAO CHUNHAI / WANG WEI et al. | Europäisches Patentamt | 2016

    Freier Zugriff

    Train overspeed protection method and apparatus

    OUYANG SHENGCONG / SU BO / WANG FAPING | Europäisches Patentamt | 2022

    Freier Zugriff

    Overspeed protection control method for train network control system

    LI KUNPENG / LI WENZHENG / WANG SHU et al. | Europäisches Patentamt | 2020

    Freier Zugriff

    TRAIN OVERSPEED PROTECTION METHOD AND APPARATUS

    OUYANG SHENGCONG / SU BO / WANG FAPING | Europäisches Patentamt | 2019

    Freier Zugriff

    Vehicle overspeed protection method, vehicle overspeed protection control device and vehicle

    WANG HAO / ZHANG TAO / SHU MAOHUAI | Europäisches Patentamt | 2023

    Freier Zugriff