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.
.- 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.
