Modeling and Verification of Train Operation Control based on Information Control System Modeling Language

被引：0
|
作者：
机构：
[1] Kogai, Kei
[2] Oyama, Kyohei
[3] Ueda, Yoshikazu
[4] Takahashi, Yuki
[5] Takezawa, Takayuki
[6] Nakano, Toshihiko
来源：
Kogai, K. | 1600年 / Japan Society for Software Science and Technology卷 / 29期
关键词：
Control systems;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
相关论文
共 50 条
  • [1] 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
  • [2] Modeling and verification of time constraints of operation scenarios of high-speed train control system
    Lü J.-D.
    Tang T.
    Tiedao Xuebao/Journal of the China Railway Society, 2011, 33 (06): : 54 - 61
  • [3] 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
  • [4] 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
  • [5] Scenario-based modeling and verification of system requirement specification for the European Train Control System
    Tang, W.
    Ning, B.
    Xu, T.
    Zhao, L.
    COMPUTERS IN RAILWAYS XII: COMPUTER SYSTEM DESIGN AND OPERATION IN RAILWAYS AND OTHER TRANSIT SYSTEMS, 2010, 114 : 759 - 770
  • [6] 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
  • [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] 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
  • [9] Study on the intelligent information system of train operation control
    Changsha Tiedao Xuyuan Xuebao/Journal of Changsha Railway University, 1999, 17 (03): : 29 - 33
  • [10] Process modeling for control system operation
    Russell, DC
    Allen, D
    56TH APPITA ANNUAL CONFERENCE, PROCEEDINGS, 2002, : 511 - 516
12345