Ma-Arbeit: Automatisierte Dokumentation Digitaler Zwillinge
Der Begriff des Digitalen Zwillings findet in sehr unterschiedlichen Kontexten Anwendung. Im Rahmen der Modellbildung und Simulation beschreibt ein Digitaler Zwilling einen virtuellen Prototyp, welcher sich in seiner strukturellen Architektur und in seinen Schnittstellen möglichst nicht von seinem realen Gegenstück unterscheidet. In der praktischen Anwendung werden solche Digitalen Zwillinge jedoch schnell umfangreich und komplex. Gleichzeitig besteht der Wunsch, einen einmal erstellen Digitalen Zwilling auch ohne aufwändige manuelle Analyse der inneren Struktur leicht wiederverwenden zu können. Es besteht also ein Bedarf an geeigneten Dokumentationsmöglichkeiten für Digitale Zwillinge als Simulationsmodell.
Ziel dieser Arbeit ist die Entwicklung geeigneter Werkzeuge zur automatisierten Analyse und Dokumentation eines Digitalen Zwillings im virtuellen Testbed VEROSIM. Mit Hilfe der erzeugten Dokumentation soll einem Nutzer die Funktionalität, Schnittstelle und Anwendbarkeit des Modells schnell verständlich gemacht werden. Darüber hinaus sollen durch geeignete Metriken Kennzahlen zur Charakterisierung des Modells automatisiert berechnet werden.
Stichworte: Modellierung, Digitaler Zwilling, Formale Analyse
Betreuer: Dahmen
Weitere Arbeiten
MA: Automatisierung der Verhandlung von digitalen Nutzungsrechten durch Self-sovereign Digital Twins
