Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification

Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings

Simon Collart-Dutilleul, Thierry Lecomte, Alexander Romanovsky (Herausgeber)

Buch | Softcover

XIX, 297 Seiten

2019
Springer International Publishing (Verlag)
978-3-030-18743-9 (ISBN)

Artikel merken

This book constitutes the refereed proceedings of the Third International Conference on Reliability, Safety, and Security of Railway Systems, RSSRail 2019, held in Lille, France in June 2019.
The 18 full papers presented in this book were carefully reviewed and selected from 38 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.

Railways System and Infrastructure Advance Modelling.- Scheduling and Track Planning.- Safety Process and Validation.- Modelling.- Formal Verification.- Security.

Erscheinungsdatum	25.04.2019
Reihe/Serie	Lecture Notes in Computer Science
Reihe/Serie	Programming and Software Engineering
Zusatzinfo	XIX, 297 p. 200 illus., 91 illus. in color.
Verlagsort	Cham
Sprache	englisch
Maße	155 x 235 mm
Gewicht	486 g
Themenwelt	Mathematik / Informatik ► Informatik ► Software Entwicklung
Schlagworte	Algorithm analysis and problem complexity • Assurance • Certification • Data Security • dependablity • event-B • Formal Logic • formal methods • interlocking • Model-Checking • Railway • Reliability • Safety • security • Signaling • Software engineering • Software Evaluation • Specifications • Validation • verification
ISBN-10	3-030-18743-8 / 3030187438
ISBN-13	978-3-030-18743-9 / 9783030187439
Zustand	Neuware