Qualitätsorientierter Entwurf eingebetteter Systeme

Im Master-Modul Qualitätsorientierter Entwurf Eingebetteter Systeme (4 V + 2 Ü, 9 LP, wird als 2 V + 2 Ü + 2 IV durchgeführt) werden Methoden und Techniken für den qualitätsorientierten Entwurf eingebetteter Systeme vermittelt. Die Schwerpunkte liegen auf der formalen Modellierung und Spezifikation eingebetteter Systeme, qualitätsorientierten Entwurfsprozessen für eingebettete Systeme, computer-gestützter Verifikation eingebetteter Systeme, z.B. via Model Checking, Automatischem Theorembeweisen, SAT und SMT solving, Analysetechniken und Testautomatisierung. Die Studierenden erarbeiten sich außerdem aktuelle Ansätze zum qualitätsorientierten Entwurf eingebetteter Systeme anhand von wissenschaftlichen Artikeln.

Vorlesung: Di 10:15 - 11:45 in Raum: M6
Beginn: 12.10.2021

Integrierte Veranstaltung: Mi 10:15 - 11:45 in Raum: M6
Beginn: 13.10.2021

Übung: Mo 12:15 - 13:45 in Raum SRZ 18
Beginn: 18.10.2021

Learnweb: https://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=56226
(ohne Einschreibeschlüssel)

Projektseminar Entwurf eingebetteter Systeme

Im Projektseminar "Entwurf eingebetteter Systeme" entwerfen die Studierenden ein vernetztes und verteiltes eingebettetes System. Als Experimentier-Plattform dienen dabei zum Beispiel Lego Mindstorm Roboter. Das Projektziel kann zum Beispiel sein, dass 3-4 Lego Mindstorm Roboter kooperativ ein unbekanntes Gebiet erforschen, Objekte aus einem Katastrophengebiet evakuieren, Hilfsgüter einsammeln und verteilen, oder die Quelle von Hilfe-Rufen in einem bekannten Gebiet suchen. Da die Projektaufgabe verschiedene Bereiche betrifft (Bau der Roboter, Motorsteuerung und Sensorik, Kommunikation, Suchalgorithmen, ggf. auch Bilderkennung), lässt sie sich hervorragend im Team lösen - die Studierenden können daher auch wertvolle Erfahrungen zur Teamarbeit und dem Projektmanagement sammeln.

Vorlesung und Vorträge: Di 12:15 - 13:45
Projektmeetings: n.V.

Projektraum: Corrensstr. 1, Raum 015

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

Oberseminar "Eingebettete Systeme - Aktuelle Forschungsthemen"

Im Oberseminar der AG Embedded Systems 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.

Mo 14:15 - 15:45
Beginn: 11.10.2021