Eingebettete Systeme

Diese Veranstaltung ist als Wahlpflichtveranstaltung im Bachelor im Bereich "Praktische Informatik" und im Master wählbar. Sie gibt eine Einführung in das Gebiet "Eingebettete Systeme". Die Schwerpunkte liegen auf Besonderheiten und Definition eingebetteter Systeme, formalen Modellen und Sprachen zur Spezifikation eingebetteter Systeme, Programmiermethoden für eingebettete Systeme, Hardware/Software-Co-Design und Synthese eingebetteter Systeme, Echtzeitbetriebssysteme, sowie Software- und System-Architekturen moderner eingebetteter Systeme.

Vorlesung: Do 10 - 12 im M4
Beginn: 12.10.2023

Übungen:
Mi 10:15 - 11:45 im M3
Di 14:15 - 15:45 (wird nur bei großer Teilnehmerzahl angeboten)
Beginn: 17.10.2023

Learnweb: https://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=71683
Die Einschreibung ist ohne Einschreibeschlüssel möglich.

Projektseminar: Design of a Safe Walking Hexapod Robot

Im Projektseminar "Design of a Safe Walking Hexapod Robot" entwerfen die Studierenden einen sicheren Hexapod (d.h. sechs-beinigen) Roboter. Wir werden sowohl mit Simulink als auch direkt mit der Hexapod-Hardware arbeiten. Besonders spannend dabei wird es sein zu sehen, ob und wie die Modellierung und Simulation in Simulink dabei helfen kann,  die Entwicklung der Robotersoftware zu unterstützen und Lernprozess zu optimieren. Um Sicherheiteigenschaften des Systems zu gewährleisten, legen wir hohen Wert auf Methoden der Qualitätssicherung, wie Simulation, Testen und formale Verifikation. Das Projektseminar deckt daher verschiedenste Bereiche, wie Modellierung, Simulation, Hardware-Entwicklung, Reinforcement Learning und Qualitätssicherung ab. Die Studierenden haben zudem natürlich die Möglichkeit, wertvolle Erfahrungen in der Zusammenarbeit im Team zu sammeln.

Vorträge: Mi 12:15 - 13:45
Projektmeetings: n.V.

Projektraum: Corrensstr. 1, Raum 015

Teilnahme nur mit vorheriger Anmeldung (Anfang Juli).
 

Seminar: Safe & Secure Embedded Systems

Im Seminar erarbeiten sich die Studierenden aktuelle Ansätze zum Entwurf, zur Analyse und zur Verifikation eingebetteter Systeme anhand von wissenschaftlichen Artikeln. Sie stellen die erarbeiteten Ansätze in einem Vortrag vor und fertigen eine schriftliche Ausarbeitung an. Nach einer Einführung und Themenvorstellung finden individuelle Treffen zur Erarbeitung der Themen statt, die Vorträge finden zu einer Blockveranstaltung im Juni statt.

Teilnahme nur mit vorheriger Anmeldung (Anfang Juli).
Learnweb: https://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=71134

Oberseminar der AG Eingebettete Systeme

In Form von Vorträgen und Diskussionen werden ausgewählte Forschungsthemen aus dem Fachgebiet Eingebettete Systeme erörtert. Vortragende sind Mitglieder der Gruppe Eingebettete Systeme, Studierende sowie auswärtige Gäste. Da die Vorträge unregelmäßig stattfinden wird bei Interesse am aktuellen Vortragsprogramm um Anmeldung an paula.herber@uni-muenster.de gebeten.