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 条
  • [1] Verification of railway interlocking systems
    Busard, Simon
    Cappart, Quentin
    Limbree, Christophe
    Pecheur, Charles
    Schaus, Pierre
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (184): : 19 - 31
  • [2] Compositional Verification of Railway Interlocking Systems
    Haxthausen, Anne Elisabeth
    Fantechi, Alessandro
    FORMAL ASPECTS OF COMPUTING, 2023, 35 (01)
  • [3] Automated Compositional Verification of Interlocking Systems
    Haxthausen, Anne E.
    Fantechi, Alessandro
    Gori, Gloria
    Mikkelsen, Oli Karason
    Petersen, Sofie-Amalie
    RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS, RSSRAIL 2023, 2023, 14198 : 146 - 164
  • [4] Modelling and Verification of Relay Interlocking Systems
    Haxthausen, Anne E.
    Le Bliguet, Marie
    Kjaer, Andreas A.
    FOUNDATIONS OF COMPUTER SOFTWARE: FUTURE TRENDS AND TECHNIQUES FOR DEVELOPMENT, 2010, 6028 : 141 - 153
  • [5] On the Use of Static Checking in the Verification of Interlocking Systems
    Haxthausen, Anne E.
    Ostergaard, Peter H.
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 266 - 278
  • [6] Comparing Formal Verification Approaches of Interlocking Systems
    Haxthausen, Anne Elisabeth
    Hoang Nga Nguyen
    Roggenbach, Markus
    RELIABILITY, SAFETY, AND SECURITY OF RAILWAY SYSTEMS: MODELLING, ANALYSIS, VERIFICATION, AND CERTIFICATION, RSSRAIL 2016, 2016, 9707 : 160 - 177
  • [7] Towards a Framework for Modelling and Verification of Relay Interlocking Systems
    Haxthausen, Anne E.
    FOUNDATIONS OF COMPUTER SOFTWARE: MODELING, DEVELOPMENT, AND VERIFICATION OF ADAPTIVE SYSTEMS, 2011, 6662 : 176 - 192
  • [8] Verification of Interlocking Systems Using Statistical Model Checking
    Cappart, Quentin
    Limbree, Christophe
    Schaus, Pierre
    Quilbeuf, Jean
    Traonouez, Louis-Marie
    Legay, Axel
    2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2017), 2017, : 61 - 68
  • [9] 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
  • [10] Compositional Verification of Multi-station Interlocking Systems
    Macedo, Hugo D.
    Fantechi, Alessandro
    Haxthausen, Anne E.
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 279 - 293
12345