ViERforES-II: Vertrauenswürdige Systeme

In diesem Arbeitspaket des Teilprojekts "Vertrauenswürdige Systeme" wird die Zuverlässigkeit eingebetteter Systeme auf Quelltextebene mit Fokus auf Programmverständnis und Wartbarkeit untersucht. Es geht darum, Konzepte und Visualisierungen zur Verbesserung des Programmverständnisses zu untersuchen und zu implementieren. Ergebnis auf dieser Ebene soll eine prototypische Komponente für eine Entwicklungsumgebung sein, in der Konzepte zur optimalen Unterstützung des Programmverständnisses umgesetzt sind. Dadurch sollen z.B. Sicherheitslücken bereits auf Quelltextebene erkannt und behoben werden sowie die Wartung von Software unterstützt werden, sodass Wartungskosten gesenkt werden. Durch umfassende empirische Untersuchungen soll gezeigt werden, dass durch die umgesetzten Konzepte Gefährdungen der Security gesenkt werden können sowie die Wartung von Software veressert wird.