Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: 4th Inteational Conference, RSSRail … (Lecture Notes in Computer Science, 13294)

by: Simon Collart-Dutilleul (Editor),Anne E. Haxthausen(Editor),Thierry Lecomte(Editor)&0more

Publisher: Springer
Edition: 1st ed. 2022

Publication Date: 21 May 2022

Language: English

Print Length: 257 pages

ISBN-10: 3031058135

ISBN-13: 9783031058134

Book Description

This book constitutes the refereed proceedings of the 4th Inteational Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2022, held in Paris, France, in June 2022. The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.