Hasso-Plattner-Institut für Softwaresystemtechnik
Projekte
Projekte

Laufende Projekte

  • KorMoran: Korrekte Modelltransformationen
    Bislang gibt es bis auf eigene Vorarbeiten keine Arbeiten, in denen Methoden für den formalen Nachweis der Korrektheit einer durch Modelltransformationen beschriebenen Transformation basierend auf Graphtransformationen vorgestellt werden. Wir nutzen Graphtransformationen weiter zur Spefizikation der Semantik von Modellen, um bei der Verifikation von Modelltransformationen mit einem einzigen formalen Modell arbeiten zu können.
  • MDE Lab: Wekzeuge für die Modellgetriebene Softwareentwicklung
    Im Model-Driven Engineering Lab arbeiten wir an Werkzeugen für die modellgetriebene Softwareentwicklung. Dazu gehören unter anderem ein Editor und ein Interpreter für Story Diagramme.
  • TSA: Transformation und Synchronisation von AUTOSAR-Modellen
    Bei der Entwicklung automotiver Systeme wird zunehmend auf modellbasierte Ansätze zurückgegriffen. Dabei werden oftmals unterschiedliche Modellierungssprachen für identische Systembestandteile verwendet. Im Rahmen des Projektes werden, in Kooperation mit der dSPACE-GmbH, Möglichkeiten untersucht wie Modelle des aufkommenden Standards ATUOSAR mit Hilfe von Transformationstechniken automatisiert mit Modellen anderer Modellierungssprachen synchronisiert werden können.
  • Design Thinking Research: Scenario-Based Prototyping for Designing Complex Software Systems with Multiple User
    Das HPI-Stanford Design Thinking Research Program, einer Kooperation zwischen der Stanford School of Engineering und dem Hasso-Plattner-Institut, untersucht die Anwendung der Design Thinking Methode im technischen Bereich der Systementwicklung. In diesem Zusammenhang schlagen wir mit diesem Projekt einen auf Szenarien basierten Prototyping-Ansatz für das Design komplexer Softwaresysteme vor, der u.a. ausführbare Modelle als Prototypen verwendet. In diesem Projekt arbeiten wir mit der D-LABS GmbH und dem Fachgebiet Business Process Technology zusammen.
  • Fujaba - From UML to Java and Back Again
    Fujaba ist ein Open-Source CASE-Tool zur Modellierung mit UML. Es wird von uns im Rahmen der Forschung zur Modell-getriebenen Softwareentwicklung im Bereich eingebetteter Echtzeitsysteme, und zur inkrementellen Modellsynchronisation verwendet.
  • Deployment Model-Driven Architecture (D-MDA)
    Die Konfiguration und Verteilung von  Softwareanwendungen in bereits bestehende IT-Infrastrukturen ist eine Hauptherausforderung für Anbieter von IT Lösungen wie CA. Die Vision von D-MDA soll dieser Herausforderung entgegenkommen, indem es eine kollaborative Umgebung für die systematische Entwicklung von IT Lösungsarchitekturen bietet. Diese Umgebung unterstützt die gemeinsame Nutzung von Wissen bezüglich der Verteilung, Konfiguration und den nicht-funktionalen Anforderungen über die organisatorischen und geografischen Grenzen hinweg.

Abgeschlossene Projekte