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

Status:

active

Start date:

2017-01-02

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]

Characterization of trade-off preferences between non-functional properties (Oct 2017)
Ulrik Franke , Federico Ciccozzi
Elsevier Journal on Information Systems (IS)

Towards Seamless Hybrid Graphical-Textual Modelling for UML and Profiles (Jul 2017)
Lorenzo Addazi , Federico Ciccozzi, Philip Langer , Ernesto Posse
13th European Conference on Modelling Foundations and Applications (ECMFA 2017)

Towards a model compilation framework based on a unified model execution semantics (May 2017)
Federico Ciccozzi
39th International Conference on Software Engineering (ICSE17)

Engineering the Software of Robotic Systems (May 2017)
Federico Ciccozzi, Davide Di Ruscio , Ivano Malavolta , Patrizio Pelliccione , Jana Tumova
39th International Conference on Software Engineering (ICSE17)

Editorial to theme issue on model-driven engineering of component-based software systems (Mar 2017)
Federico Ciccozzi, Jan Carlson, Patrizio Pelliccione , Massimo Tivoli
International Journal on Software and Systems Modeling (SoSyM'17)

Model-Driven Engineering for Mission-Critical IoT Systems (Jan 2017)
Federico Ciccozzi, Ivica Crnkovic, Davide Di Ruscio , Ivano Malavolta , Patrizio Pelliccione , Romina Spalazzese
IEEE Software 2017 (IEEE Software)

PartnerType
Alten Sverige AB Industrial
Saab AB, Avionics Systems Industrial

Federico Ciccozzi, Senior Lecturer

Email: federico.ciccozzi@mdh.se
Room: U1-067
Phone: +46 21 151736