![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 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](/client/assets/5.0.0.9/ctx//client/images/no_image.png)
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:
Electronic Access:
https://doi.org/10.1007/978-3-031-43366-5Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
---|---|---|---|---|---|
Searching... | E-Book | 521180-1001 | XX(521180.1) | Searching... | Searching... |