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 条
  • [1] Software-based Networking in Railway Systems
    Cruz, Mariana
    Cruz, Rui S.
    PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021), 2021,
  • [2] Software Testing, Software Quality and Trust in Software-Based Systems
    Budnik, Christof
    2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 253 - 253
  • [3] Model-Based Testing of Railway Interlocking Systems
    Cimatti, Alessandro
    Khandaker, Shaker
    Kifetew, Fitsum
    Leone, Lorenzo
    Prandi, Davide
    Scaglione, Giuseppe
    Susi, Angelo
    Turboli, Orazio
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: APPLICATION AREAS, PT V, ISOLA 2024, 2025, 15223 : 112 - 126
  • [4] POSITION STATEMENT Software Testing, Software Quality and Trust in Software-Based Systems
    Subramanyan, Rajesh
    2012 IEEE 36TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2012, : 254 - 254
  • [5] Validation of Railway Interlocking Systems by Testing their Models
    Bonacchi, Andrea
    Fantechi, Alessandro
    2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), 2014, : 226 - 229
  • [6] Software-Based Testing for System Peripherals
    M. Grosso
    W. J. Perez Holguin
    E. Sanchez
    M. Sonza Reorda
    A. Tonda
    J. Velasco Medina
    Journal of Electronic Testing, 2012, 28 : 189 - 200
  • [7] Software-Based Testing for System Peripherals
    Grosso, M.
    Perez Holguin, W. J.
    Sanchez, E.
    Reorda, M. Sonza
    Tonda, A.
    Velasco Medina, J.
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2012, 28 (02): : 189 - 200
  • [8] Towards a Software-Based Approach to Smart Railway Maintenance
    Fernandes, Joao T.
    Curado, Marllia
    Boavida, Fernando
    2024 IEEE 22ND MEDITERRANEAN ELECTROTECHNICAL CONFERENCE, MELECON 2024, 2024, : 891 - 896
  • [9] Software-based Live Migration for Containerized RDMA
    Li, Xiaoyu
    Shu, Ran
    Xiong, Yongqiang
    Ren, Fengyuan
    PROCEEDINGS OF THE 8TH ASIA-PACIFIC WORKSHOP ON NETWORKING, APNET 2024, 2024, : 52 - 58
  • [10] Software-based BIST for analog to digital converters in SoC
    Keshk, Arabi
    IDT 2007: SECOND INTERNATIONAL DESIGN AND TEST WORKSHOP, PROCEEDINGS, 2007, : 189 - 192
12345