Decomposing the Verification of Interlocking Systems

被引：0
|
作者：
Haxthausen, Anne E. [1 ]
Fantechi, Alessandro [2 ]
Gori, Gloria [2 ]
机构：
[1] DTU Compute, Technical University of Denmark, Lyngby, Denmark
[2] University of Florence, Firenze, Italy
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2023年 / 14165 LNCS卷
关键词：
Compilation and indexing terms; Copyright 2025 Elsevier Inc;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Formal verification - Safety devices
引用
收藏
页码：96 / 113
相关论文
共 50 条
  • [41] Decomposing Automatic Train Control Verification System with Projection
    Xu, Jing
    Chen, Xiaohong
    Zhou, Tingliang
    Yuan, Zhengheng
    Huang, Kezhen
    2015 22ND ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2015), 2015, : 301 - 308
  • [42] INTERLOCKING CONNECTION IN ANESTHETIC SYSTEMS
    WALSH, JF
    WANI, PV
    ANAESTHESIA, 1990, 45 (11) : 1000 - 1000
  • [43] Formal Modelling and Verification of an Interlocking Using mCRL2
    Bouwman, Mark
    Janssen, Bob
    Luttik, Bas
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2019, 2019, 11687 : 22 - 39
  • [44] Case study: Formal specification and verification of railway interlocking system
    Hlavaty, T
    Preucil, L
    Stepan, P
    PROCEEDINGS OF THE 27TH EUROMICRO CONFERENCE - 2001: A NET ODYSSEY, 2001, : 258 - 263
  • [45] Runtime Verification of Railway Interlocking Software with Parametric Timed Automata
    Chai, Ming
    Wang, Haifeng
    Zhang, Jian
    Tang, Tao
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
  • [46] Data safety verification of computer interlocking in urban railway signaling
    Zhou G.
    Zhao H.
    Zhao, Huibing (hbzhao@bjtu.edu.cn), 2016, Science Press (38): : 63 - 72
  • [47] Decomposing systems of polynomial equations
    Steinwandt, R
    CASC'99: COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, 1999, : 387 - 407
  • [48] DECOMPOSING SPECIFICATIONS OF CONCURRENT SYSTEMS
    ABADI, M
    LAMPORT, L
    PROGRAMMING CONCEPTS, METHODS AND CALCULI, 1994, 56 : 327 - 340
  • [49] Defining and decomposing safety policy for systems of systems
    Hall-May, M
    Kelly, T
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS, 2005, 3688 : 37 - 51
  • [50] Technology migration strategy for interlocking systems
    Steiner, M
    ALCATEL TELECOMMUNICATIONS REVIEW, 2004, (02): : 268 - 271
12345