Building a V-SUM for a Brake System
|
Typ | Hilfskräfte |
|---|---|---|
| Aushang | BrakeSystemVSUMStudentAssistant.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Kevin Feichtinger (E-Mail: kevin.feichtinger@kit.edu, Telefon: +49-721-608-45766), Minakshi Kaushik (E-Mail: minakshi.kaushik@kit.edu) |
Background
Vitruvius is a framework for the view-based development of cyber-physical systems. It combines separate models into a Virtual Single Underlying Model (V-SUM), that can be used to develop the system in its entirety. V-SUMs adhere to V-SUM metamodels (V-SUMMs). These are defined with metamodels for the single underlying models, that describe the valid model instances, Single metamodels are then connected through consistency preservation rules, that maintain consistency and allow the system to be built. View Definitions then provide tailored views, or parts of the V-SUM, for each developer to work on.
Task Description
Within the CRC 1608 ”Convide”, there exist multiple, disparate case studies about the consistent development of a brake system. As student assistant, you will aid in the development of a V-SUM to be used as a common case study. It will ease collaboration between the single projects of the CRC, and show the feasibility of the Vitruvius approach.
Possible tasks are:
- Create EMF metamodels that do not exist yet, and document existing metamodels.
- Create underlying models for the V-SUM.
- Write CPRs in the Reactions language, and test their correctness.
- Write view definitions in the NeoJoin language, and test their suitability.