Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Springer International Publishing (Verlag)
978-3-032-10761-9 (ISBN)
- Noch nicht erschienen - erscheint am 07.12.2025
- Versandkostenfrei
- Auch auf Rechnung
- Artikel merken
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.
.- 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.
| Erscheinungsdatum | 16.11.2025 |
|---|---|
| Reihe/Serie | Lecture Notes in Computer Science |
| Zusatzinfo | XIII, 332 p. 121 illus., 110 illus. in color. |
| Verlagsort | Cham |
| Sprache | englisch |
| Maße | 155 x 235 mm |
| Themenwelt | Informatik ► Weitere Themen ► Hardware |
| Schlagworte | Analysis • Architecture • Artificial Intelligence • Certification • computer systems organization • domain-specific languages • embedded and cyber-physical systems • Embedded Systems • formal methods • machine learning • Maintenance • Model Checking • Modelling • railway systems • Real Time Systems • Real-Time Systems • Reliability • Safety • security • Simulation • Software engineering • Theory of security • Validation • verification • wireless communication |
| ISBN-10 | 3-032-10761-X / 303210761X |
| ISBN-13 | 978-3-032-10761-9 / 9783032107619 |
| Zustand | Neuware |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
