V-SUMM Based Consistency Checking for Evolving Models
|
Typ | Masterarbeit |
|---|---|---|
| Aushang | Consistency Checking.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Minakshi Kaushik (E-Mail: minakshi.kaushik@kit.edu) |
Motivation
In complex systems engineering, multiple models are used to represent different aspects of a system, such as requirements, structure, and behavior. As these models evolve independently, inconsistencies naturally arise, leading to potential errors and integration problems. The Virtual Single Underlying Model (V-SUMM) concept provides a unifying framework to represent and link heterogeneous views. Automating consistency checking within V-SUMM can significantly reduce manual effort and improve model reliability, providing both a practical solution and a research contribution in the domain of multi-view modeling and model evolution.
Tasks
The student will design and implement an automated consistency checking framework based on V-SUMM that can handle evolving multi-view models. This includes analyzing small but representative multi-view models, formalizing correspondences between model elements, and defining consistency rules that detect conflicts, missing links, and structural inconsistencies. The student will develop a prototype tool in a suitable language, test it on evolving models over multiple versions, and document its effectiveness in detecting inconsistencies. Evaluation will include reporting detected inconsistencies, assessing accuracy, and demonstrating the tool on a realistic case study.
Benefits
- Gain hands-on experience in multi-view modeling, automated analysis, and prototype development.
- Learn basic consistency-checking methods and tool support.
- Opportunity to contribute to active research at KIT.