Project EMPHYSIS wins ITEA Award of Excellence - AbsInt’s Contribution
A new standard stemming from an award-winning research project: The eFMI standard will accelerate the model-based development of embedded software. As one of 25 partners from five countries around the world, AbsInt took part in the research project EMPHYSIS, one of four projects to win this year’s ITEA Award of Excellence.
EMPHYSIS (Embedded Systems with Physical Models in the Production Code Software) was led by Bosch and set out to last for three and a half years (September 2017 to February 2021). Today, the joint achievement of the project partners is honored: The creation of a global standard for smart industry, the eFMI standard (embedded Functional Mock-up Interface), allows digital model exchange among manufacturers. It is based on the widespread FMI standard and covers the entire development process from a physics-based model to code running on an embedded system, thus enabling advanced control and diagnosis functions. A new Modelica Association project will further develop, standardize and promote eFMI, so that cost and time for the software development of embedded systems will be significantly reduced — resulting in up to 90% gains in productivity.
Technically speaking, what is innovative about eFMI is that it provides a target-independent intermediate format defined by an entirely new language, the Guarded Algorithmic Language for Embedded Control: GALEC. This new programming language is able to guarantee that an algorithm described in this language can be translated into code that has:
- static worst-case execution time;
- static a-priori known memory demand; and
- can be statically proven to have no illegal memory access.
In other words: The code now satisfies the hard requirements of automotive safety-critical embedded software, which makes it also applicable to many more, less regulated domains like robotics, industrial applications, and consumer goods.
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.
AbsInt contributed to this achievement as a verification tool provider by developing a prototypical tool for coupling eFMI with the static analyzer Astrée.This coupling enables the automatic analysis of code implementing eFMI components with the goal of proving the absence of runtime errors (such as "index out of bound", "overflow", or "division by zero") and detecting violations of coding rules (such as MISRA-C rules). This contribution is an important step towards fully automated eFMI verification: the absence of critical runtime errors in the execution of physics-based models that are integrated in the embedded software via eFMI can now be guaranteed.
This news article was also published in the following media: