Modeling of train control system and a method of assurance evaluation

被引：0
|
作者：
Matsumoto, M [1 ]
Tsurumaki, T [1 ]
Watanabe, D [1 ]
Mori, K [1 ]
机构：
[1] E Japan Railway Co, Transport & Rolling Stock Dept, Tokyo, Japan
来源：
22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS | 2002年
关键词：
D O I：
10.1109/ICDCSW.2002.1030753
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
Assurance technology is a general term for technology, that utilizes a system which considers the two elements of heterogeneity and adaptability. There are various needs in railway systems, so assurance properties are also being sought for train control systems. Coexistence of heterogeneous systems and adaptability for smooth system replacement are sought within daily operational changes. In this paper we model train control systems and propose an assurance evaluation method.
引用
收藏
页码：89 / 94
页数：6
相关论文
共 50 条
  • [1] Assurance evaluation for communication based autonomous train control system
    Zeng, XQ
    Kimata, A
    Matsumoto, M
    Mori, K
    [J]. 6TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XII, PROCEEDINGS: INDUSTRIAL SYSTEMS AND ENGINEERING II, 2002, : 310 - 315
  • [2] Assurance Evaluation for Test of Communication-Based Train Control System
    Zeng, Xiaoqing
    Xiong, Tiansheng
    Mori, Kinji
    [J]. 2007 INTERNATIONAL CONFERENCE ON WIRELESS COMMUNICATIONS, NETWORKING AND MOBILE COMPUTING, VOLS 1-15, 2007, : 3135 - +
  • [3] Assurance evaluation technology of train control system for achieving expansion during operation
    Matsumoto, M
    Tsurumaki, T
    Kitamura, S
    Watanabe, D
    Mori, K
    [J]. 7TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2002, : 71 - 78
  • [4] Assurance Technology for Autonomous Decentralized Train Control System
    Suzuki, Tsuyoshi
    Kawano, Takashi
    Matsumoto, Masayuki
    Nagatsugu, Yoshihide
    [J]. ICDCS: 2009 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOPS, 2009, : 285 - +
  • [5] High assurance technologies for autonomous decentralized train control system
    Matsumoto, M
    Kitamura, S
    Sato, M
    [J]. SIXTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, 2001, : 220 - 227
  • [6] Safety analysis by box modeling method of system behavior - Application to train control system
    Hiraguri, S
    Nishibori, N
    Hidaka, Y
    Kasai, T
    Nakamura, H
    [J]. 2001 PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, 2001, : 375 - 378
  • [7] Research on Performance Evaluation Method of Levitation Control System for Maglev Train
    Ding, Jingfang
    Liang, Shi
    Long, Zhiqiang
    [J]. 2019 CHINESE AUTOMATION CONGRESS (CAC2019), 2019, : 628 - 633
  • [8] TOWARDS MODELING AND EVALUATION OF AVAILABILITY OF COMMUNICATION BASED TRAIN CONTROL (CBTC) SYSTEM
    Zhao, Hongli
    Xu, Tianhua
    Tang, Tao
    [J]. PROCEEDINGS OF 2009 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS TECHNOLOGY AND APPLICATIONS, 2009, : 860 - 863
  • [9] Investigation of risk analysis methods for safety assurance in the train control system
    Jo, Hyun-Jeong
    Hwang, Jong-Gyu
    [J]. 2007 INTERNATIONAL CONFERENCE ON ELECTRICAL MACHINES AND SYSTEMS, VOLS 1-4, 2007, : 866 - 870
  • [10] Formal modeling and parameter analysis method for train control system based on hybrid unified modeling language
    Zhao X.
    Cheng R.
    Cheng Y.
    Ma X.
    [J]. Ma, Xiaoping (xpma123@163.com), 1600, Science Press (38): : 80 - 87
12345