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 条
  • [21] A Verification Method for Software Safety Requirement by Combining Model Checking and FTA
    Chen, Congcong
    Zeng, Fuping
    Lu, Minyan
    PROCEEDINGS OF THE 2015 INTERNATIONAL INDUSTRIAL INFORMATICS AND COMPUTER ENGINEERING CONFERENCE, 2015, : 1359 - 1364
  • [22] Linearization based Safety Verification of a Glucose Control Protocol
    Samaddar, Ankita
    RahimiNasab, Zahra
    Easwaran, Arvind
    Banerjee, Ansuman
    Bai, Xue
    2019 IEEE 22ND INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2019), 2019, : 221 - 228
  • [23] A Model Checking-based Analysis Framework for Systems Biology Models
    Liu, Bing
    Safa, Sara
    PROCEEDINGS OF THE 2020 57TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2020,
  • [24] SAT-Based Fault Equivalence Checking in Functional Safety Verification
    Ai Quoc Dao
    Lin, Mark Po-Hung
    Mishchenko, Alan
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2018, 37 (12) : 3198 - 3205
  • [25] Model checking safety critical software with SPIN: An application to a railway interlocking system
    Cimatti, A
    Giunchiglia, F
    Mongardi, G
    Romano, D
    Torielli, F
    Traverso, P
    COMPUTER SAFETY, RELIABILITY AND SECURITY, 1998, 1516 : 284 - 295
  • [26] Monitoring Strategies of a Company by the Model Checking-Based Business Process
    Ouaar, Hanane
    PROCEEDINGS OF NINTH INTERNATIONAL CONGRESS ON INFORMATION AND COMMUNICATION TECHNOLOGY, VOL 2, ICICT 2024, 2024, 1012 : 587 - 598
  • [27] A Model Checking-based Method for Verifying Web Application Design
    Donini, Francesco Maria
    Mongiello, Marina
    Ruta, Michele
    Totaro, Rodolfo
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 151 (02) : 19 - 32
  • [28] A model checking-based security analysis framework for IoT systems
    Fang, Zheng
    Fu, Hao
    Gu, Tianbo
    Qian, Zhiyun
    Jaeger, Trent
    Hu, Pengfei
    Mohapatra, Prasant
    HIGH-CONFIDENCE COMPUTING, 2021, 1 (01):
  • [29] Railway Safety's safety risk model
    Muttram, RI
    PROCEEDINGS OF THE INSTITUTION OF MECHANICAL ENGINEERS PART F-JOURNAL OF RAIL AND RAPID TRANSIT, 2002, 216 (02) : 71 - 79
  • [30] Model checking of safety properties
    Kupferman, O
    Vardi, MY
    FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (03) : 291 - 314
12345