AKTUELLE INFORMATIONEN ZUM CORONAVIRUS

Aufgrund der aktuellen Lage mit dem Coronavirus startet das Wintersemester 2020/21 erst am 2.11.2020. Die Veranstaltungen der AG Embedded Systems finden in diesem Semester rein digital (als Screencasts und Zoom-Konferenzen) statt, da die Räume der WWU Münster für Präsenzveranstaltungen (unter Einhaltung der Abstandsregeln) in den ersten drei Semestern benötigt werden. Der Learnweb-Kurs zu "Sicherheit in Eingebetteten Systemen" ist ohne Einschreibeschlüssel geöffnet, bitte schreiben Sie sich dort ein, wenn Sie die Veranstaltung belegen möchten.

Sicherheit in Eingebetteten Systemen

Im Master-Modul Sicherheit in Eingebetteten Systeme (2 V + 2 Ü, 6 LP) werden Methoden und Techniken für den Entwurf und die Analyse sicherer eingebetteter Systeme vermittelt. Die Schwerpunkte liegen auf der formalen Modellierung und Spezifikation von Sicherheit im Sinne von Safety und Security, Analyseverfahren zur Prüfung der Sicherheit in eingebetteten Systemen,  induktiven und kompositionalen Ansätzen zur Verifikation von Sicherheitseigenschaften, Software-basierten Angriffen und Gegenmaßnahmen, Angriffsmodellen und Schutzmechanismen in Cyber-Physical Systems, Sicherheit im „Internet der Dinge“, sowie Sicherheitsstandards in der Industrie.

Vorlesung: Di 10:15 - 11:45 als Screencasts
Beginn: 3.11.2020
Übung: Mo 12:15 - 13:45 als Zoom-Konferenz
Beginn: 9.11.2020
Die Einschreibung ist ohne Einschreibeschlüssel möglich.

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 als Screencasts (Vorlesungen) und Zoom-Konferenzen (Vorträge)
Projektmeetings: Mi 10:15 - 11:45 als Zoom-Konferenz
Projektarbeit: im Projektraum (Corrensstr. 1, Raum 015)
Teilnahme nur mit vorheriger Anmeldung (abgeschlossen am 15.07.2020).

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.

zur Zeit als Zoom-Konferenz
Beginn: fortlaufend (auch in der vorlesungsfreien Zeit)