Modellierung eingebetteter Systeme mittels Graphtransformation (Wintersemester 2021/2022)
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.10.2021 - 22.10.2021
- Teaching Form: Project seminar
- Enrolment Type: Compulsory Elective Module
- Course Language: German
Programs, Module Groups & Modules
- CODS: Complex Data Systems
- HPI-CODS-K Konzepte und Methoden
- CODS: Complex Data Systems
- HPI-CODS-T Techniken und Werkzeuge
- CODS: Complex Data Systems
- HPI-CODS-S Spezialisierung
- APAD: Acquisition, Processing and Analysis of Health Data
- HPI-APAD-C Concepts and Methods
- APAD: Acquisition, Processing and Analysis of Health Data
- HPI-APAD-T Technologies and Tools
- APAD: Acquisition, Processing and Analysis of Health Data
- HPI-APAD-S Specialization
- OSIS: Operating Systems & Information Systems Technology
- HPI-OSIS-K Konzepte und Methoden
- OSIS: Operating Systems & Information Systems Technology
- HPI-OSIS-T Techniken und Werkzeuge
- OSIS: Operating Systems & Information Systems Technology
- HPI-OSIS-S Spezialisierung
- SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-K Konzepte und Methoden
- SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-T Techniken und Werkzeuge
- SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-S Spezialisierung
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.
Coronavirus Situation:
Wir planen vorest alle Termine als Onlinetermine. Dies betrifft insbesondere auch die erste Vorlesung. Hinweis (Stand Mitte September 2021): Es ist derzeit noch offen, inwiefern im Wintersemester Präsenzveranstaltungen möglich sein werden. Die unten stehenden Angaben sind somit unter Vorbehalt. Neue Erkenntnisse und Festlegungen werden auf dieser Webseite bekannt gegeben.
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 04.11.2021 statt. Die Informationen für das Zoom-Meeting werden vorher hier veröffentlicht.
Zurück
