Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

6th International Conference, RSSRail 2025, Pisa, Italy, November 26-28, 2025, Proceedings
Herausgegeben:ter Beek, Maurice H.; Collart-Dutilleul, Simon; Lecomte, Thierry

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Lecture Notes in Computer Science 16236
• Verlag: Springer, Berlin; Springer Nature Switzerland; Spring
• Artikelnr. des Verlages: 89552782
• Seitenzahl: 318
• Erscheinungstermin: 15. Dezember 2025
• Englisch
• Abmessung: 235mm x 155mm
• Gewicht: 528g
• ISBN-13: 9783032107619
• ISBN-10: 303210761X
• Artikelnr.: 75574150

Inhaltsangabe

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