Formal Methods for Distributed Computing in Future Railway Systems

Alessandro Fantechi, Stefania Gnesi, Anne Haxthausen

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

Advanced train control systems, such as ERTMS-ETCS and its future successors, that aim to increase the degree of autonomy of train driving, are based on algorithms strongly based on communication between geographically distributed computational elements. The high standards of safety and availability of rail transportation also impose high standards of safety and availability of such systems. Adopting formal methods for the specification and verification of distributed control algorithms is crucial to ensuring compliance with these high standards. Previous editions of DisCoRail (2019, 2021 [7], 2022 [8]), that since 2021 are tracks of ISOLA, have discussed the intertwining of formal methods and distributed computing in the design and development of innovative train control systems, with a specific focus on techniques to assess safety or availability, such as model checking or quantitative evaluation. This year’s edition aims to repeat the success of previous DisCoRail editions by stimulating discussion on these issues among researchers and experts from industry and academia.
Original languageEnglish
Title of host publicationProceedings of the 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Application Areas
PublisherSpringer
Publication date2025
Pages109-111
ISBN (Print)978-3-031-75389-3
ISBN (Electronic)978-3-031-75390-9
DOIs
Publication statusPublished - 2025
Event12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024) - Crete, Greece
Duration: 27 Oct 202431 Oct 2024

Conference

Conference12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024)
Country/TerritoryGreece
CityCrete
Period27/10/202431/10/2024
SeriesLecture Notes in Computer Science
Volume15223
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Formal Methods for Distributed Computing in Future Railway Systems'. Together they form a unique fingerprint.

Cite this