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 |
| Informationen gemäß Produktsicherheitsverordnung (GPSR) | |
| Haben Sie eine Frage zum Produkt? |
aus dem Bereich
