Vortrag und schriftlicher Projektbericht

Eingebettete Systeme sind zu einem grundlegenden Bestandteil vieler technischer Systeme geworden und sind bereits integraler Bestandteil des täglichen Lebens, z. B. in der mobilen Kommunikation, der Medizintechnik, der Unterhaltungselektronik, in smart homes und autonomen Fahrzeugen sowie in der industriellen Automatisierung und im Internet of Things (IoT). Die vielfältigen Abhängigkeiten zwischen Software und der zugrundeliegenden Hardware-Architektur erfordern einen ganzheitlichen Ansatz bei Entwurf, Analyse und Verifikation von eingebetteten Systemen. Dieses Seminar untersucht Modellierungs-, Analyse- und Verifikationsansätze für verteilte eingebettete Systeme, beleuchtet die neuesten Forschungstrends in der Computerarchitektur und im maschinellen Lernen und diskutiert deren Anwendbarkeit in zukünftigen eingebetteten Systemen. Die Studierenden wählen ein Seminarthema aus der vorgegebenen Themenliste, setzen sich mit dem Thema inhaltlich auseinander und präsentieren die erarbeiteten Inhalte durch eine mündliche Seminarpräsentation und einen schriftlichen Bericht.

Die Studierenden sind in der Lage, aktuelle Forschungsarbeiten auf dem Gebiet der eingebetteten Systeme zu lesen, zu reflektieren und inhaltlich zu prüfen und können die Beiträge einer Arbeit kritisch beurteilen. Sie können aktuelle Forschungsergebnisse vor anderen Studierenden und Forschern präsentieren und Forschungsdiskussionen leiten. Sie können die Ergebnisse von Forschungsarbeiten in Form einer mündlichen Präsentation und eines schriftlichen Berichts zusammenfassen und bewerten.

Will be announced in the pre-lecture meeting.