Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification (eBook, PDF)

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

• Format: PDF

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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer Nature Switzerland
• Seitenzahl: 332
• Erscheinungstermin: 15. November 2025
• Englisch
• ISBN-13: 9783032107626
• Artikelnr.: 75903841

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.