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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme


    Additional title:

    Petrinet-based specification of safety relevant train control systems


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


    Publication date :

    2000


    Size :

    17 Seiten, 8 Bilder, 10 Quellen




    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German