Verbundprojekt ASSUME: Affordable Safe & Secure Mobility Evolution

ASSUME entwickelt eine durchgängige Entwicklungsmethodik und Werkzeugkette, um die Verwendung leistungsfähiger Multi-Core Architekturen in Steuergeräten für hochautomatisierte Mobilitätssysteme zu ermöglichen. Das Problem wird sowohl konstruktiv als auch retrospektiv-analytisch adressiert. Zur effizienten top-down Entwicklung und Synthese sicherer eingebetteter Softwaresysteme erforscht und definiert ASSUME neue Werkzeuge, Standards und Methoden. Softwareimplementierungsdetails, die nicht während des Entwurfs adressiert werden können, behandelt ASSUME durch integrierte statische Analysemethoden. Dadurch können Defekte und damit Laufzeitfehler vermieden werden und potentielle Verletzungen funktionaler Anforderungen identifiziert und eliminiert werden. ASSUME wird eine innovative Analyseplattform für die Verifikation sequentieller und nebenläufiger eingebetteter Software zur Anwendung im industriellen Maßstab bereitstellen, die eine verbesserte Integration von Verifikationswerkzeugen und -methoden über Sprach- und Abstraktionsgrenzen hinweg realisiert. Die Plattform integriert verschiedene Modelle anhand formalisierter Prozessschritte entlang des Entwicklungsprozesses für eingebettete Systeme, um Anforderungen, deren Verfeinerung, Implementierung, sowie Verifikations- und Validierungsmaßnahmen miteinander zu verknüpfen. In AP1 entwickelt das FZI einen Showcase, um die Projektergebnisse zu demonstrieren und zu verbreiten sowie die Verwertung vorzubereiten. In AP2 erforscht das FZI Methoden, Modelle und Werkzeuge, um Hardwareeigenschaften in skalierbaren Null-Fehler-Analysen für sequentielle Programme berücksichtigen zu können. Basierend auf den erforschten Modellen werden in AP5 Analysen zur Aufdeckung von Laufzeitfehlern in parallele Programmen auf Multi-Core Systemen erforscht. In AP3 werden Lösungen für die Einbettung der Analysen in Entwurfsmethoden und Standards für die System-Validierung und -verifikation erarbeitet. Das FZI ist nationaler Koordinator.