Overview

Full Product Details

Author:   Maurice H. ter Beek ,  Simon Collart-Dutilleul ,  Thierry Lecomte
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
ISBN:  

9783032107619

ISBN 10:   303210761
Pages:   332
Publication Date:   16 November 2025
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Not yet available  
This item is yet to be released. You can pre-order this item and we will dispatch it to you upon its release.

Table of Contents

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

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions