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
- 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-T Techniken und Werkzeuge
- SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-K Konzepte und Methoden
- SAMT: Software Architecture & Modeling Technology
- HPI-SAMT-S Spezialisierung
- 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
- SSYS: Software Systems
- HPI-SSYS-C Concepts and Methods
- SSYS: Software Systems
- HPI-SSYS-T Technologies and Tools
- SSYS: Software Systems
- HPI-SSYS-S Specialization
- MODA: Models and Algorithms
- HPI-MODA-C Concepts and Methods
- MODA: Models and Algorithms
- HPI-MODA-T Technologies and Tools
- MODA: Models and Algorithms
- HPI-MODA-S Specialization
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
