15. September 2021 – Ein neuer Standard, der aus einem preisgekrönten Forschungsprojekt hervorgegangen ist: Der eFMI-Standard wird die modellbasierte Entwicklung von Embedded Software beschleunigen. Zusammen mit 24 weiteren Partnern aus fünf Ländern weltweit war AbsInt am Forschungsprojekt EMPHYSIS beteiligt, das als eines von vier Projekten mit dem diesjährigen ITEA Award of Excellence ausgezeichnet wurde.
EMPHYSIS (Embedded Systems with Physical Models in the Production Code Software) wurde von Bosch geleitet und war auf eine Laufzeit von dreieinhalb Jahren (September 2017 bis Februar 2021) ausgelegt. Heute wird die gemeinsame Leistung der Projektpartner gewürdigt: Die Schaffung eines globalen Standards für die Smart Industry, des eFMI-Standards (embedded Functional Mock-up Interface), ermöglicht den Austausch digitaler Modelle zwischen Herstellern. Er basiert auf dem weit verbreiteten FMI-Standard und deckt den gesamten Entwicklungsprozess vom physikbasierten Modell bis zum auf einem eingebetteten System laufenden Code ab und ermöglicht so fortschrittliche Steuerungs- und Diagnosefunktionen. Ein neues Projekt der Modelica Association wird eFMI weiterentwickeln, standardisieren und fördern, so dass die Kosten und der Zeitaufwand für die Softwareentwicklung von eingebetteten Systemen erheblich gesenkt werden können, was zu einer Produktivitätssteigerung von bis zu 90 % führt.
Technisch gesehen besteht das Innovative an eFMI darin, dass es ein zielunabhängiges Zwischenformat bereitstellt, das durch eine völlig neue Sprache definiert ist, die Guarded Algorithmic Language for Embedded Control (GALEC). Diese neue Programmiersprache kann garantieren, dass ein in dieser Sprache beschriebener Algorithmus in Code übersetzt werden kann, auf den Folgendes zutrifft:
- statische Berechnung der Ausführungszeit im schlimmsten Fall;
- statische Berechnung des a priori bekannten Speicherbedarfs; und
- Möglichkeit des statischen Nachweises, dass keine illegalen Speicherzugriffe stattfinden.
Mit anderen Worten: Der Code erfüllt nun die harten Anforderungen an sicherheitskritische eingebettete Software im Automobilbereich, was ihn auch für viele andere, weniger regulierte Bereiche wie Robotik, industrielle Anwendungen und Konsumgüter anwendbar macht.
AbsInt hat als Anbieter von Verifikationswerkzeugen mit der Entwicklung eines prototypischen Werkzeuges zur Kopplung von eFMI mit dem statischen Analysator Astrée zu diesem Erfolg beigetragen. Diese Kopplung ermöglicht die automatische Analyse von Code, der eFMI-Komponenten implementiert, mit dem Ziel, die Abwesenheit von Laufzeitfehlern (wie z. B. "index out of bound", "overflow" oder "division by zero") zu beweisen und Verletzungen von Codierungsregeln (wie z.B. MISRA-C-Regeln) zu erkennen. Dieser Beitrag ist ein wichtiger Schritt auf dem Weg zur vollautomatischen eFMI-Verifikation: Die Abwesenheit von kritischen Laufzeitfehlern bei der Ausführung von physikbasierten Modellen, die über eFMI in die eingebettete Software integriert sind, kann nun garantiert werden.
Über ITEA
ITEA ist das Eureka-Cluster-Programm für Software-Innovation, das es einer großen internationalen Gemeinschaft ermöglicht, in geförderten Projekten zusammenzuarbeiten, um innovative Ideen in neue Unternehmen, Arbeitsplätze, Wirtschaftswachstum und Vorteile für die Gesellschaft umzusetzen.
Weitere Informationen finden Sie unter itea4.org.
Für Interviewanfragen und weitere Informationen über ITEA und EMPHYSIS wenden Sie sich bitte an:
- EMPHYSIS-Kontaktperson
Oliver Lenord, Robert Bosch GmbH – Projektleiter
oliver.lenord[at]de.bosch.com - ITEA-Kontaktperson
Linda van den Borne-Toupet
linda.van.den.borne[at]itea4.org
Über AbsInt
AbsInt bietet hochmoderne Entwicklungswerkzeuge für eingebettete Systeme mit Schwerpunkt auf Validierung, Verifizierung und Zertifizierung von sicherheitskritischer und sicherheitsrelevanter Software. Zu den Schlüsselprodukten gehören statische Analysewerkzeuge zur Überprüfung von Codierrichtlinien, zur Timing- und Stack-Use-Analyse und zur Erkennung von kritischen Programmierfehlern in C/C++-Code sowie der formal verifizierte Compiler CompCert.
AbsInt wurde 1998 gegründet und ist ein privates Unternehmen mit Sitz in Saarbrücken, Deutschland. Unsere Kunden kommen aus verschiedenen Industriezweigen, einschließlich der Luft- und Raumfahrt, der Automobilindustrie, dem Gesundheitswesen und dem Energiesektor, und befinden sich in mehr als 40 Ländern auf der ganzen Welt.
Weitere Informationen finden Sie unter absint.com.
Pressekontakt:
Sylvie Tritz
+49 (681) 38 36 00
tritz[at]absint.com
