Erhöhte Anforderungen an Leistungsfähigkeit und Sicherheit zukünftiger Eisenbahnsicherungssysteme profitieren vom Einsatz formaler Techniken zur effizienten Systementwicklung in diesem Bereich. Es wird die Aufgabe betrachtet, wie formale Techniken bereits in der Entwicklungsphase der Anforderungsspezifikation anzuwenden sind, 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.
Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme
Petrinet-based specification of safety relevant train control systems
Sicherheit komplexer Verkehrssysteme, Safety and Security of Traffic Systems, Tagung, 2000 ; 179-195
VDI-Berichte ; 1546
2000
17 Seiten, 8 Bilder, 10 Quellen
Aufsatz (Konferenz)
Deutsch
Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme
Online Contents | 2000
|Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme
Tema Archiv | 2000
|