Ma-Arbeit: Automatisierte Generierung von Simulationsszenarien auf Basis formaler Modellspezifikationen
Mithilfe einer Simulation werden reale Prozesse imitiert, um das Verhalten zumeist komplexer Systeme vorhersagen und auf diese Weise virtuell Experimente durchführen zu können, ohne das reale System zu benötigen. Zur Definition eines Simulationsexperimentes wird eine entsprechende Spezifikation benötigt, auf deren Basis das ausführbare Simulationsmodell implementiert wird. Diese Übertragung ist typischerweise fehleranfällig, weshalb das Modell im Anschluss gegen die Spezifikation verifiziert werden muss. Da dies mit zunehmender Komplexität des Simulationsmodells ebenfalls zunehmend komplex wird, ist es erstrebenswert, den Prozess der Modellgenerierung zu formalisieren und automatisieren.
Ziel dieser Arbeit ist die Entwicklung einer solchen formalen Prozesskette, beginnend mit der Entwicklung geeigneter Spezifikationsmethoden auf Basis von SysML (Schnittstelle zum Systems Engineering), sowie anschließender Übersetzung in ausführbare Simulationsmodelle. Dabei sollen verschiedene Simulationsumgebungen betrachtet werden (z. B. VEROSIM, MODELICA oder MATLAB).
Stichworte: Systems Engineering, Spezifikation, Verifikation
Betreuer: Dahmen
Weitere Arbeiten
MA: Automatisierung der Verhandlung von digitalen Nutzungsrechten durch Self-sovereign Digital Twins
