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 条
  • [41] On the software-based development and verification of automotive control systems
    Hu, Wei-Wen
    Wang, Ming-Li
    Lin, Yu-Hui
    IECON 2007: 33RD ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-3, CONFERENCE PROCEEDINGS, 2007, : 857 - 862
  • [42] A Case for Software-based Adaptive Routing in NUMA Systems
    Song, Wonjun
    Kim, John
    2019 IEEE 37TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2019), 2019, : 684 - 693
  • [43] Dependability assessment of software-based systems: State of the art
    Liftlewood, B
    ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 6 - 7
  • [44] Systematic Test Platform Selection Reducing Costs for Testing Software-based Automotive E/E Systems
    Schwarzl, Christian
    Herrmann, Jens
    2018 IEEE 11TH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2018, : 374 - 383
  • [45] Assessment of the comparative efficiency of software-based Boolean, electronic, software-based fractional value and simplified quantum principal expert systems
    Straub, Jeremy
    EXPERT SYSTEMS, 2022, 39 (04)
  • [46] SUPPORTING SOFTWARE-BASED SYSTEMS .1. SOFTWARE-DESIGN INSTRUMENTATION
    RAMEY, J
    FISCHER, J
    ORCHARD, L
    MACHINE DESIGN, 1978, 50 (28) : 145 - 150
  • [47] CSP Specification and Verification of Relay-based Railway Interlocking Systems
    Pereira, D. I. de Almeida
    Oliveira, M. V. M.
    Bezerra, P. E. R.
    Bon, P.
    Collart-Dutilleul, S.
    37TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, 2022, : 97 - 106
  • [48] NORMA: a tool for the analysis of Relay-based Railway Interlocking Systems
    Amendola, Arturo
    Becchi, Anna
    Cavada, Roberto
    Cimatti, Alessandro
    Ferrando, Andrea
    Pilati, Lorenzo
    Scaglione, Giuseppe
    Tacchella, Alberto
    Zamboni, Marco
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2022, PT I, 2022, 13243 : 125 - 142
  • [49] A Knowledge Based Solution for Intelligent Verification and Validation of Interlocking Railway Systems
    Bellini, Pierfrancesco
    Nesi, Paolo
    Zaza, Imad
    ERCIM NEWS, 2015, (103): : 36 - 37
  • [50] NEW SOFTWARE-BASED SYSTEMS FOR ROUTINE CLEANNESS ASSESSMENT OF STEELS
    POLZIN, T
    MICROSCOPICA ACTA, 1977, : 19 - 31
12345