Hasso-Plattner-Institut
Prof. Dr. Holger Giese
 

System Analysis and Modeling Group

The System Analysis and Modeling group at the HPI focuses on the use of models for software-intensive systems at development-time and run-time. This subsumes the specification of dynamic and flexible systems, learning models and adaptation policies, analyze and formally verify such models, and model synthesis. The considered systems are typically distributed systems, embedded real-time systems as well as systems that are capable to adapt and coordinate themselves (self-managed). Therefore, the group does further research on model queries, model transformations, model and code generation, and model integration during development-time and run-time. 

Details on distinct topics can be found in our research section.

Fachgebiet 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.

Details zu spezifischen Themen können auf unserer Seite zu Forschung finden.

Hinweis: Alle weiteren Informationen außer dieser Startseite zu unserer Gruppe, Lehre, Forschung, Veröffentlichungen etc. bieten wir nur in Englisch an.

News

29.09.2021

Article Featured by TAAS

ACM Transactions on Autonomous and Adaptive Systems (TAAS) featured the article titled "Improving Scalability and Reward of Utility-Driven Self-Healing for … > Zum Artikel

09.07.2021

Bachelor Project on Mass Casualty Incident Simulation presented

After working on their bachelor project "Human-in-the-loop-Simulation of Mass Casualty Incidents as Training for Emergency Medical Personnel" for two semesters, … > Zum Artikel

25.06.2021

Four papers presented at ICGT 2021

Four full research papers from researchers at the System Analysis and Modeling group have been accepted at the 14th International Conference on Graph … > Zum Artikel