Testing the Migration from Analog to Software-Based Railway Interlocking Systems

被引：0
|
作者：
Becchi, Anna [1 ,2 ]
Cimatti, Alessandro [2 ]
Scaglione, Giuseppe [3 ]
机构：
[1] Univ Trento, Trento, Italy
[2] Fdn Bruno Kessler, Trento, Italy
[3] RFI Rete Ferroviaria Italiana, Rome, Italy
来源：
COMPUTER AIDED VERIFICATION, PT II, CAV 2024 | 2024年 / 14682卷
关键词：
railway interlockings systems; model-based testing; legacy systems; relay-based circuits; model checking;
D O I：
10.1007/978-3-031-65630-9_11
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
We work in the context of a tool set developed for the Italian Railway Network supporting the migration of legacy relay-based interlocking systems to a new software-based implementation. We propose to generate test cases from the analog implementation in a way that they are significant for a comparison with a cycle-based computational model, by leveraging stable states abstraction. Our methodology found actual bugs in the new code that were missed by other analyses, and aids in documenting the expected differences with the legacy behaviors.
引用
收藏
页码：219 / 232
页数：14
相关论文
共 50 条
  • [21] Intelligent Vehicles: Complex Software-Based Systems
    Ibanez-Guzman, Javier
    Laugier, Christian
    ERCIM NEWS, 2013, (94): : 19 - 20
  • [22] Software-based self-testing of embedded processors
    Kranitis, N
    Paschalis, A
    Gizopoulos, D
    Xenoulis, G
    IEEE TRANSACTIONS ON COMPUTERS, 2005, 54 (04) : 461 - 475
  • [23] Software-based delay fault testing of processor cores
    Singh, V
    Inoue, M
    Saluja, KK
    Fujiwara, H
    ATS 2003: 12TH ASIAN TEST SYMPOSIUM, PROCEEDINGS, 2003, : 68 - 71
  • [24] An Open Software-Based Framework for Automotive Cybersecurity Testing
    Faschang, Thomas
    Macher, Georg
    SYSTEMS, SOFTWARE AND SERVICES PROCESS IMPROVEMENT, EUROSPI 2023, PT I, 2023, 1890 : 316 - 328
  • [25] Model-Based Testing of Software-Based System Functions
    Drave, Imke
    Greifenberg, Timo
    Hillemacher, Steffen
    Kriebel, Stefan
    Markthaler, Matthias
    Rumpe, Bernhard
    Wortmann, Andreas
    44TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2018), 2018, : 146 - 153
  • [26] Requirements capture getting better software and software-based systems
    Manufacturing and Technology Unit, KPMG
    Eng Manage J, 3 (149-152):
  • [27] Requirements capture - Getting better software and software-based systems
    Alasdair, K
    COMPUTING & CONTROL ENGINEERING JOURNAL, 1996, 7 (03): : 138 - 140
  • [28] Software-based Security Systems in Glass Production
    Isik, Deniz
    ATP MAGAZINE, 2019, (08): : 40 - 42
  • [29] Software-based simulators of electrotechnical plants and systems
    A. M. Zyuzev
    K. E. Nesterov
    Russian Electrical Engineering, 2012, 83 (9) : 521 - 524
  • [30] A component-based topology model for railway interlocking systems
    Chen Xiangxian
    He Yulin
    Huang Hai
    MATHEMATICS AND COMPUTERS IN SIMULATION, 2011, 81 (09) : 1892 - 1900
12345