Die zunehmende Vernetzung und Autonomie von Fahrzeugen stellt die Gewährleistung von Sicherheit vor neue Herausforderungen.
DFKI GmbH + iStock.com/the-lightwriter
Das Verbundprojekt Satisfy ("Frühzeitige Validierung von Safety- und Security-Anforderungen in autonomen Fahrzeugen") ist gestartet. Darin arbeitet ein Konsortium unter Koordination des Forschungsbereichs Cyber-Physical Systems des Deutschen Forschungszentrums für Künstliche Intelligenz (DFKI) an Lösungen, welche die Sicherheit der Gesamtfunktionen in autonomen Fahrzeugen bereits während der Entwicklung gewährleisten sollen. Das Projekt wird vom Bundesministerium für Bildung und Forschung (BMBF) mit rund 4,2 Millionen Euro gefördert.
Die Verbundpartner wollen Techniken entwickeln, mit denen sich bereits im Entwicklungsstadium Safety- und Security-Anforderungen sowohl auf Hardware- als auch auf Softwareebene gesamtheitlich erfassen und formal überprüfen lassen. Auf diese Weise soll bereits vor der finalen Integration eine verlässliche Sicherheitsaussage für die gesamte Wirkungskette getroffen werden können.
Adaptive Sicherheitskonzepte
Der DFKI-Forschungsbereich Cyber-Physical Systems will dafür gemeinsam mit den Verbundpartnern adaptive Sicherheitskonzepte erarbeiten, die flexibel auf neue Gegebenheiten durch Ausfälle und Angriffe reagieren können. Hierbei entwickeln die Wissenschaftler ein Framework, durch den sich sicherheitsrelevante IT-Architekturen sowohl frühzeitig im Entwurfsprozess als auch dynamisch zur Systemlaufzeit überprüfen lassen. Dafür modifizieren und integrieren sie bereits existierende Sicherheitsarchitekturen dahingehend, dass diese im Gesamtkontext des Frameworks durch formale Argumente und Komposition eine hinreichende Aussage über die erreichte Sicherheit, Resilienz beziehungsweise das Restrisiko gegenüber absichtlichen Angriffen und unabsichtlichen Einwirkungen ermöglichen. In Simulationsumgebungen sollen Einzelkomponenten und Subsysteme zusätzlich in einem hierarchischen Prozess überprüft werden, um daraus Rückschlüsse für das gesamtheitliche Sicherheitskonzept generieren zu können.