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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme



    Erschienen in:

    Erscheinungsdatum :

    2000-01-01


    Format / Umfang :

    7 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Deutsch