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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme



    Published in:

    Publication date :

    2000-01-01


    Size :

    7 pages



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German