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.


    Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Analyse eines Petrinetz-basierten Pilotenmodells


    Additional title:

    Analysis of a Petri network based pilot model


    Contributors:
    Ruckdeschel, W. (author) / Onken, R. (author)


    Publication date :

    1995


    Size :

    21 Seiten, 9 Bilder, 6 Tabellen, 38 Quellen



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    German





    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

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


    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

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


    Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme

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