Rechnerstrukturen (Info IV)

Die Vorlesung Rechnerstrukturen (Informatik IV) ist die vierte und letzte Vorlesung des Einführungszyklus im Grundstudium Informatik. Der Schwerpunkt liegt beim Aufbau und der grundlegenden Funktionsweise von Rechnern: Hardwaregrundlagen, Digitale Schaltungen, Rechnerarchitekturen, rechnernahe Programmierung.

Vorlesung: Mo 14:15 - 15:45 M1
Beginn: 08.04.2024

Übungen: Do 12:15 - 13:45, Do 16:015 - 17:45, Fr 10:15 - 11:45, Fr 12:15 - 13:45 und Fr 14:15 - 15:45 (Räume TBA)
Beginn: 11./12.04.2024
Für die Übungen ist eine Anmeldung über das Learnweb erforderlich.

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

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: 09.04.2024

Integrierte Veranstaltung: Do 12:15 - 13:45 in Raum: M4
Beginn: 11.04.2024

Übung: Mo 14:15 - 15:45 in Raum SRZ 202
Beginn: 15.04.2024

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

Projektseminar Entwurf sicherer eingebetteter Systeme

Im Projektseminar "Entwurf sicherer 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 in Raum SRZ 202
Projektmeetings: n.V.

Projektraum: Corrensstr. 1, Raum 015

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

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 10:15 - 11:45 in Raum SRZ 202
Beginn: tba