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.
Safe and secure future AI-driven railway technologies: challenges for formal methods in railway
ter Beek MH;Ferrari A;
2022
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.| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_471910-doc_192242.pdf
solo utenti autorizzati
Descrizione: Safe and secure future AI-driven railway technologies: challenges for formal methods in railway
Tipologia:
Versione Editoriale (PDF)
Licenza:
NON PUBBLICO - Accesso privato/ristretto
Dimensione
381.65 kB
Formato
Adobe PDF
|
381.65 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
|
prod_471910-doc_191859.pdf
accesso aperto
Descrizione: Preprint - Safe and secure future AI-driven railway technologies: challenges for formal methods in railway
Tipologia:
Documento in Pre-print
Licenza:
Nessuna licenza dichiarata (non attribuibile a prodotti successivi al 2023)
Dimensione
267.13 kB
Formato
Adobe PDF
|
267.13 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
