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.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:
    Zhou, Guo (author) / Zhao, Huibing (author)


    Publication date :

    2015-09-01


    Size :

    274198 byte





    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English




    Train safety control system and train

    HUANG HE / LI JIE / LIU QUNXIN et al. | European Patent Office | 2024

    Free access

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

    NAKAMURA TOMOHIKO / KOIKE JUN | European Patent Office | 2020

    Free access

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

    NAKAMURA TOMOHIKO / KOIKE JUN | European Patent Office | 2023

    Free access

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

    NAKAMURA TOMOHIKO / KOIKE JUN | European Patent Office | 2024

    Free access