ASSUME 2015-2018: Affordable Safe & Secure Mobility Evolution

31. Mai 2018

Gefördert durch BMBF, ITEA 3

Projektpartner

Model Engineering Solutions GmbH (MES) Zur "Über uns"-Seite von MES gehen
u.a. AbsInt Angewandte Informatik GmbH, BTC Embedded Systems AG, Daimler AG, Forschungszentrum Informatik (FZI), Robert Bosch GmbH
Ansprechpartner: Wolfgang Köpf, Daimler AG Mehr Infos erhalten

Projektbeschreibung

Der Schwerpunkt des europäischen Förderprojekts ASSUME konzentrierte sich auf die Erforschung und Entwicklung einer durchgängigen Entwicklungsmethodik und Werkzeugkette. Darüber hinaus zielte es darauf ab, ein neues Absicherungsverfahren für Software zu schaffen. Dieses Verfahren zielt auf Software ab, die auf Multi-Core-Prozessoren ausgeführt wird.

Zielsetzung und Nutzen

MES hat sich hierbei das Ziel gesetzt, neue Wege der eingebetteten Softwareentwicklung für zukünftige Mobilitätslösungen aufzuzeigen. MES entwickelte ein integrierten Frameworks zur ISO-25010-konformen Messung, Bewertung und kontinuierlichen Überwachung der Software- und Produktqualität.

Verwendete Tools:

Der MES Quality Commander^® (MQC) ermöglichte eine automatisierte Qualitätsüberwachung und konsistente Bewertung aller Entwicklungsaktivitäten.
Der MES Model Examiner^® (MXAM) unterstützte automatisierte Richtlinien- und Konformitätsprüfungen.
Der MES M-XRAY® (MXRAY) ermöglichte eine automatisierte Komplexitätsanalyse. Alle MXRAY-Funktionen sind nun in MXAM integriert.

Gemeinsam mit dem Technologiepartner BTC Embedded Systems AG wurde zudem die Formalisierung von Requirements mit Simplified Universal Pattern umgesetzt. Dies ermöglicht viele Anwendungsfälle im Bereich der Verifikation wie Konsistenzprüfungen, automatische Testfall-Generierung, formaler Test oder formale Verifikation.

Das ASSUME-Projekt lieferte somit Lösungen für die Entwicklung sicherheitsrelevanter, leistungskritischer und hochautomatisierter Mobilitätssysteme gebracht.