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.
Analyse eines Petrinetz-basierten Pilotenmodells
Analysis of a Petri network based pilot model
1995
21 Seiten, 9 Bilder, 6 Tabellen, 38 Quellen
Aufsatz (Konferenz)
Deutsch
Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme
Online Contents | 2000
|Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme
Tema Archiv | 2000
|Petrinetz-basierte Spezifikation sicherheitsrelevanter Eisenbahnleitsysteme
Tema Archiv | 2000
|