Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway

Monika Seisenberger, Maurice H. ter Beek, Xiuyi Fan, Alessio Ferrari, Anne E. Haxthausen, Phillip James, Andrew Lawrence, Bas Luttik, Jaco van de Pol, Simon Wimmer

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

521 Downloads (Pure)

Abstract

In 2020, the EU launched its sustainable and smart mobility strategy, outlining how it plans to have a 90% reduction in transport emission by 2050. Central to achieving this goal will be the improvement of rail technology, with many new data-driven visionary systems being proposed. AI will be the enabling technology for many of those systems. However, safety and security guarantees will be key for wide-spread acceptance and uptake by Industry and Society. Therefore, suitable verification and validation techniques are needed. In this article, we argue how formal methods research can contribute to the development of modern Railway systems—which may or may not make use of AI techniques—and present several research problems and techniques worth to be further considered.
Original languageEnglish
Title of host publicationLeveraging Applications of Formal Methods, Verification and Validation. Practice
PublisherSpringer
Publication date2022
Pages246-268
ISBN (Print)978-3-031-19761-1
DOIs
Publication statusPublished - 2022
Event11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Alila Resort & Spa, Rhodes, Greece
Duration: 22 Oct 202230 Oct 2022
Conference number: 11
https://www.isola-conference.org

Conference

Conference11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Number11
LocationAlila Resort & Spa
Country/TerritoryGreece
CityRhodes
Period22/10/202230/10/2022
Internet address
SeriesLecture Notes in Computer Science
Volume13704
ISSN0302-9743

Fingerprint

Dive into the research topics of 'Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway'. Together they form a unique fingerprint.

Cite this