Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Description
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.
More details
Other editions
Additional editions
Content
.- 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.