Survey on Formal Method of Trustworthy Construction for Communication-Based Train Control Systems

被引：0
|
作者：
Chen, Ming-Song [1 ]
Bao, Yong-Xiang [1 ]
Sun, Hai-Ying [1 ]
Miao, Wei-Kai [1 ]
Chen, Xiao-Hong [1 ]
Zhou, Ting-Liang [2 ]
机构：
[1] Shanghai Key Laboratory of Trustworthy Computing (East China Normal University), Shanghai,200062, China
[2] CASCO Signal Ltd., Shanghai,200071, China
来源：
Ruan Jian Xue Bao/Journal of Software | 2017年 / 28卷 / 05期
关键词：
D O I：
10.13328/j.cnki.jos.005217
中图分类号：
学科分类号：
摘要：
Safety engineering
引用
收藏
页码：1183 / 1203
相关论文
共 50 条
  • [1] Measurement-Based Handover Method for Communication-Based Train Control Systems
    Chan, Mei Ya
    Baroudi, Sami
    Siu, Joseph
    Liebeherr, Joerg
    [J]. 2017 IEEE 86TH VEHICULAR TECHNOLOGY CONFERENCE (VTC-FALL), 2017,
  • [2] A Cognitive Control Approach to Communication-Based Train Control Systems
    Wang, Hongwei
    Yu, Fei Richard
    Zhu, Li
    Tang, Tao
    Ning, Bin
    [J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2015, 16 (04) : 1676 - 1689
  • [3] Detecting Intrusions in Communication-Based Train Control Systems
    Fakhereldine, Amin
    Zulkernine, Mohammad
    Murdock, Dan
    [J]. IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2022), 2022, : 4193 - 4198
  • [4] WHAT IS COMMUNICATION-BASED TRAIN CONTROL?
    Pascoe, Robert D.
    Eichorn, Thomas N.
    [J]. IEEE VEHICULAR TECHNOLOGY MAGAZINE, 2009, 4 (04): : 16 - 21
  • [5] Enhancing Communication-Based Train Control Systems Through Train-to-Train Communications
    Wang, Xiaoxuan
    Liu, Lingjia
    Tang, Tao
    Sun, Wenzhe
    [J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2019, 20 (04) : 1544 - 1561
  • [6] Predictive Function Control for Communication-Based Train Control (CBTC) Systems
    Bu, Bing
    Yang, Jingwei
    Wen, Shuhuan
    Zhu, Li
    [J]. INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, 2013, 10
  • [7] Methods for Applying Public Communication Lines to Communication-based Train Control Systems
    Kitano, Takayasu
    Gion, Akihiro
    [J]. Quarterly Report of RTRI (Railway Technical Research Institute), 2023, 64 : 278 - 283
  • [8] Methods for Applying Public Communication Network to Communication-Based Train Control Systems
    Kitano, Takayasu
    Gion, Akihiro
    [J]. Japanese Railway Engineering, 1600, 64 (01): : 24 - 26
  • [9] Cognitive Control method for Cost-efficient Communication-Based Train Control Systems in Smart Grids
    Sun, Wenzhe
    Yu, F. Richard
    Tang, Tao
    [J]. 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS, 2015, : 1069 - 1074
  • [10] State Estimation for Communication-Based Train Control Systems With CSMA Protocol
    Zou, Lei
    Wen, Tao
    Wang, Zidong
    Chen, Lei
    Roberts, Clive
    [J]. IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, 2019, 20 (03) : 843 - 854
12345