Veröffentlichung

Einer, S.; Slovak, R.; Schnieder, E.:
Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme.
In: VDI, Hrsg.: Sicherheit komplexer Verkehrssysteme 25.-26.05.00, S. 179-195, ''7 2000. Bonn.

Kurzfassung:

Erhöhte Anforderungen an Leistungsfähigkeit und Sicherheit zukünftiger Eisenbahnsicherungssysteme profitieren vom Einsatz formaler Techniken zur effizienten Systementwicklung in diesem Bereich. Dieser Beitrag betrachtet die Aufgabe, formale Techniken bereits in der Entwicklungsphase der Anforderungsspezifikation anzuwenden, mit dem Ziel, frühzeitig die Korrektheit der Anforderungen überprüfen zu können und die Sicherheitsforderungen des Systems auf Anforderungen an einzelne Komponenten zu übertragen. Es wird erläutert, welche Aspekte des Eisenbahnsicherungssystems dazu bereits in der Anforderungsspezifikation betrachtet werden müssen und wie diese unter Verwendung von zeitbewerteten Petrinetzen in einem formalen Modell des Systems abgebildet werden können.