Verbundprojekt: Security for Connected, Autonomous caRs - SecForCARs -; Teilvorhaben: Modellbasierte Kopplung von Security - und Safety-Analysen für vernetzte, autonome Fahrzeuge

Die Arbeitsgruppe Secure Systems Engineering am Institut für Informatik der Freien Univer-sität Berlin (FUB) untersucht in dem Projekt SecForCARs insbesondere das Zusammenwirken von Securty- und Safety-Aspekten und ihre systematische Berücksichtigung während der Entwicklung von CARs. Dafür wird als Ansatz die Modellierung von Security- und Safety-Aspekten von CARs in domänenspezifischen Notationen gewählt. Auf dieser Grundlage werden Möglichkeiten zur Kopplung von Security- und Safety-Analysen untersucht und entwickelt. Ziel ist es, mit beherrschbarer Komplexität und begrenztem Aufwand Security- und Safety-Eigenschaften unabhängig und in Wechselwirkung während der Entwicklung systematisch analysieren zu können. Die modellbasierte Kopplung von Security- und Safety-Analysen wird dann unter anderem in das Risiko-, Anforderungs- und Testmanagement eingebracht, um die Anforderungsanalyse zu unterstützen, Vergleichbarkeit und Abdeckung von Sicherheitstests zu ermöglichen und Auswirkungen von Cyberangriffen relevant bewerten zu können. Ebenso stellt die modellbasierte Kopplung Konzepte und Relationen für die Erforschung von Werkzeugen für integrierte Sicherheitsanalysen und -tests von CARs bereit.