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 条
  • [21] Interlocking Formal Verification at Alstom Signalling
    Parillaud, Camille
    Fonteneau, Yoann
    Belmonte, Fabien
    RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, 2019, 11495 : 215 - 225
  • [22] Safety Invariant Engineering for Interlocking Verification
    Iliasov, Alexei
    Taylor, Dominic
    Laibinis, Linas
    Romanovsky, Alexander
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2024, 2024, 14988 : 68 - 83
  • [23] Verification of Solid State Interlocking Programs
    James, Phillip
    Lawrence, Andy
    Moller, Faron
    Roggenbach, Markus
    Seisenberger, Monika
    Setzer, Anton
    Kanso, Karim
    Chadwick, Simon
    SOFTWARE ENGINEERING AND FORMAL METHODS, 2014, 8368 : 253 - 268
  • [24] Formal Methods for Industrial Interlocking Verification
    Chadwick, Simon
    James, Phillip
    Roggenbach, Markus
    Werner, Tom
    2018 INTERNATIONAL CONFERENCE ON INTELLIGENT RAIL TRANSPORTATION (ICIRT), 2018,
  • [25] Challenges in Decomposing Encodings of Verification Problems
    Schrammel, Peter
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (219): : 29 - 32
  • [26] Decomposing Bytecode Verification by Abstract Interpretation
    Bernardeschi, C.
    De Francesco, N.
    Lettieri, G.
    Martini, L.
    Masci, P.
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2008, 31 (01):
  • [27] Verification of Railway Interlocking - Compositional Approach with OCRA
    Limbree, Christophe
    Cappart, Quentin
    Pecheur, Charles
    Tonetta, Stefano
    RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2016, 2016, 9707 : 134 - 149
  • [28] Distributed interlocking system and its safety verification
    Hei, Xinhong
    Takahashi, Sei
    Nakamura, Hideo
    WCICA 2006: SIXTH WORLD CONGRESS ON INTELLIGENT CONTROL AND AUTOMATION, VOLS 1-12, CONFERENCE PROCEEDINGS, 2006, : 8612 - +
  • [29] 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
  • [30] RELIABILITY OF INTERLOCKING SYSTEMS
    FREEMAN, RA
    PROCESS SAFETY PROGRESS, 1994, 13 (03) : 146 - 152
12345