Innerhalb des Cockpitassistenzsystems CASSY wird eine Bewertung des Crew-Verhaltens vorgenommen, um zwischen Planeinhaltung, Absicht oder Fehler zu unterscheiden. Diese Bewertung stützt sich auf das Modell eines normativen Referenz-Piloten, das durch Petrinetze dargestellt wird. Die Formulierung und Analyse dieses Pilotenmodells steht im Mittelpunkt des Beitrags. Zunächst wird die zugrundelegende Wissensbasis umrissen und wesentliche Merkmale erläutert. Die Methodik des Modellierungsprozesses, insbesondere die modulare und hierarchische Gliederung der Wissensbasis wird dargestellt und an Beispielen erläutert. Die Anwendung von Analyseverfahren der Petrinetz-Theorie zur Untersuchung von Modelleigenschaften wird näher dargestellt. Es zeigt sich, daß Erreichbarkeitsgraph-basierte Verfahren zur Untersuchung von Teilsystemen gut geeignet sind, eine Analyse des Gesamtsystems jedoch nicht erlauben. Zusätzlich werden spezielle Modelleigenschaften, die den Charakter einer Spezifikation haben, anhand des Erreichbarkeitsgraphen nachgewiesen.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Analyse eines Petrinetz-basierten Pilotenmodells


    Weitere Titelangaben:

    Analysis of a Petri network based pilot model


    Beteiligte:
    Ruckdeschel, W. (Autor:in) / Onken, R. (Autor:in)


    Erscheinungsdatum :

    1995


    Format / Umfang :

    21 Seiten, 9 Bilder, 6 Tabellen, 38 Quellen



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Deutsch





    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

    Einer, S. / Slovak, R. / Schnieder, E. | Tema Archiv | 2000


    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

    Einer, S. / Schnieder, E. / Slovak, R. | Tema Archiv | 2000


    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

    Einer, Stefan / Slovák, Roman / Schnieder, Eckehard | IuD Bahn | 2000