Modeling for Security: Automating an Analysis of Safety-Security Interactions for Railway Systems.- TrainSec: A Simulation Framework for Security Modeling and Evaluation in CBTC Networks.-Tooled approaches and Dependability of highly automated transport systems: Safety analysis of Automatic Train Operation based on ETCS.- Remaining Useful Life Estimation for Railway Gearbox Bearings Using Machine Learning.- Towards Scenario-based Certification of Highly Automated Railway Systems.- Dependability Analysis of UPS Architectures for the Italian Railway Signaling System.- Formal methods for safety assessment: The SafeCap Trajectory: Industry-driven Improvement of an Interlocking Verification Tool.- A Formal Model of Train Control with AI-based Obstacle Detection.- Integral Formal Proof : A Verification Approach Bridging the Gap between System and Software Levels in RailwaySystems.- Automated Compositional Verication of Interlocking Systems.- Halfway Generic Verification of Railway Control Systems.- Formal model and visual tooling: Modelling, Visualisation and Proof of an ETCS Level 3 Moving Block System.- A Tool-Chain for the Verification of Geographic Scheme Data.

GPSR Compliance The European Union's (EU) General Product Safety Regulation (GPSR) is a set of rules that requires consumer products to be safe and our obligations to ensure this. If you have any concerns about our products you can contact us on ProductSafety@springernature.com. In case Publisher is established outside the EU, the EU authorized representative is: Springer Nature Customer Service Center GmbH Europaplatz 3 69115 Heidelberg, Germany ProductSafety@springernature.com