Hasso-Plattner-Institut
Prof. Dr. Holger Giese
 

Current Projects

  • ICT COST Action: Multi-Paradigm Modelling for Cyber-Physical Systems
    Multi-Paradigm Modelling (MPM) proposes to model every part and aspect of a system explicitly, at the most appropriate level(s) of abstraction, using the most appropriate modelling formalism(s). MPM is seen as an effective answer to the challenges of designing Cyber-Physical Systems (CPS).
  • SOAMED
    Service-oriented Architectures for the Integration of Software-based Processes, exemplified by Health Care Systems and Medical Technology.
  • HPI Research School
    The HPI Research School for "Service-Oriented Systems Engineering" is the HPI graduate school, founded in 2005. The branches of the graduate school are in Cape Town, Haifa and Nanjing.
  • CorMorant III: Correct Model Transformations
    The DFG project CorMoran focuses on the verification of model transformations; in particular, formal verification of behavioral equivalence between source and target models of model transformations. CorMoran is a cooperation project of the Technical University of Berlin and Hasso Plattner Institute, which, in the context of the project, focus on data flow models (TUB) and transition models (HPI), respectively.
  • Cyber-Physical Systems Laboratory
    In the cyber-physical systems laboratory, we working, among other, on the composition and system integration, the online reconfiguration as well as the coexistens of hard and soft real-time behavior in embedded robotic systems.
  • CorMorant: Correct Model Transformations
    Up to now, except for some own preliminary work, there is not a lot of work available presenting methods for the formal verification of correctness of a transformation described by model transformations based on graph transformation. We further use graph transformation to specify the model semantics such that we can work with a single formal model for the verification of model transformations.
  • QUANTUM II: Quantitative analysis of service-oreinted real-time systems with structure dynamics
    The goal of the project is to develop new quantitative models and quantitative analysis techniques for service-oriented real-time systems that provide support for structure dynamics, real-time behavior, and uncertainty that are particularly important in the domain of service-oriented real-time systems.
  • miGMM: modular and incremental Global Model Management
    In the context of the miGMM project we are studying the concepts required for the management of a multitude of interrelated models and associated activities such as model transformation. In particular, we focus on achieving a modular and incremental solution that will scale even for large models.
  • MDE Lab: Tools for Model-Driven Engineering
    In the Model-Driven Engineering Lab we are working on tools for model-driven engineering languages and systems. Among these tools, there are an editor and interpreter for Story Diagrams.
  • Model Management 
    A project about management of models.
  • Models@run.time
    In this project we are working on concepts and frameworks for engineering self-adaptive software systems with runtime models.
  • Design Thinking Research: The Design Thinking Methodology at Work
    The methodology of Design Thinking (DT) suggests a repertoire of methods and techniques to solve wicked problems in terms of innovative solutions. In this research proposal, we suggest to investigate how to capture and visualize employed DT methodologies at work to understand them in detail.

Finished Projects