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

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.

[Show all publications]

More precise construction of static single assignment programs using reaching definitions (Apr 2020)
Abu Naser Masud, Federico Ciccozzi
Journal of Systems and Software (JSS)

Towards constructing the SSA form using reaching definitions over dominance frontiers (Sep 2019)
Abu Naser Masud, Federico Ciccozzi
IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM)

Executable Modelling for Highly Parallel Accelerators (Sep 2019)
Lorenzo Addazi, Federico Ciccozzi, Björn Lisper
Workshop on Modelling Language Engineering and Execution at IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MLE@MODELS)

Blended Modelling – What, Why and How (Sep 2019)
Federico Ciccozzi, Matthias Tichy , Hans Vangheluwe , Danny Weyns
MPM4CPS workshop (MPM4CPS)

Contents for a Model-Based Software Engineering Body of Knowledge (Aug 2019)
Loli Burgueño , Federico Ciccozzi, Michalis Famelis , Gerti Kappel , Leen Lambers , Sebastien Mosser , Richard F. Paige , Alfonso Pierantonio, Arend Rensink , Rick Salay , Gabriele Taentzer , Antonio Vallecillo , Manuel Wimmer
Springer Journal on Software and Systems Modeling (SoSym)

Resilience of Distributed Student Teams to Stress Factors: a Longitudinal Case-study (May 2019)
Igor Cavrak , Ivana Bosnic , Federico Ciccozzi, Raffaela Mirandola
Information and Software Technology (IST)