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 14:15 - 15:45 im M4
Beginn: 11.10.2022

Übung: Mo 14:15 - 15:45
Beginn: 17.11.2020

Learnweb: https://sso.uni-muenster.de/LearnWeb/learnweb2/course/view.php?id=64776

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 14:15 - 15: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=63194

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=63125

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.