VDM Verlag Formalbasierte Sicherheitsanalyse im Eisenbahnwesen: Potenziale von Petrinetzen für Beschreibung und Analyse sicherheitskritischer Prozesse und deren Steuerungen

Inhaltlich unveränderte Neuauflage. Wie ist die Sicherheit des Eisenbahnverkehrs definiert? Was ist der Gegenstand seines Risikos und wie kann es quantifiziert werden? Gibt es akzeptierbares Risiko überhaupt? Wenn ja, wie wirkt sich es auf die Sicherheitsanforderungen der den Betrieb steuernden und sichernden technischen Systemen aus? Der Autor Roman Slovák gibt einführend einen Überblick über den legislativen Hintergrund und seinen wichtigsten Vorgaben für die Durchführung einer Sicherheitsanalyse im Eisenbahnbereich. Dann wird das grundlegende Konzept der PROFUND-Methode zur Sicherheitsanalyse von Eisenbahnsystemen erläutert, die die Erfassung aller Einflussfaktoren des Risikos wie technische Ausfälle und menschliches Versagen mit einem einzigen formalen Beschreibungsmittels, den Petrinetzen vorsieht. Nach der Vorstellung des Beschreibungsmittel werden die Modellierungs- und Analysepotentiale im Eisenbahnbereich vorgestellt. Abschließend wird die Anwendung der PROFUND-Methode exemplarisch für die Bestimmung der Sicherheitsanforderungen der Komponenten eines Bahnübergangssicherungssystems dargestellt. Das Buch richtet sich insbesondere an Entscheidungsträger der Eisenbahnunternehmen, -industrie und -zulassungsbehörden sowie an alle, die für die Definition oder Begutachtung der Sicherheitsanforderungen von sicherheitskritischen Prozessen und deren Steuerungen zuständig sind.