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: SRZ 204
Beginn: 08.10.2019

Übung: Mo 12:15 - 13:45 in Raum SRZ 105
Beginn: 14.10.2019

Integrierte Veranstaltung: Mi 14:15 - 15:45 in Raum: SRZ 204
Beginn: 16.10.2019

Learnweb: https://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=39324
Der Einschreibeschlüssel wird in der ersten Vorlesung (am 08.10.2019) bekannt gegeben.

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 im Raum SR 2
Projektmeetings: n.V.

Projektraum: K004 (ab November Corrensstr. 1, Raum 015)
Learnweb: https://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=39145

Teilnahme nur mit vorheriger Anmeldung (bis 10.07.2019 via Learnweb).

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.