Erhöhte Anforderungen an Leistungsfähigkeit und Sicherheit zukünftiger Eisenbahnsicherungssysteme profitieren vom Einsatz formaler Techniken zur effizienten Systementwicklung in diesem Bereich. Betrachtet werden soll hier 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 ist wesentlich, welche Aspekte des Eisenbahnsicherungssystems 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. Petrinetze sind zur Beschreibung des dynamischen Verhaltens eines diskreten Ereignissystems in einer kausal-logischen Struktur geeignet. Bedingungen für das eintreffen eines Ereignisses sind stets erfüllt oder nicht erfüllt.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme


    Additional title:

    Petri net-based specification of safety-relevant railway control systems


    Contributors:
    Einer, S. (author) / Slovak, R. (author) / Schnieder, E. (author)

    Published in:

    Der Eisenbahningenieur ; 51 , 10 ; 40-46


    Publication date :

    2000


    Size :

    7 Seiten, 8 Bilder, 15 Quellen



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    German