Prof. Dr. Holger Giese

Sebastian Wätzoldt

Degree: Master of Science 

System Analysis and Modeling Group
Hasso Plattner Institute for Digital Engineering
University of Potsdam
Prof.-Dr.-Helmert-Str. 2-3
14482 Potsdam, Germany


Phone: +49 (0)331 5509 364
Email: sebastian.waetzoldt[at]hpi.de
Room:  A-E.9

Research Interests

  • Model-Driven Engineering
  • Embedded Real-Time and Cyber-Physical Systems
  • Adaptive Systems of Systems with Models@run.time

PhD Topic

Modeling Collaborations in adaptive Systems of Systems

An increasing demand on functionality and flexibility leads to an integration of beforehand isolated system solutions building a so-called System of Systems (SoS). Furthermore, the overall SoS should be adaptive to react on changing requirements and environmental conditions. Due SoS are composed of different independent systems that may join or leave the overall SoS at arbitrary point in times, the SoS structure varies during the systems lifetime and the overall SoS behavior emerges from the capabilities of the contained subsystems. In such complex system ensembles new demands of understanding the interaction among subsystems, the coupling of shared system knowledge and the influence of local adaptation strategies to the overall resulting system behavior arise.

In my research, I focus on modeling the interactions between system parts inside a SoS in so-called collaborations. Furthermore, on basis of a formal modeling language, I investigate the verification capabilities of the modeled collaborations to detect violations of the interaction specification, coupling of shared knowledge, and correct emergent behavior of the overall SoS. Beside the verification, I gain intention to simulation support for adaptive SoS, where the behavior is specified in form of graph transformation systems.

Current Projects

Teaching Activities


  • Model-Driven Software Engineering for Multi-Core and Cloud Systems (Bachelor Project)


  • Principles of Model-Driven Software Engineering (Seminar)


  • Software Engineering for Embedded Systems (Lecture)


  • Advanced Software Engineering for Embedded Systems (Project Seminar)
  • Implementation and Evaluation of a Story Diagram Interpreter for Embedded Systems (Master Thesis)


  • Software Engineering for Embedded Systems (Lecture)


  • Modellierung II (Lecture)


  • Model-Based Adaptation of Embedded Systems (Master Project)
  • Software Engineering for Embedded Systems (Lecture)


  • Modellierung II (Lecture)
  • Formal Modeling of Collaborations in Self-Adaptive Systems with Timed Automata (Master Thesis)


  • Software Engineering for Embedded Systems (Lecture)
  • An Extensible Simulation Environment for Large-Scale Federations of Autonomous Mobile Systems (Master Project)