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

• Model-Driven Engineering of Languages and Systems
  [project description; external MDELab website]
• Adaptation of Embedded Real-Time and Cyber-Physical Systems
  [project description; external CPSLab website]
• Quantitative Analysis of Service-Oriented Real-Time Systems with Structure Dynamics (QUANTUM)
  [project description]

Teaching Activities

2010/11

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

2011

• Principles of Model-Driven Software Engineering (Seminar)

2011/12

• Software Engineering for Embedded Systems (Lecture)

2012

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

2012/13

• Software Engineering for Embedded Systems (Lecture)

2013

• Modellierung II (Lecture)

2013/14

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

2014

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

2014/15

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