Views in the Development of Cyber-Physical Systems
| Typ | Bachelorarbeit | |
|---|---|---|
| Aushang | 2025-12 BA Views-on-CPS.pdf | |
| Betreuer | Wenden Sie sich bei Interesse oder Fragen bitte an: Kevin Feichtinger (E-Mail: kevin.feichtinger@kit.edu, Telefon: +49-721-608-45766), Lars König (E-Mail: lars.koenig@kit.edu) |
Motivation
Modern systems often combine hardware parts with functionality realized in software, and are therefore called Cyber-Physical Systems. Examples of Cyber-Physical Systems are modern cars, production plants, medical devices, but also energy networks. What is common for them, is that they require developers from various domains to work together, such as from mechanical engineering, electrical engineering, and software engineering. As they work on different aspects of the system, the developers use different methods, tools, and formalisms, which we call views on the system under development. In our collaborative research center (CRC) Convide, we investigate how to preserve consistency between views by deriving them on-the-fly from a set of consistent system models.
Task
We collaborate with researchers from mechanical and electrical engineering, who share development methods, tools, and artifacts with us. In this thesis, it will be your task to:
- Collect different view descriptions from different domains in our CRC
- Relate them to an existing set of common system model descriptions (meta-models)
- Implement view derivations using the view definition language NeoJoin
The result should be both an overview of the views used in the different domains, and an evaluation of the capabilities of our view definition language.
Additional Information
Supervision for this thesis can be in German or English.