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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme


    Weitere Titelangaben:

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


    Beteiligte:
    Einer, S. (Autor:in) / Slovak, R. (Autor:in) / Schnieder, E. (Autor:in)

    Erschienen in:

    Der Eisenbahningenieur ; 51 , 10 ; 40-46


    Erscheinungsdatum :

    2000


    Format / Umfang :

    7 Seiten, 8 Bilder, 15 Quellen



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch