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

被引：6
|
作者：
Zhou, Guo [1 ]
Zhao, Huibing [1 ]
机构：
[1] Beijing Jiaotong Univ, Sch Elect & Informat Engn, Beijing, Peoples R China
来源：
2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS | 2015年
关键词：
train control system; quantitative safety analysis; Markov Decision Process; Probabilistic model checking; PRISM;
D O I：
10.1109/ITSC.2015.71
中图分类号：
U [交通运输];
学科分类号：
08 ; 0823 ;
摘要：
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.
引用
收藏
页码：381 / 386
页数：6
相关论文
共 50 条
  • [1] Quantitative safety analysis of train control system based on Markov decision process
    Zhou G.
    Zhao H.
    Zhao, Huibing (hbzhao@bjtu.edu.cn), 1600, Science Press (38): : 74 - 81
  • [2] QUANTITATIVE SAFETY ANALYSIS OF TRAIN CONTROL SYSTEM BASED ON STATISTICAL MODEL CHECKING
    Junting L.I.N.
    Xiaoqin M.I.N.
    Archives of Transport, 2022, 61 (01) : 7 - 19
  • [3] Safety analysis by box modeling method of system behavior - Application to train control system
    Hiraguri, S
    Nishibori, N
    Hidaka, Y
    Kasai, T
    Nakamura, H
    2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2001, : 375 - 378
  • [4] Formal modeling and performance analysis of safety communication protocol in train control system
    Liu Hongjie
    Chen Lijie
    Schnieder, Eckehard
    PROCEEDINGS OF THE 35TH CHINESE CONTROL CONFERENCE 2016, 2016, : 10248 - 10252
  • [5] Modeling and Simulation for Safety Redundant Architecture in Train Control System
    Liu, Hongjie
    Ning, Bing
    Tang, Tao
    Mu, Yu
    PROCEEDINGS OF THE 2015 4TH NATIONAL CONFERENCE ON ELECTRICAL, ELECTRONICS AND COMPUTER ENGINEERING ( NCEECE 2015), 2016, 47 : 1521 - 1524
  • [6] The Impact of Quality of Services in Chinese Train Control System on Train Delays Analysis
    Jiang, Wenyi
    Chen, Xin
    Zhong, Zhangdui
    2010 IEEE 72ND VEHICULAR TECHNOLOGY CONFERENCE FALL, 2010,
  • [7] Route safety verification of train control system by FTA modeling in SCADE
    Wang, Haifeng
    Ning, Bin
    Chen, Tan
    Tang, Shengjie
    Zhang, Yong
    Chai, Ming
    2018 21ST INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), 2018, : 2718 - 2723
  • [8] CTCS - Chinese train control system
    Ning, B
    Tang, T
    Qiu, K
    Gao, C
    Wang, Q
    COMPUTERS IN RAILWAY SIX, 2004, 15 : 393 - 399
  • [9] An Approach to Safety Analysis of Train Control Systems with Coloured Petri Nets
    Wu, Daohua
    Liu, Jintao
    2021 PROCEEDINGS OF THE 40TH CHINESE CONTROL CONFERENCE (CCC), 2021, : 4744 - 4750
  • [10] Reliability and safety verification of the new collision avoidance strategy for Chinese train control system
    Lin, Junting
    Wang, Xiaoming
    Dang, Jianwu
    Computer Modelling and New Technologies, 2014, 18 (09): : 415 - 422
12345