Model checking-based safety verification for railway signal safety protocol-I

被引：3
|
作者：
School of Electronics and Information Engineering, Tongji University, No. 4800 Cao'an Highway, Shanghai, China [1 ]
机构：
[1] Meng, Mei
[2] Zhongwei, Xu
[3] Xi, Wang
[4] Yongbing, Wan
来源：
Meng, M. (mei_meng@163.com) | 1600年 / Inderscience Enterprises Ltd., 29, route de Pre-Bois, Case Postale 856, CH-1215 Geneva 15, CH-1215, Switzerland卷 / 46期
关键词：
Model checking;
D O I：
10.1504/IJCAT.2013.052795
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Model checking-based safety verification for railway signal safety protocol-I
    Mei Meng
    Xu Zhongwei
    Wang Xi
    Wan Yongbing
    INTERNATIONAL JOURNAL OF COMPUTER APPLICATIONS IN TECHNOLOGY, 2013, 46 (03) : 195 - 202
  • [2] Model Checking-based Safety Verification of a Petri Net Representation of Train Interlocking Systems
    Aristyo, B.
    Pradityo, K.
    Tamba, T. A.
    Nazaruddin, Y. Y.
    Widyotriatmo, A.
    2018 57TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), 2018, : 392 - 397
  • [3] Model checking-based verification of Web application
    Miao, Huaikou
    Zeng, Hongwei
    12TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2007, : 47 - +
  • [4] A model checking-based approach for security policy verification of mobile systems
    Braghin, Chiara
    Sharygina, Natasha
    Barone-Adesi, Katerina
    FORMAL ASPECTS OF COMPUTING, 2011, 23 (05) : 627 - 648
  • [5] Model Checking of Safety Critical Communication Protocol
    Zhang Yi
    Wei Xueye
    He Chunming
    Shi Zengshu
    PROCEEDINGS OF THE THIRD INTERNATIONAL SYMPOSIUM ON TEST AUTOMATION & INSTRUMENTATION, VOLS 1 - 4, 2010, : 1414 - 1418
  • [6] Traceability and Model Checking to Support Safety Requirement Verification
    Kan, Shuanglong
    22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014), 2014, : 783 - 786
  • [7] Verification of fault tolerant safety I&C systems using model checking
    Pakonen, Antti
    Buzhinsky, Igor
    2019 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), 2019, : 969 - 974
  • [8] Model Checking-Based Testing of Web Applications
    ZENG Hongwei
    Wuhan University Journal of Natural Sciences, 2007, (05) : 922 - 926
  • [9] Security analysis of railway signal safety communication protocol II
    School of Information Science and Technology, Sounthwest Jiaotong University, Chengdu
    610031, China
    不详
    510088, China
    Tiedao Xuebao, 1600, 8 (50-56):
  • [10] Optimization of model checking-based test generation
    Zeng, Hongwei
    Miao, Huaikou
    Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics, 2011, 23 (03): : 496 - 502
12345