Verbundprojekt: Methoden und Softwarelösungen für sichere und leistungsfähige cyber-physische Systeme - AQUAS -; Teilvorhaben: Leistungsverbesserter, toolgestützter Entwicklungsprozess zur integrierten Entwicklung und Verifikation von Systemsoftware

AQUAS stellt sich der Herausforderung, dass auch sicherheitskritische cyber-physische Systeme (CPS) in die vernetzte Welt eingebunden werden sollen. Dazu wird ein ganzheitliches Rahmenwerk (Methoden, Analyseverfahren, Werkzeuge) für das Co-Engineering von funktionaler Sicherheit, Datensicherheit und Systemleistung basierend auf einer detaillierten Bedarfsanalyse einer Reihe von Schlüsselanwendungsgebieten entwickelt. Das AQUAS-Rahmenwerk unterstützt die gesamte Zuliefererkette und die damit notwendige Kommunikation bei der Erstellung des finalen Produkts und berücksichtigt den kompletten Produktlebenszyklus einschließlich der Notwendigkeit von Systemupgrades (Hardware und Software). Das Rahmenwerk wird in den AQUAS-Fallstudien erprobt und evaluiert. Dabei wird die Eignung für das Co-Engineering aufgezeigt und quantitativ und qualitativ nachgewiesen.