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

Status:

active

Start date:

2017-01-02

End date:

2019-12-31

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]

Towards a Body of Knowledge for Model-Based Software Engineering (Oct 2018)
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
Educators Symposium 2018 (EduSymp18)

How do we teach Modelling and Model-Driven Engineering? A survey (Oct 2018)
Alfonso Pierantonio, Federico Ciccozzi, Michalis Famelis , Gerti Kappel , Sebastien Mosser , Richard F. Paige , Arend Rensink , Rick Salay , Gabriele Taentzer , Antonio Vallecillo , Manuel Wimmer
Educators Symposium 2018 (EduSymp18)

Static Flow Analysis of the Action Language for Foundational UML (Oct 2018)
Jean Malm, Federico Ciccozzi, Jan Gustafsson, Björn Lisper, Jonas Skoog
International Conference on Emerging Technologies and Factory Automation (ETFA'18)

UniComp: a semantics-aware model compiler for optimised predictable software (May 2018)
Federico Ciccozzi
International Conference on Software Engineering (ICSE) 2018 - New Ideas and Emerging Results (NIER) (ICSE-NIER18)

Managing diversity in distributed software development education – a longitudinal case study (Apr 2018)
Ivana Bosnic , Federico Ciccozzi, Ivica Crnkovic, Igor Cavrak , Elisabetta Di Nitto , Raffaela Mirandola , Mario Zagar
ACM Transactions on Computing Education - Special Issue on Global Software Engineering Education (TOCE)

A Generic Approach to Efficiently Parallelize Legacy Sequential Software (Apr 2018)
Andreas Granholm , Federico Ciccozzi
15th International Conference on Information Technology : New Generations (ITNG'18)

PartnerType
Alten Sverige AB Industrial
Saab AB, Avionics Systems Industrial

Federico Ciccozzi, Associate Professor

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