Overview
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 13294)
Included in the following conference series:
Conference proceedings info: RSSRail 2022.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (16 papers)
-
Safe Interlocking
-
Safety and New Technologies
Other volumes
-
Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- computer hardware
- computer networks
- computer programming
- computer science
- computer systems
- embedded systems
- engineering
- internet
- linguistics
- mathematics
- model checking
- network protocols
- signal processing
- software architecture
- software design
- software engineering
- software quality
About this book
The 16 full papers presented in this book were carefully reviewed and selected from numerous submissions. They cover a range of topics including railways system and infrastructure advance modelling; scheduling and track planning; safety process and validation; modelling; formal verification; and security.
Editors and Affiliations
Bibliographic Information
Book Title: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Book Subtitle: 4th International Conference, RSSRail 2022, Paris, France, June 1–2, 2022, Proceedings
Editors: Simon Collart-Dutilleul, Anne E. Haxthausen, Thierry Lecomte
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-031-05814-1
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2022
Softcover ISBN: 978-3-031-05813-4Published: 21 May 2022
eBook ISBN: 978-3-031-05814-1Published: 19 May 2022
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 239
Number of Illustrations: 23 b/w illustrations, 68 illustrations in colour
Topics: Software Engineering/Programming and Operating Systems, Computer Systems Organization and Communication Networks, Information Systems Applications (incl. Internet), Artificial Intelligence