Formalbasierte Sicherheitsanalyse im Eisenbahnwesen

Inhaltlich unvernderte 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 Slovk gibt einfhrend einen berblick ber den legislativen Hintergrund und seinen wichtigsten Vorgaben fr die Durchfhrung einer Sicherheitsanalyse im Eisenbahnbereich. Dann wird das grundlegende Konzept der PROFUND-Methode zur Sicherheitsanalyse von Eisenbahnsystemen erlutert, die die Erfassung aller Einflussfaktoren des Risikos wie technische Ausflle und menschliches Versagen mit einem einzigen formalen Beschreibungsmittels, den Petrinetzen vorsieht. Nach der Vorstellung des Beschreibungsmittel werden die Modellierungs- und Analysepotentiale im Eisenbahnbereich vorgestellt. Abschlieend wird die Anwendung der PROFUND-Methode exemplarisch fr die Bestimmung der Sicherheitsanforderungen der Komponenten eines Bahnbergangssicherungssystems dargestellt. Das Buch richtet sich insbesondere an Entscheidungstrger der Eisenbahnunternehmen, -industrie und -zulassungsbehrden sowie an alle, die fr die Definition oder Begutachtung der Sicherheitsanforderungen von sicherheitskritischen Prozessen und deren Steuerungen zustndig sind.