ViERforES-II Vertrauenswürdige Systeme

In diesem Arbeitspaket des Teilprojekts "Vertrauenswürdige Systeme" wird die Zuverlässigkeit eingebetteter Systeme auf Modellebene mit Fokus Security untersucht. Angestrebt wird die Erhöhung der Sicherheit (Security) von eingebetteten Systemen gegen Bedrohungen durch Schadcode auf den Erkenntnissen des Teilprojektes "Sichere Datenhaltung in eingebetteten Systemen" (ViERforES Phase 1). Grundlage bildet hierbei die Analyse der Security-Eigenschaften eingebetteter Systeme für die Phasen der Prävention, der Detektion und des Wiederanlaufs. Aufbauend auf den Eigenschaften von speziellen Trojanischen Pferden sollen Schadcodeeigenschaften formalisiert und modelliert werden, um den Einfluss von Schadcode und die Schadensausbreitung in vernetzten eingebetteten Systemen beurteilen zu können. Mit Methoden des Virtual Engineerings soll des Weiteren die Bedrohungs- und Risikolage und der Einfluss von ausgewählten Securityvorfällen auf Safetyaspekte eingebetteter Systeme für zwei ausgewählte, exemplarische  Anwendungsbereiche (Logistik, Robotertechnik) simuliert werden.

Die in diesem Arbeitsschwerpunkt entwickelten Demonstratoren sollen beispielhaft veranschaulichen, wie in virtuellen Funktionstests die Sicherheit und Zuverlässigkeit zu entwickelnder eingebetteter Systeme bewertet und optimiert werden können. Weiterhin sollen auch multimodale Interaktionsparadigmen, die bei akuter Bedrohung und Gefährdung Einfluss auf die Schadenausbreitung durch Schadcode nehmen können, entwickelt werden.