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

Nyhet

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

Häftad, Engelska, 2025

Av Maurice H. ter Beek, Simon Collart-Dutilleul, Thierry Lecomte, Maurice H. Ter Beek

989 kr

Beställningsvara. Skickas inom 10-15 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

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

Utgivningsdatum2025-11-16
Mått155 x 235 x 19 mm
Vikt528 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor332
FörlagSpringer Nature Switzerland AG
ISBN9783032107619

Tillhör följande kategorier

Artificiell intelligens inom Data och it
Järnvägar inom Naturvetenskap och teknik
IT-säkerhet inom Data och it
Hårdvara inom Data och it
Programvaruutveckling inom Data och it
Tillämpad datateknik inom Data och it

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