In order to perform the quantitative safety analysis of Chinese Train Control System level 3, Markov Decision Process(MDP) is employed as the foundation of system behavior modelling. The non-deterministic behaviors and stochastic behaviors in physical behavior model, normal behavior model and fault behavior models are all expressed in MDPs. The quantitative analysis results produced by probabilistic model checker PRISM can be used to judge and compare the prototype designs and evaluate the probabilistic risk of hazards. The conclusions show that comprehensive behavior model and PRISM can automatically consider all the paths of the dynamic system behaviors in System of Systems, which makes the behavior model more accurate and complete. The methodology manifests that it is applicable for the safety analysis of CTCS3 and other train control systems.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling and Quantitative Safety Analysis of Chinese Train Control System of Systems


    Beteiligte:
    Zhou, Guo (Autor:in) / Zhao, Huibing (Autor:in)


    Erscheinungsdatum :

    01.09.2015


    Format / Umfang :

    274198 byte





    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




    Train safety control system and train

    HUANG HE / LI JIE / LIU QUNXIN et al. | Europäisches Patentamt | 2024

    Freier Zugriff

    TRAIN SAFETY SYSTEM, TRAIN SAFETY CONTROL METHOD, AND ONBOARD TRAIN DEVICE

    NAKAMURA TOMOHIKO / KOIKE JUN | Europäisches Patentamt | 2020

    Freier Zugriff

    TRAIN SAFETY SYSTEM, TRAIN SAFETY CONTROL METHOD, AND ONBOARD TRAIN DEVICE

    NAKAMURA TOMOHIKO / KOIKE JUN | Europäisches Patentamt | 2023

    Freier Zugriff

    Train safety system, train safety control method, and onboard train device

    NAKAMURA TOMOHIKO / KOIKE JUN | Europäisches Patentamt | 2024

    Freier Zugriff