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]

Detecting Inconsistencies in Annotated Product Line Models (Oct 2020)
Damir Bilic, Jan Carlson, Daniel Sundmark, Wasif Afzal, Peter Wallin
Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A (SPLC 2020)

Using Benji to Systematically Evaluate Model Comparison Algorithms (Oct 2020)
Lorenzo Addazi, Antonio Cicchetti
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)

Papyrus for gamers, let’s play modeling (Oct 2020)
Antonio Bucchiarone , Maxime Savary-Leblanc , Xavier Le Pallec , Jean-Michel Bruel , Antonio Cicchetti, Jordi Cabot , Sebastien Gerard , Hamna Aslam , Annapaola Marconi , Mirko Perillo
ACM/IEEE 23rd International Conference on Model Driven Engineering Languages and Systems (MODELS '20)

Run-time and Collective Adaptation of Gameful Systems (Sep 2020)
Antonio Bucchiarone , Nelly Bencomo , Enrica Loria , Annapaola Marconi , Antonio Cicchetti
2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems Companion (ACSOS-C)

Theme section on Interplay of Model-Driven and Component-Based Software Engineering (Sep 2020)
Federico Ciccozzi, Antonio Cicchetti
Software and Systems Modeling (SoSym)

Systematic Evaluation of Model Comparison Algorithms using Model Generation (Jul 2020)
Lorenzo Addazi, Antonio Cicchetti
16th European Conference on Modelling Foundations and Applications (ECMFA) (JOT-ECMFA20)

Antonio Cicchetti, Associate Professor

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