Mündliche Prüfung (bei großer Teilnehmerzahl Klausur), Übungspunkte können als Notenbonus in die Bewertung der Prüfung eingehen

Eingebettete Systeme sind fundamentaler Bestandteil in vielzähligen technischen Systemen und fester Bestandteil des täglichen Lebens geworden, z.B. in der Mobilkommunikation, der Medizintechnik, der Unterhaltungselektronik, im Smart Home, in (voll-)automatisierten Fahrzeugen, der Industrieautomatisierung und im Bereich Internet-of-Things (IoT). Die damit verbundenen umfangreichen Anforderungen an eingebettete Systeme mit den vielfältigen Abhängigkeiten zwischen Software und Hardware erfordern Anwendungsspezifische Entwurfsverfahren für eingebettete Software. In diesem Modul werden Modellierungs-, Analyse- und Implementierungstechniken vorgestellt, die frühzeitig das Zusammenspiel der Software mit der zugrundeliegenden Hardware-Architektur hinsichtlich Performanz, Energieeffizienz, Zuverlässigkeit und funktionaler Sicherheit berücksichtigen. Es werden die aktuellen Forschungs- und Entwicklungstrends im Entwurf eingebetteter Systeme aufgezeigt, um die Studierenden
frühzeitig an ein Thema mit hoher Industrierelevanz eranzuführen, wobei sowohl theoretisches Basiswissen als auch domänenspezifische Anwendungskompetenzen
vermittelt werden.

Dieses Modul versetzt die Studierenden in die Lage, Eingebettete Systeme zu entwickeln und Spezifikationstechniken für Eingebettete Systeme miteinander
zu vergleichen und werden mit für Wissenschaft und Wirtschaft relevanten Problemstellungen aus dem Bereich Eingebetteter Systeme konfrontiert. Die Studierenden kennen die theoretischen Ansätze zur Modellierung und Analyse von eingebetteter Software unter Berücksichtigung von Taskscheduling, Prioritäteninversion, Kommunikationsaufwand sowie der Einflüsse der Hardware-Architektur und können diese auf unterschiedliche praktische Problemstellungen im Entwurf von eingebetteten Softwaresystemen anwenden. Die Übungen werden von den Studierenden in kleinen Gruppen selbstständig
bearbeitet und durch Vorführung der erzielten Ergebnisse Selbstbewusstsein, rhetorische Fähigkeiten und Kritikfähigkeit trainiert.

• O. Bringmann, W. Lange, M. Bogdan: Eingebettete Systeme: Entwurf, Modellierung und Synthese; De Gruyter Oldenbourg, 3. überarbeitete Auflage, 2018.
• P. Marwedel: Embedded System Design – Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things; Springer, 3. Auflage, 2018.
• C. Haubelt, J. Teich: Digitale Hardware/Software-Systeme: Spezifikation und Verifikation; Springer 2010.