Skip to:Content
|
Bottom
Cover image for Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Title:
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings
Author:
Milius, Birgit. editor.
ISBN:
9783031433665
Edition:
1st ed. 2023.
Physical Description:
XX, 226 p. 102 illus., 75 illus. in color. online resource.
Series:
Lecture Notes in Computer Science, 14198
Contents:
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.
Added Corporate Author:
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
E-Book 521180-1001 XX(521180.1)
Searching...

On Order

Go to:Top of Page