This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.
The 12 full papers, 5 short papers, 3 short papers from invited speakers and 4 extended abstracts of journal-first papers presented here were carefully reviewed and selected from 35 submissions.
They were focused on the following topical sections:
Invited Presentations; AI & Planning; Surveys & Comparisons; Communication & Control; Industrial Experiences & Trams; Formal Modelling & Analysis.
Edited by:
Maurice H. ter Beek,
Simon Collart-Dutilleul,
Thierry Lecomte
Imprint: Springer Nature Switzerland AG
Country of Publication: Switzerland
Dimensions:
Height: 235mm,
Width: 155mm,
ISBN: 9783032107619
ISBN 10: 303210761X
Series: Lecture Notes in Computer Science
Pages: 325
Publication Date: 28 December 2025
Audience:
College/higher education
,
Professional and scholarly
,
Further / Higher Education
,
Undergraduate
Format: Paperback
Publisher's Status: Forthcoming
.- Invited Presentations. .- Moving Block in ERJU. .- Empirical Formal Methods in Railways: Experiences and Roadmap. .- Wireless Communications Challenges for Safety Applications in Railways. .- AI & Planning. .- From Relay-based Railway Interlocking Circuits to Formal Specification: An AI-driven Approach. .- SMT-based Verification of Railway Plannings. .- Using N-Version Architectures for Railway Segmentation with Deep Neural Networks. .- Trade-Off Between Interpretability and Accuracy: How Can XAI Build Trust in Track Geometry Predictive Maintenance?. .- Creating Synthetic Test Data for Rail Design Tools - The Case of Linear Scheme Plans. .- Surveys & Comparisons. .- Bridging Formal Verification and Domain Validation in Railway Systems. .- Condition-Based Maintenance in Passenger Trains: Insights from Maintenance Logs and Accident Data. .- Quantitative Dependability Evaluation of Train Control Systems in Presence of Uncertainty: A Systematic Literature Review. .- Comparing Model Checking and Model-based Simulation. .- Communication & Control. .- CPN-Based Modelling to Assess Dependability of Train-to-Train Wireless Communication for Virtual Coupling. .- Safe Maintenance of Railways using COTS Mobile Devices: The Remote Worker Dashboard. .- Run-Time Monitoring of ERTMS/ETCS Control Flow by Process Mining. .- Industrial Experiences & Trams. .- Configurable Interlocking Verification. .- Automated Semantic Validation of Railway Signaling Data on the Basis of Schematron. .- Efficient Derivation of Optimal Signal Schedules for Multimodal Intersections. .- A Zero Latency Handover Scheme for Autonomous Tram Signaling in a 5G Scenario. .- Fusion2: Achieving SIL4 Onboard Positioning for Autonomous Trams. .- Formal Modelling & Analysis. .- Compositional Model Checking of Railway Interlocking Systems Featuring Flank Protection. .- Modelling Railway Networks with Bigraphs: Electrification, Failures, and Optimisation. .- Formal Analysis of a Railway Signaling Block Designed in AIDA. .- Use of Certified Industrial Tools for Formal Analysis and Monitoring of Communications-Based Train Control Systems.
