Mälardalens högskolas logotyp
Mälardalens Högskola Logga

Text

Artificial Intelligence och Intelligent Systems

Automated Software language and Software engineering

Formal Modelling and Analysis of Embedded Systems

Heterogeneous systems - hardware software co-design

Human

Industrial Software Engineering

Model-Based Engineering of Embedded Systems

Political Science

Product and Production Development

Real-Time Systems Design

Simulation and optimisation for future industrial applications (SOFIA)

Software Testing Laboratory

Sustainable lifestyle and health from a public health perspective

Energy efficiency and reduction of emissions

MOMENTUM: analysis of models towards compilation to predictable embedded real-time and safety-critical applications

In MOMENTUM we provide methods to analyse and optimise industrial models, defined in the Unified Modeling Language (UML), in order to make them directly compilable to optimised executables without intermediate translations to conventional programming languages.

Concluded

Start

2017-01-02

Conclusion

2019-12-31

Main financing

The Knowledge Foundation

Collaboration partners

Alten Sverige AB och Saab AB, Avionics Systems

Project manager at MDH

Senior Lecturer

Federico Ciccozzi

+4621151736

federico.ciccozzi@mdh.se

Due to the increasing complexity of software systems, model-driven engineering has been introduced to shift the developer's focus from machine-centric program code to human-centric models of the software under development. In model-driven approaches, program code in conventional programming languages (e.g., C++, Java) is commonly generated from models and then compiled or interpreted. Intermediate translation of models to program code raises two fundamental issues: 1) semantic inconsistency and information loss between an executable and its source model, and 2) suboptimality of executables, since compilers are unable to fully exploit modelling language's semantics. These issues are not tolerable in embedded real-time and safety-critical applications.

In MOMENTUM we provide methods to analyse and optimise industrial models, defined in the Unified Modeling Language (UML), in order to make them directly compilable to optimised executables without intermediate translations to conventional programming languages.

To top