Komponentenbasierte Synthese von Simulationsmodellen

Fadil Kallat
Lehrstuhl für Software Engineering (Fakultät für Informatik)
Betreuer: Prof. Dr. Jakob Rehof

Das Dissertationsvorhaben untersucht, inwiefern und wie Simulationsmodelle für ausgewählte Simulationsumgebungen durch den Einsatz der Kombinatorischen Logiksynthese und Techniken des Constraint Solvings automatisiert generiert und konfiguriert werden können. Die generierten Varianten sollen im Anschluss durch angebundene Simulationsumgebungen automatisiert ausgeführt werden. Das Vorhaben basiert auf den Vorarbeiten in der ersten Kohorte zur automatisierten Generierung von Planungsworkflows für die Anpassungsplanung (Jan Winkels) und ist methodisch eine konsequente Fortführung der Arbeit.

Fadil Kallat
fadil.kallat@udo.edu