Die Entwicklung von Eisenbahnleitsystemen ist ein evolutionärer Prozess, der durch Erschließen neuer Technologien vorangetrieben wird. Erhöhte Anforderungen an Leistungsfähigkeit und Sicherheit zukünftiger Eisenbahnsicherungssysteme profitieren vom Einsatz formaler Techniken zur effizienten Systementwicklung in diesem Bereich. Der 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 Komponeneten 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 abgebildte werden können. Der vorgestellte Spezifikationsansatz erlaubt es, eine formale Beziehung zwischen dem modellierten Verhalten einzelner technischer Komponenten und dessen betriebliche Auswirkung auf das Gesamtsystem aufzustellen.
Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme
EI - Der Eisenbahningenieur ; 51 , 10 ; 40-46
2000-01-01
7 pages
Article (Journal)
German
© Metadata Copyright Deutsche Bahn AG. All rights reserved.
Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme
Online Contents | 2000
|Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme
Tema Archive | 2000
|Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme
Tema Archive | 2000
|Automotive engineering | 2016
|