EI – DER EISENBAHNINGENIEUR | Issue 10/2000
Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme*)
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 Spezifikation 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 Spezifikation betrachtet werden müssen und wie diese unter Verwendung von zeitbewerteten Petrinetzen in einem formalen Modell des Systems abgebildet werden können.