MINEStrA: Model Integration for Early Simulation and Analysis

Status:

active

Start date:

2018-01-01

End date:

2021-06-30

Software is becoming an increasingly important factor in modern products, providing more and more innovation and competitive advantages. Moreover, it has enabled the introduction of completely new types of products, for example autonomous and semi- autonomous vehicles. Recent trends, such as digitalization and servitization, add to software complexity by promoting increased connectivity and ability for products to rapidly evolve as the surrounding software ecosystem changes.

Traditional development processes for embedded software, cyclic and following the development of other aspects of the product, are quickly becoming an obstacle, due to the excessive lead time and the difficulties of tracing-back and fixing integration problems discovered at runtime.

With MINEStrA we aim at providing a system integration approach supporting early behavioural analysis and simulation based on executable models. Executable models will be automatically derived from the different views of the system design in order to (i) provide a common denominator for behavioural semantics of the different points of view of the system, and (ii) allow the simulation and analysis of the integrated system behaviour as a whole. This early validation and verification activity permits to identify infeasible configurations and anticipate possible pitfalls in the final system, thus allowing to lower development time and costs. Moreover, back-propagation of analysis results is made easier thanks to the level of abstraction at which the validation is performed. 

[Show all publications]

Modelling multi-criticality vehicular software systems: evolution of an industrial component model (Jun 2020)
Alessio Bucaioni, Saad Mubeen, Federico Ciccozzi, Antonio Cicchetti, Mikael Sjödin
International Journal on Software and Systems Modeling (SoSyM'20)

Towards Engineering Future Gameful Applications (Jun 2020)
Antonio Bucchiarone , Antonio Cicchetti, Annapaola Marconi
2020 IEEE/ACM 42nd International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER)

Component-based development of embedded systems with GPUs (Mar 2020)
Gabriel Campeanu, Jan Carlson, Séverine Sentilles
Journal of Systems and Software (JSS)

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)

The realization of flexible GPU components in Rubus (Jun 2019)
Gabriel Campeanu, Jan Carlson, Séverine Sentilles

Antonio Cicchetti, Associate Professor

Email: antonio.cicchetti@mdh.se
Room: U1-067
Phone: +46-21-151762