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 条
  • [41] Searching for i-Good Lemmas to Accelerate Safety Model Checking
    Xia, Yechuan
    Becchi, Anna
    Cimatti, Alessandro
    Griggio, Alberto
    Li, Jianwen
    Pu, Geguang
    COMPUTER AIDED VERIFICATION, CAV 2023, PT II, 2023, 13965 : 288 - 308
  • [42] WAVer: A Model Checking-based Tool to Verify Web Application Design
    Castelluccia, D.
    Mongiello, M.
    Ruta, M.
    Totaro, R.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 157 (01) : 61 - 76
  • [43] Study on checking method for safety of operating railway tunnel lining
    Yang, Y. Q.
    He, S. H.
    ROCK MECHANICS: ACHIEVEMENTS AND AMBITIONS, 2012, : 691 - 695
  • [44] Safety of application programming - for railway signal controllers
    Short, R. C.
    MEASUREMENT & CONTROL, 2006, 39 (10): : 308 - 311
  • [45] Component-based Safety Computer of Railway Signal Interlocking System
    Wang Hai-feng
    Li Wei
    2008 ISECS INTERNATIONAL COLLOQUIUM ON COMPUTING, COMMUNICATION, CONTROL, AND MANAGEMENT, VOL 1, PROCEEDINGS, 2008, : 538 - 541
  • [46] Safety Verification of Multiple Industrial Robot Manipulators with Path Conflicts Using Model Checking
    Ozkan, Metin
    Demirci, Zekeriyya
    Aslan, Ozge
    Yazici, Ahmet
    MACHINES, 2023, 11 (02)
  • [47] The SafeCap Project on Railway Safety Verification and Capacity Simulation
    Iliasov, Alexei
    Lopatkin, Ilya
    Romanovsky, Alexander
    SOFTWARE ENGINEERING FOR RESILIENT SYSTEMS, SERENE 2013, 2013, 8166 : 125 - 132
  • [48] A Formal Approach to Safety Verification of Railway Signaling Systems
    Russo, Aryldo G., Jr.
    Ladenberger, Lukas
    2012 PROCEEDINGS - ANNUAL RELIABILITY AND MAINTAINABILITY SYMPOSIUM (RAMS), 2012,
  • [49] Safety Requirements Specification and Verification for Railway Interlocking Systems
    Han, Li
    Liu, Jing
    Zhou, Tingliang
    Sun, Junfeng
    Chen, Xiaohong
    PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1, 2016, : 335 - 340
  • [50] Safety Verification of Modern Railway Signalling with the SafeCap Platform
    Stankaitis, Paulius
    Iliasov, Alexei
    2017 IEEE 28TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW 2017), 2017, : 153 - 156
12345