Text

Automatiserade mjukvaruspråkutveckling och mjukvaruteknik

Säkerhetskritisk teknik

Förnybar energi

Komplexa inbyggda system i realtid

Industriell programvaruteknik

Resurseffektivisering

Tillförlitlig programvaruteknik

Teknisk matematik

Statsvetenskap

Digitalisering

Lärande och optimering

Modellbaserad konstruktion av inbäddade system

Medicinsk teknik

Artificiell intelligens och intelligenta system

Cyber-fysisk systemanalys

Datakommunikation

Certifierbara bevis och justifieringsteknik

Formell modellering och analys av inbyggda system

Heterogena system

Produkt- och produktionsutveckling

Programvarutestlaboratorium

Programmeringsspråk

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.

Projektansvarig vid MDU

No partial template found

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.

Till toppen