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 条
  • [41] Modeling and Verification of Route Protection for Train-centric Train Control System
    Li, Xuefei
    Chai, Ming
    Wang, Haifeng
    2019 IEEE INTELLIGENT TRANSPORTATION SYSTEMS CONFERENCE (ITSC), 2019, : 2189 - 2194
  • [42] Modeling and verification of train departure scenario for next generation train control system
    Yang, Lina
    Liu, Zhongtian
    2020 2ND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE COMMUNICATION AND NETWORK SECURITY (CSCNS2020), 2021, 336
  • [43] Integrated formal methods for safety analysis of train systems
    Reif, W
    Ortmeier, F
    Thums, A
    Schellhorn, G
    BUILDING THE INFORMATION SOCIETY, 2004, 156 : 637 - 642
  • [44] Modeling of train control system and a method of assurance evaluation
    Matsumoto, M
    Tsurumaki, T
    Watanabe, D
    Mori, K
    22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS, 2002, : 89 - 94
  • [45] Formal Modeling, Verification and Implementation of a Train Control System
    AskariHemmat, MohammadHossein
    Mohamed, Otmane Ait
    Boukadoum, Mounir
    2015 27TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS (ICM), 2015, : 134 - 137
  • [46] Train Control System Modeling and Design Based on AADL
    Li, Chuqian
    Zhang, Lichen
    PROCEEDINGS OF 2015 6TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE, 2015, : 474 - 477
  • [47] Novel Graph-Based Train Control Data Verification Method for Chinese Train Control System
    Zhang, Yong
    Wang, Haifeng
    Chai, Ming
    Cheng, Ruijun
    IEEE INTELLIGENT TRANSPORTATION SYSTEMS MAGAZINE, 2021, 13 (03) : 45 - 57
  • [48] Methods of Providing Hardware Safety for Microprocessor Train Control Systems
    Bestemyanov P.F.
    Russian Electrical Engineering, 2020, 91 (09) : 531 - 536
  • [49] Positive Safety Modeling of CTCS-3 Train Control System for High-speed railway
    Tang, Shengjie
    Wang, Haifeng
    Ning, Bin
    Han, Geer
    Chai, Ming
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
  • [50] Formal modeling and parameter analysis method for train control system based on hybrid unified modeling language
    Zhao X.
    Cheng R.
    Cheng Y.
    Ma X.
    Ma, Xiaoping (xpma123@163.com), 1600, Science Press (38): : 80 - 87
12345