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 das Vorhandensein von Defekten vermieden sowie potentielle Verletzungen 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 werden die Anwendungsfälle und Demonstratoren spezifiziert sowie die Anforderungen an die technischen und methodischen Lösungen des Projekts definiert. Methoden und Werkzeuge für skalierbare Null-Fehler-Analysen werden in AP2 für sequentielle Programme und in AP5 für parallele Programme 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 während in AP4 die Synthese vorhersagbarer nebenläufiger Systeme im Vordergrund steht. AP6 dient der Verbreitung und Vorbereitung der Verwertung. AP7 bündelt die Managementaktivitäten.