Im Rahmen des internationalen Projekts AQUAS (Aggregated Quality Assurance for Systems) befasst sich die Hochschule RheinMain mit der Erforschung und Konstruktion von Prozessen zur vereinfachten Entwicklung sicherheitsrelevanter Systemsoftware. „Ziel ist es, einen Prozess zur integrierten Entwicklung und formalen Verifikation von Systemsoftware zu generieren, durch den der Aufwand für die Zertifizierung solcher Software gegenüber bisher bekannten Methoden reduziert werden kann, ohne dabei Abstriche bei der Sicherheitsaussage machen zu müssen“, so Prof. Dr. Robert Kaiser, der am Fachbereich Design Informatik Medien für das Projekt verantwortlich ist. Die Hochschule RheinMain kann in diesem Zusammenhang mit ihrem Forschungshintergrund theoretische Aspekte der Analyse weiterentwickeln und im Rahmen von AQUAS auf kommerzielle Produkte und Erfahrungen anwenden.
Projekt AQUAS
Das Projekt AQUAS ist ein industriegetriebenes Forschungsprojekt mit insgesamt 23 europäischen Partnern unter der Koordination von Thales Alenia Space in Spanien. Mit einen Gesamtvolumen von über 15 Mio. Euro widmet sich AQUAS einer zentralen Herausforderung bei der Entwicklung von softwareintensiven eingebetteten Systemen, deren zunehmenden Konvergenz und der sie umgebenden vernetzten Welt. Gefragt sind neuartige Methoden und Verfahren für eine koordinierte Betrachtung (Co-Engineering) sowie die Sicherstellung dieser Anforderungen. Genau hierauf zielt das Projekt AQUAS durch die Entwicklung eines konzeptuellen Rahmenwerks (Methoden, Analyseverfahren, Werkzeuge) für das Co-Engineering von funktionaler Sicherheit, Datensicherheit und Systemleistung ab.
AQUAs wird im Rahmen der europäischen Technologieinitiative ECSEL JU (Electronic Components and Systems for European Leadership) gefördert, einer öffentlich-privaten Partnerschaft und Teil des europäischen Rahmenprogramms für Forschung und Innovation „Horizont 2020”. ECSEL JU fördert Forschungs- und Innovationsprojekte europäischer Verbundprojekte, die smarte Technologie auf allen Anwendungsfeldern von Mobilität, Gesellschaft, Energie, Gesundheit bis zu Design und Produktion entwickeln.
