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

6th International Conference, RSSRail 2025, Pisa, Italy, November 26–28, 2025, Proceedings

AvMaurice H. ter Beek,Simon Collart-Dutilleul

Häftad, Engelska, 2025

Del i serien Lecture Notes in Computer Science

640 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Beskrivning

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.

Produktinformation

Utgivningsdatum:2025-11-16
Mått:155 x 235 x 19 mm
Vikt:528 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Computer Science
Antal sidor:332
Förlag:Springer Nature Switzerland AG
ISBN:9783032107619

Utforska kategorier

Artificiell intelligens inom Data och IT
Järnvägar inom Naturvetenskap och teknik
IT-säkerhet inom Data och IT

Innehållsförteckning

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