Hasso-Plattner-InstitutSDG am HPI
Hasso-Plattner-InstitutDSG am HPI
Login
 

Modellierung eingebetteter Systeme mittels Graphtransformation (Sommersemester 2023)

Lecturer: Prof. Dr. Holger Giese (Systemanalyse und Modellierung) , Dr. Maria Maximova (Systemanalyse und Modellierung) , Dr. Sven Schneider (Systemanalyse und Modellierung)

General Information

  • Weekly Hours: 4
  • Credits: 6
  • Graded: yes
  • Enrolment Deadline: 01.04.2023 - 07.05.2023
  • Teaching Form: Project seminar
  • Enrolment Type: Compulsory Elective Module
  • Course Language: English

Programs, Module Groups & Modules

IT-Systems Engineering MA
Data Engineering MA
  • SYSE: Systems Engineering
    • HPI-SYSE-K Konzepte und Methoden
  • SYSE: Systems Engineering
    • HPI-SYSE-T Techniken und Werkzeuge
  • SYSE: Systems Engineering
    • HPI-SYSE-S Spezialisierung
Software Systems Engineering MA

Description

Motivation:

Eingebettete systeme bestehen aus Softwarekomponenten, die eine physikalische Umgebung beobachten bzw. steuern. Die diskreten Anteile der Zustände solcher eingebetteten Systeme können durch Graphen dargestellt werden. Das Verhalten von solchen eingebetteten Systemen kann dann durch Graphtransformationssysteme beschrieben werden. In diesem Kurs verwenden wir Werkzeuge, um eingebette Systemes mittels Graphtransformationssystemen zu modellieren und zu analysieren.

Ablauf:

Der Kurs beginnt mit einer Einführung von Graphen, Graphtransformationsschritten und Graphtransformationssystemen. Im Rahmen der verschiedenen Projektphasen werden die Studenten in Gruppen oder individuell die präsentierten Konzepte per manueller Berechnung, Implementierung und Verwendung von Werkzeugen nachvollziehen. Die Studenten werden die Ergebnisse der jeweiligen Projektphasen einreichen und anschließend präsentieren. Phase 1 beschäftigt sich mit den Grundlagen der Graphtransformation. Phase 2 beschäftigt sich mit der Modellierung mittels Graphtransformation unter Verwendung des Werkzeugs Groove und der anschließenden Analyse. Phase 3 beschäftigt sich mit der Modellierung mittels probabilistischer zeitbehafteter Graphtransformation unter Verwendung der Werkzeuge Henshin/AutoGraph und der anschließenden Analyse.

Leistungserfassung:

Es müssen folgende Leistungen erbracht werden: Einreichungen zu den Projektaufgaben (müssen bestanden werden), Präsentationen der Projektaufgaben (müssen bestanden werden), mündliche Prüfung zu den Kursinhalten und Projektaufgaben (100% der Gesamtnote).

Termine:

Die angegebenen Termine werden für Vorlesungen, Bearbeitung der Projektaufgaben und Präsentation der Projektaufgaben genutzt. Einzelne Termine werden nach Absprache während der Bearbeitung der Projektaufgaben entfallen. Der erste Termin findet am 18.04.2023 in Präsenz statt. Die Informationen für Zoom-Meetings werden hier veröffentlicht. Die Termine werden als Zoom-Meetings, in Präsenz, oder gemischt durchgeführt.

Zurück