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. Bosch definiert in AP1 verschiedene Anwendungsfälle aus dem Bereich Automotive. Neben Anforderungen werden auch Kriterien definiert, die Verbesserungen der Analysefertigkeiten quantifizierbar machen. In AP3 steuert Bosch methodische Lösungen bei, um statische Analyse effizient in die Gesamtentwicklung zu integrieren. Ebenso trägt Bosch zu Austauschformaten bei. In AP2 werden neue Lösungen entwickelt, nicht-nebenläufige Software mit erhöhter Präzision und im Kontext eines offenen Systems zu untersuchen. Bosch beteiligt sich auch an den Verwertungsaktivitäten (AP6) und Managementaktivitäten (AP7).