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.
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.
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.
Fujaba is an Open Source CASE Tool for modeling with UML. It is used in our research on model-driven software development of embedded real-time systems and incremental model synchronization.
Design Thinking Research: Scenario-Based Prototyping for Designing Complex Software Systems with Multiple Users The HPI-Stanford Design Thinking Research Program, a cooperation between the Stanford School of Engineering and the Hasso Plattner Institute, investigates how the method of Design Thinking can be applied to approaches in the field of systems engineering. In this context, this project proposes a scenario-based prototyping approach for designing complex software systems that uses, among others, executable models as prototypes. Within this project we cooperate with the D-LABS GmbH.
TSA: Transformation and Synchronization of AUTOSAR-Models Within the development process of automotive systems model based approaches are increasingly used. Currently different modeling languages are used inside the same development process which often describes identical parts of the same system. Within this project, in cooperation with the dSPACE-GmbH the possibilities are analyzed how AUTOSAR models could be automatically synchronized with other modeling languages, using transformation techniques.
MDE in der Praxis Ein Projekt zu Erfassung von Fallstudien für MDE-Ansätze und ihrer Evolution bei verschiedenen Firmen.
CRC 614: Subproject B1 Design The Collaborative Research Center 614 ''Self-Optimizing Concepts and Structures in Mechanical Engineering'' aims to create methods and tools for the development of self-optimizing systems in the field of mechanical engineering. In the subproject B1 for software design techniques, we are developing UML-based design techniques for self-optimizing multi-agent systems (MAS) containing mechatronic components.
Performancassessment for automotive Software (PerMAS) The increasing complexity of software developed in the context of automotive systems and the need to show the correctness concerning hard real-time constraints, lead to several problems inside the development process. Typically such systems could be evaluated very late inside the whole development process concerning such real-time properties. Within this project methods and approaches have been investigated to allow an early assessment of performance properties.
Adaptive Access Right Management (AARM) This project deals with experiments to evaluate the potential and options for automatically adapting access rights for artifacts based on artifact usage data.
Design Thinking Research: Connecting Designing and Engineering Activities The different design thinking activities result in numerous analog as well as digital artifacts which capture the working results and are employed as medium to communicate as well as preserve the embodied design decisions, observations or insights. When engineering and also sometimes when revisiting particular design activities the information captured by the artifacts typically handover or maintained is not enough. In addition, former artifacts, their context, dependencies between the artifacts, the design rational and many details that are not available in the artifact itself would be required. However, this information is often hard or impossible to recover.
Deployment Model-Driven Architecture (D-MDA) The configuration and deployment of software applications into existing IT infrastructures is a major challenge for IT solution providers like CA. The vision of D-MDA is to provide a collaborative architectural environment for the systematic development of IT solutions architectures, which supports knowledge sharing regarding deployment, configuration and non-functional requirements across organizational and geographical boundaries.
CorMorant II 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.
Prof. Dr. Holger Giese System Analysis and Modeling Group Tel.: +49 (0)331 5509-366 E-Mail: holger.giese(at)hpi.de Room: A-2.5