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.


    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:

    Petrinet-based specification of safety relevant train control systems


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


    Erscheinungsdatum :

    2000


    Format / Umfang :

    17 Seiten, 8 Bilder, 10 Quellen




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch