Moderne Entwicklungen und Neuerungen im Bereich eingebetteter Systeme verursachen ständig viele neue und interessante Themenbereiche, die im Studium vermittelt werden sollen. Ziel dieses Moduls ist es, moderne Entwicklungen und Konzepte im Bereich eingebetteter Systeme aufzugreifen und so auch aktuelle Trends in die Lehre aufnehmen zu können. Neueste Forschungsthemen, die die Forschungsbereiche des Lehrstuhls Eingebettete Systeme betreffen, werden dargestellt, diskutiert und bewertet. Konkret sollen die Themenbereiche:
- Architekturen eingebetteter Systeme
- Entwurfsverfahren für eingebettete Systeme und
- Verifikationsverfahren für eingebettete Systeme
Im Vordergrund stehen. Die konkreten Inhalte dieser Veranstaltung werden vor Semesterbeginn bekanntgegeben und orientieren sich an aktuellen Gegebenheiten in der Forschung und Entwicklung.
Im Wintersemester 2014/15 wird das Thema "Hardware/Software-Co-Verifikation" behandelt.
Literatur:
* Christian Haubelt und Jürgen Teich: Digitale Hardware/Software-Systeme - Spezifikation und Verifikation, Springer Verlag, ISBN-10: 3642053556, ISBN-13: 978-3642053559, 2010
Anmelderegeln
Diese Veranstaltung gehört zum Anmeldeset "Zeitgesteuerte Anmeldung: Selected Topics in Embedded Systems Design".
