Systemanalyse und Modellierung

Das Fachgebiet Systemanalyse und Modellierung des HPI arbeitet im Wesentlichen an der Nutzung von Modellen für software-intensive Systeme zur Entwicklungszeit und Laufzeit. Dies beinhaltet die Spezifikation von dynamischen und flexiblen Systemen, das Lernen von Modellen und Anpassungsstrategien, die Analyse und formale Verifikation von Modellen und die Synthese von Modellen. Die dabei betrachteten Systeme sind typischerweise verteilte Systeme, eingebettete Echtzeitsysteme sowie Systeme, die die Fähigkeit sich selbst anzupassen und zu koordinieren besitzen (Selbstanpassung). Dafür erforscht das Fachgebiet auch Modellanfragen, Modelltransformationen, Modell- und Codegenerierung und Modellintegration zur Entwicklungszeit und Laufzeit.