Mündliche Prüfung (bei großer Teilnehmerzahl Klausur)

In dieser Vorlesung werden aktuelle Themen und Trends in der Forschung zu eingebetteten Systemen mit besonderem Schwerpunkt auf Entwurf, Analyse und Verifikation von eingebetteten Systemen und Systems-on-Chip (SoCs) behandelt. Die Vorlesung beginnt mit einer Einführung in die Architekturen eingebetteter Systeme und den Entwurf auf elektronischer Systemebene. Anschließend werden die neuesten Entwicklungen in der Analyse nicht-funktionaler Eigenschaften wie Timing, Verlustleistung und Energieverbrauch diskutiert. Die Vorlesung zur Verifikation befasst sich mit cyber-physischen Systemen, Sicherheitsverifikation und Robustheitsoptimierung von maschinenlernbasierten eingebetteten Systemen. Die Vorlesung behandelt schließlich fortschrittliche Hardware-Architekturen für die stromsparende Implementierung von Deep-Learning-Ansätzen in Hardware. Zwischen den Vorlesungen finden praktische Übungen in Form von Programmieraufträgen statt. Die Dozenten werden die relevanten Grundlagen sowie aktuelle Forschungsergebnisse zu jedem Thema vorstellen.

Die Teilnehmer erwerben vertiefte Kenntnisse zu verschiedenen Aspekten von eingebetteten Systemen sowie die notwendigen Fähigkeiten, um eingebettete Systeme unter Sicherheitsbedingungen zu entwerfen, zu analysieren und zu verifizieren. Sie werden praktische Erfahrungen mit dem Entwurf eingebetteter Systeme sammeln, um häufige Fallstricke zu vermeiden. Die Studenten werden ein tieferes praktisches Verständnis durch die Arbeit an themenspezifischen Programmieraufgaben erlangen.

Will be announced during the first lecture.