Decomposing Automatic Train Control Verification System with Projection

被引：2
|
作者：
Xu, Jing [1 ]
Chen, Xiaohong [2 ]
Zhou, Tingliang [3 ,4 ]
Yuan, Zhengheng [2 ]
Huang, Kezhen [1 ]
机构：
[1] Shanghai Jiao Tong Univ, Sch EIEE, Shanghai, Peoples R China
[2] East China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai, Peoples R China
[3] Tongji Univ, Minist Educ, Key Lab Rd & Traff Engn, Shanghai, Peoples R China
[4] CASCO SIGNAL LTD, Shanghai, Peoples R China
来源：
2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015) | 2015年
基金：
中国国家自然科学基金;
关键词：
Problem Frames approach; Projection; Automatic Train Control Verification System;
D O I：
10.1109/APSEC.2015.10
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
In recent years, with gradual application of formal verification methods to automatic train control (ATC) systems, the problem of verification failure occurs due to the complexity of the verification system. In order to solve this problem, this paper proposes a safety attribute based projection for the ATC systems. We describe this verification system using Problem Frames approach and define projection operators. By projection, the original verification system is divided into several sub-systems. An experiment is also conducted with data collected from a metro line. The experimental results show that the projection can effectively simplify the system state, and increase the efficiency of formal verification.
引用
收藏
页码：301 / 308
页数：8
相关论文
共 50 条
  • [1] Towards Automatic Design and Verification for Level 3 of the European Train Control System
    Wille, Robert
    Peham, Tom
    Przigoda, Judith
    Przigoda, Nils
    [J]. PROCEEDINGS OF THE 2021 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2021), 2021, : 974 - 979
  • [2] THE SYSTEM FOR AUTOMATIC TRAIN CONTROL SIMULATION
    Vytecka, Marcel
    [J]. AD ALTA-JOURNAL OF INTERDISCIPLINARY RESEARCH, 2014, 4 (02): : 67 - 69
  • [3] Integration of automatic train control system
    Zeng, XQ
    Matsumoto, M
    Mori, M
    [J]. 2002 IEEE REGION 10 CONFERENCE ON COMPUTERS, COMMUNICATIONS, CONTROL AND POWER ENGINEERING, VOLS I-III, PROCEEDINGS, 2002, : 11 - 14
  • [4] Automatic Positioning Control System of Train
    Zhang, Jing
    Li, Hui
    Li, Ronghua
    [J]. MECHATRONICS AND MATERIALS PROCESSING I, PTS 1-3, 2011, 328-330 : 1801 - 1805
  • [5] Fuzzy control of automatic train operation system
    Huang, S.-J.
    Her, S.-L.
    [J]. International Journal of Modelling & Simulation, 17 (02):
  • [6] NEW AUTOMATIC TRAIN CONTROL-SYSTEM
    YAMAGUCHI, T
    KOJIMA, S
    MASUKO, Y
    [J]. TOSHIBA REVIEW, 1978, (118): : 15 - 18
  • [7] Formal Modeling, Verification and Implementation of a Train Control System
    AskariHemmat, MohammadHossein
    Mohamed, Otmane Ait
    Boukadoum, Mounir
    [J]. 2015 27TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS (ICM), 2015, : 134 - 137
  • [8] Verification and Implementation of the Protocol Standard in Train Control System
    Jiang, Yu
    Zhang, Hehua
    Song, Xiaoyu
    Hung, William N. N.
    Gu, Ming
    Sun, Jiaguang
    [J]. 2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 549 - 558
  • [9] Formal verification of safety protocol in train control system
    Zhang Yan
    Tang Tao
    Li KePing
    Mera, Jose Manuel
    Zhu Li
    Zhao Lin
    Xu TianHua
    [J]. SCIENCE CHINA-TECHNOLOGICAL SCIENCES, 2011, 54 (11) : 3078 - 3090
  • [10] Formal verification of safety protocol in train control system
    Yan Zhang
    Tao Tang
    KePing Li
    Jose Manuel Mera
    Li Zhu
    Lin Zhao
    TianHua Xu
    [J]. Science China Technological Sciences, 2011, 54 : 3078 - 3090
12345