Modellierung und Analyse von Kommunikation in sicherheitskritischen Systemen basierend auf erweiterten Aufgabenmodellen

Abstract

Die Spezifikation und Analyse von Aufgabenmodellen bekommt eine besondere Bedeutung, wenn sicherheitskritische sozio-technische Systeme untersucht werden sollen. Eine außerordentliche Herausforderung stellt dabei die adäquate Abbildung der Kommunikation unter Berücksichtigung ihrer wichtigsten Parameter dar. In diesem Beitrag wird die Aufgabenmodellierungsumgebung AMBOSS zusammen mit den integrierten Konzepten von Barrieren, Topologie, Akteuren und insbesondere auch des Informationsflusses zwischen den einzelnen Aufgaben, vorgestellt. Zusätzlich werden die in AMBOSS integrierte Simulationsumgebung und deren Vorteile bei der Analyse von komplexen Systemen aufgezeigt. Abschliessend wird ein Rahmenwerk diskutiert, mit dem Kommunikation in Aufgabenmodellen auf deren Schwachstellen hin untersucht werden kann.