|Title:||A dependency model for combined use of SysML and Simulink|
It is quite common that companies use model-based development both at a system level and at a more detailed software level, but when multiple modelling languages are used to model different aspects of the system there is typically no straightforward way to keep different models synchronized.
The first goal of this thesis is to propose a way to model the necessary information about how different models depend on each other, in this case the dependencies between a system level SysML model and low-level simulink models. In addition, a first set of synchronization rules should be defined to determine when one of the models is changed in such a way that it is no longer in synch with the other model, and possibly some transformations that can restore synchronization when the changes are minor.
|Prerequisites:||Knowledge of model-based development is needed, including basic meta-modeling. Some experience in model transformation and Eclipse development is useful.|
|IDT supervisors:||Jan Carlson, Federico Ciccozzi, Antonio Cicchetti|