Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Springer International Publishing (Verlag)
978-3-031-05813-4 (ISBN)
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.
New methods for safety demonstration.- Satellite-based train localization for safety critical applications. The challenges of performance demo and certification.- Safe Interlocking""Compositional verification of railway interlockings: comparison of two methods".- "Safety invariant verification that meets engineers' expectations".- Session "Innovation in Traffic management".- "Formalization and Processing of Data Requirements for the Development of Next Generation Railway Traffic Management Systems".- "Acceleration Techniques for Symbolic Simulation of Railway Timetables".- "Optimal Railway Routing Using Virtual Subsections"Session "Safety and new technologies" .- ""Learn to learn HVAC failures: layering ML experiments in the absence of ground truth".- Enhancing Autonomous Train Safety Through A Priori-Map Based Perception".- Lilian Burdy, David Deharbe and Denis Sabatier "Assigning safe software-based systems to meanings".- Generating and verifying configuration data with OVADO".- "The 4SECURail Formal Methods Demonstrator".- Formal Design and Validation of an Automatic Train Operation Control System".- "Investigating Human Error within GoA-2 railways".- "A Vision of Intelligent Train Control".- Analysis of Safety-critical Communication Protocols for On-premise SIL4 Cloud in Railways".- "TASC: Transparent, Agnostic, Secure Channel for CBTC under Failure or Cyberattack.
Erscheinungsdatum | 26.05.2022 |
---|---|
Reihe/Serie | Lecture Notes in Computer Science |
Zusatzinfo | XVIII, 239 p. 91 illus., 68 illus. in color. |
Verlagsort | Cham |
Sprache | englisch |
Maße | 155 x 235 mm |
Gewicht | 403 g |
Themenwelt | Mathematik / Informatik ► Informatik ► Datenbanken |
Mathematik / Informatik ► Informatik ► Netzwerke | |
Mathematik / Informatik ► Informatik ► Software Entwicklung | |
Schlagworte | Applications • Architecting • architecture verification and validation • Artificial Intelligence • Computer Hardware • Computer Networks • computer programming • Computer Science • Computer systems • conference proceedings • Embedded Systems • Engineering • Informatics • Internet • Linguistics • Mathematics • Model Checking • Network Protocols • Research • Signal Processing • software architecture • Software Design • Software engineering • Software Quality |
ISBN-10 | 3-031-05813-5 / 3031058135 |
ISBN-13 | 978-3-031-05813-4 / 9783031058134 |
Zustand | Neuware |
Haben Sie eine Frage zum Produkt? |
aus dem Bereich