Sie sind hier: Startseite » EDV / Informatik

Reliability, Safety, and Security of Railway Syste

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification
Third International Conference, RSSRail 2019, Lille, France, June 4–6, 2019, Proceedings
Urheber: Collart-Dutilleul, Simon / Lecomte, Thierry / Romanovsky, Alexander
ISBN-13 978-3-030-18743-9
Verlag: Springer International Publishing
Erscheinungstermin 23.04.2019
Anzahl Seiten XIX / 297

Dieses Buch stellt den Schiedsrichterbericht der Dritten Internationalen Konferenz über Zuverlässigkeit, Sicherheit und Gefahrenabwehr von Eisenbahnsystemen, RSSRail 2019, dar, die im Juni 2019 in Lille, Frankreich, stattfand. Die 18 vollständigen Beiträge in diesem Buch wurden sorgfältig geprüft und aus 38 Einreichungen ausgewählt. Sie decken eine Reihe von Themen ab, darunter Vorabmodellierung von Eisenbahnsystemen und Infrastrukturen, Terminplanung und Gleisplanung, Sicherheitsprozess und -validierung, Modellierung, formale Verifikation und Sicherheit.

Inhalt:
Software Engineering
Computerprogrammierung und Softwareentwicklung
Algorithmen und Datenstrukturen
Compiler und Übersetzer
Programmier- und Skriptsprachen, allgemein
Theoretische Informatik
Rechnerarchitektur und Logik-Entwurf
Computermodellierung und -simulation


Verzahnung, Sicherheit, Softwarebewertung, Event-B, formale Methoden, Zuverlässigkeit, Zuverlässigkeit, Sicherheit, Eisenbahn, Spezifikationen, Verifikation, Software-Engineering, Datensicherheit, Modellprüfung, Zertifizierung, formale Logik, Sicherheit, Validierung, Signalisierung, etc.