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

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

• Broschiertes Buch

Produktbeschreibung

This book constitutes the proceedings of the 6th International Conference, RSSRail 2025, in Pisa, Italy, during November 2025.       

Produktdetails

• Lecture Notes in Computer Science Nr.16236
• Verlag: Springer International Publishing AG / Springer-Verlag GmbH
• Artikelnr. des Verlages: 89552782
• Seitenzahl: 318
• Erscheinungstermin: 23. Januar 2026
• Englisch
• 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.