Document - Safe and secure future AI-driven railway technologies: challenges for formal methods in railway

2022

Conference article Open Access

Safe and secure future AI-driven railway technologies: challenges for formal methods in railway

Seisenberger M., Ter Beek M. H., Fan X., Ferrari A., Haxthausen A., James P., Lawrence A., Luttik B., Van De Pol J., Wimmer S.

Railways Formal methods Certification Verification ERTMS Artificial Intelligence

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.

Source: ISoLA'22 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 246–268, Rhodes, Greece, 24-28/10/2022

Metrics

Back to previous page

Cite as

BibTeX entry

@inproceedings{oai:it.cnr:prodotti:471910,
	title = {Safe and secure future AI-driven railway technologies: challenges for formal methods in railway},
	author = {Seisenberger M. and Ter Beek M. H. and Fan X. and Ferrari A. and Haxthausen A. and James P. and Lawrence A. and Luttik B. and Van De Pol J. and Wimmer S.},
	doi = {10.1007/978-3-031-19762-8_20},
	booktitle = {ISoLA'22 - 11th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, pp. 246–268, Rhodes, Greece, 24-28/10/2022},
	year = {2022}
}