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 language | English |
---|---|
Title of host publication | Leveraging Applications of Formal Methods, Verification and Validation. Practice |
Publisher | Springer |
Publication date | 2022 |
Pages | 246-268 |
ISBN (Print) | 978-3-031-19761-1 |
DOIs | |
Publication status | Published - 2022 |
Event | 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Alila Resort & Spa, Rhodes, Greece Duration: 22 Oct 2022 → 30 Oct 2022 Conference number: 11 https://www.isola-conference.org |
Conference
Conference | 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation |
---|---|
Number | 11 |
Location | Alila Resort & Spa |
Country/Territory | Greece |
City | Rhodes |
Period | 22/10/2022 → 30/10/2022 |
Internet address |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 13704 |
ISSN | 0302-9743 |