Modeling and Verification of Control System Specification for Railway Level Crossings Based on Formal Method

被引：0
|
作者：
Wang, Keming [1 ,2 ]
Wang, Zheng [1 ]
机构：
[1] School of Information Science and Technology, Southwest Jiaotong University, Chengdu,611756, China
[2] National-Local Joint Engineering Laboratory of System Credibility Automatic Verification, Southwest Jiaotong University, Chengdu,610031, China
来源：
Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University | 2019年 / 54卷 / 03期
关键词：
D O I：
10.3969/j.issn.0258-2724.20180607
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：573 / 578
相关论文
共 50 条
  • [1] Robustness Verification of Railway Level Crossing Control System by Formal Method
    Wang, Keming
    Wang, Zheng
    [J]. 12TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY, AND SAFETY (ICRMS 2018), 2018, : 230 - 233
  • [2] Research on method of modeling and formal verification of the CTCS-3 train control system specification
    Xie, Yu-Fei
    Tang, Tao
    Xu, Tian-Hua
    Zhao, Lin
    [J]. Tiedao Xuebao/Journal of the China Railway Society, 2011, 33 (07): : 67 - 72
  • [3] Case study: Formal specification and verification of railway interlocking system
    Hlavaty, T
    Preucil, L
    Stepan, P
    [J]. PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 258 - 263
  • [4] Formal development and verification of a distributed railway control system
    Haxthausen, AE
    Peleska, J
    [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1546 - 1563
  • [5] Formal development and verification of a distributed railway control system
    Haxthausen, AE
    Peleska, J
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2000, 26 (08) : 687 - 701
  • [6] Formal Verification of GP Specification based Embedded Operating System
    Sun, Haiyong
    Lei, Hang
    Qiao, Lei
    Yang, Zheng
    [J]. PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND APPLICATION ENGINEERING (CSAE2018), 2018,
  • [7] Formal Verification and Validation of IoT-based Railway Gate Controlling System at Level Crossing
    [J]. 1600, Institute of Electrical and Electronics Engineers Inc.
  • [8] Formal Specification and Verification of Transmission Control Protocol
    Jarrar, Abdessamad
    Bellasri, Otman
    Chougdali, Sallami
    Balouki, Youssef
    [J]. ICCWCS'17: PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON COMPUTING AND WIRELESS COMMUNICATION SYSTEMS, 2017,
  • [9] 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
  • [10] Formal Specification and Automated Verification of Railway Software with Frama-C
    Prevosto, Virgile
    Burghardt, Jochen
    Gerlach, Jens
    Hartig, Kerstin
    Pohl, Hans
    Voellinger, Kim
    [J]. 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), 2013, : 710 - 715
12345