Ba-/Ma-Arbeit: Methoden zur automatisierten Verifikation und Validierung numerischer Simulationsmodelle
Simulationen imitieren reale Prozesse, um das Verhalten zumeist komplexer Systeme vorherzusagen und auf diese Weise virtuell Experimente durchführen zu können, ohne das reale System zu benötigen. Allerdings basiert jede Simulation auf einem Modell, also einem abstrahierten Abbild des zu betrachtenden realen Systems. Falsche Modellannahmen können leicht zu falschen Simulationsergebnissen führen, die im schlimmsten Fall nicht einmal als solche erkannt werden. Um die Ergebnisse einer Simulation richtig interpretieren zu können, muss das Modell an sich überprüft und abgesichert werden. Da dies mit zunehmender Komplexität des Simulationsmodells ebenfalls zunehmend komplex wird, ist es notwendig, geeignete formale Methoden zur automatisierten Verifikation und Validierung zu entwickeln.
Ziel dieser Arbeit ist die Entwicklung einer konkreten Methode zur Vorab-Analyse der Struktur von Starrkörpermodellen. Diese beinhaltet u. a. die Detektion von Konflikten zwischen impliziten und expliziten Kopplungen, die Untersuchung von Unterschieden zwischen den CAD-Geometrien und den Starrkörper-Ersatzgeometrien, sowie eine Überprüfung der Starrkörper-Hierarchie im Modell.
Stichworte: Starrkörpersimulation, Formale Methoden, Verifikation und Validierung
Betreuer: Dahmen
Weitere Arbeiten
MA: Automatisierung der Verhandlung von digitalen Nutzungsrechten durch Self-sovereign Digital Twins
