Modeling the MoM 2025 Satellite Configuration Challenge with Vitruvius
Jutz, Benedikt
1; Weber, Thomas
1; Lange, Arne
1; Dehghani, Razieh
1; Jiang, Bowen 1; Armbruster, Martin
1; Feichtinger, Kevin
1; Hagel, Nathan
1; Kaushik, Minakshi 1; König, Lars
1; Mazkatli, Manar
1; Minhas, Muhammad Asim 1; Neumann, Dirk
1; Burger, Erik
1; Koziolek, Anne
1; Reussner, Ralf 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
1; Weber, Thomas
1; Lange, Arne
1; Dehghani, Razieh
1; Jiang, Bowen 1; Armbruster, Martin
1; Feichtinger, Kevin
1; Hagel, Nathan
1; Kaushik, Minakshi 1; König, Lars
1; Mazkatli, Manar
1; Minhas, Muhammad Asim 1; Neumann, Dirk
1; Burger, Erik
1; Koziolek, Anne
1; Reussner, Ralf 11 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)
Abstract (englisch):
We contribute a solution to the Model Management (MoM) Challenge 2025 (https://doi.org/10.5281/zenodo.15285132) with the VITRUVIUS framework.
VITRUVIUS manages multiple models in a so-called Virtual Single Underlying Model.
It maintains consistency between models through preservation rules written in a custom Domain-Specific Language, and projects views defined via view types to interact with the modeled system.
We define Metamodels to model the part catalog, system architecture, and satellite requirements in the challenge. Between the part catalog and system architectures, we also define Consistency Preservation Rules.
Finally, we construct a view type that generates reports as views. With these components, our Virtual Single Underlying Model handles the first three scenarios of the challenge.
In this paper, we also detail our plans to support versioning and collaboration in VITRUVIUS.
We preview future developments, and compare VITRUVIUS to other model management approaches
VITRUVIUS manages multiple models in a so-called Virtual Single Underlying Model.
It maintains consistency between models through preservation rules written in a custom Domain-Specific Language, and projects views defined via view types to interact with the modeled system.
We define Metamodels to model the part catalog, system architecture, and satellite requirements in the challenge. Between the part catalog and system architectures, we also define Consistency Preservation Rules.
Finally, we construct a view type that generates reports as views. With these components, our Virtual Single Underlying Model handles the first three scenarios of the challenge.
In this paper, we also detail our plans to support versioning and collaboration in VITRUVIUS.
We preview future developments, and compare VITRUVIUS to other model management approaches
| Zugehörige Institution(en) am KIT | Institut für Informationssicherheit und Verlässlichkeit (KASTEL) |
| Publikationstyp | Proceedingsbeitrag |
| Publikationsjahr | 2025 |
| Sprache | Englisch |
| Identifikator | KITopen-ID: 1000185171 |
| HGF-Programm | 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems |
| Erschienen in | Second International Workshop on Model Management (MoM), co-located with the 28th International Conference on Model Driven Engineering Languages and Systems (MODELS 2025), Grand Rapids, MI, 5th-10th October 2025 |
| Veranstaltung | 2nd International Workshop on Model Management (MoM), co-located with the 28th International Conference on Model Driven Engineering Languages and Systems (MODELS 2025 2025), Grand Rapids, MI, USA, 05.10.2025 – 10.10.2025 |
| Verlag | Institute of Electrical and Electronics Engineers (IEEE) |
| Projektinformation | SFB 1608/1, 501798263 (DFG, DFG KOORD, SFB 1608) |
| Bemerkung zur Veröffentlichung | in press |
| Schlagwörter | consistency preservation, challenge, change impact analysis, multi-model, model management, validation, view definition |