Reliability, safety, and security of railway systems : modelling, analysis, verification, and certification : 5th International Conference, RSSRail 2023, Berlin, Germany, October 10-12, 2023, Proceedings / Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte, editors.
RSSRail (Conference) (5th : 2023 : Berlin, Germany); Milius, Birgit, editor.; Collart-Dutilleul, Simon, editor.; Lecomte, Thierry, editor.
2023
QA76.758
Available Online

Linked e-resources

Linked Resource Online Access
Concurrent users Unlimited
Authorized users Authorized users
Document Delivery Supplied Can lend chapters, not whole ebooks

Details

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 / Birgit Milius, Simon Collart-Dutilleul, Thierry Lecomte, editors.
Meeting Name RSSRail (Conference) (5th : 2023 : Berlin, Germany)
ISBN 9783031433665 (electronic bk.)
3031433661 (electronic bk.)
9783031433658
3031433653
DOI https://doi.org/10.1007/978-3-031-43366-5
Published Cham : Springer, 2023.
Language English
Description 1 online resource (xx, 226 pages) : illustrations (some color).
Other Standard Identifiers 10.1007/978-3-031-43366-5 doi
Call Number QA76.758
Dewey Decimal Classification 625.1
Summary This book constitutes the proceedings of the 5th International Conference on Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, RSSRail 2023, held in Berlin, Germany, during October 10-12, 2023. The 13 full papers presented in this book together with 3 keynotes were carefully reviewed and selected from 25 submissions. The papers are divided into the following topical sections: modeling for security; tooled approaches and dependability of highly automated transport systems; formal methods for safety assessment; and formal model and visual tooling.
Note Includes author index.
Access Note Access limited to authorized users.
Source of Description Online resource; title from PDF title page (SpringerLink, viewed October 3, 2023).
Added Author Milius, Birgit, editor.
Collart-Dutilleul, Simon, editor.
Lecomte, Thierry, editor.
Series Lecture notes in computer science ; 14198. 1611-3349
Available in Other Form Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Linked Resources Online Access
Record Appears in Online Resources > Ebooks
All Resources
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 Railway Systems
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.

Browse Subjects

Show more subjects...

Statistics

from
to
Export