Title: A consistency model for models
Subject: Software engineering
Level: Advanced
Description: In model-based development, models are used to describe the system at some level of abstraction. In practice, there often is a clear separation between models that describe the entire system and models that describe the developed software. To ensure the maintainability of the developed software, it is important that the system and software models are synchronized. This is not a trivial task, since the models may exist in different tools and may be expressed in diffrent modeling languages.

The goal of this thesis is to provide support for developers to easily see the degree to which their system and software models are synchronized. To this end, a consistency model should be developed that computes the degree of consistency between SysML (system) models and UML (software) models. As a second step, these computed degrees should be visualized such that the developers have an idea of the consistency between their models.
Start date:
End date:
Prerequisites: Knowledge of model-based development is needed. Some experience in Eclipse development is useful.
IDT supervisors: Robbert Jongeling, Jan Carlson, Federico Ciccozzi, Antonio Cicchetti
Company contact: