Mit erfolgreichem Abschluss des Moduls besitzen die Teilnehmer Kenntnisse über aktuelle Trends und Entwicklungen im Bereich eingebetteter Systeme und verfügen somit über zukunftsorientiertes  Wissen zum Fachgebiet.

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 folgenden Themenbereiche im Vordergrund stehen:

• Architekturen eingebetteter Systeme
• Entwurfsverfahren für eingebettete Systeme und
• Verifikationsverfahren für eingebettete Systeme

Die konkreten Inhalte dieser Veranstaltung werden vor Semesterbeginn bekannt gegeben und orientieren sich an aktuellen Gegebenheiten in der Forschung und Entwicklung.

Christian Haubelt und Jürgen Teich: Digitale Hardware/Software-Systeme - Spezifikation und Verifikation, Springer Verlag, ISBN-10: 3642053556, ISBN-13: 978-3642053559, 2010

• Vorlesung: Prof. Dr.-Ing. Ch. Haubelt
  Die Folien werden im Stud.IP zur Verfügung gestellt.
• Übung:  M.Sc. Luise Müller
  Übungsblätter werden begleitend im Semester im Stud.IP zur Verfügung gestellt.

Bei Fragen wenden Sie sich bitte an M.Sc. Luise Müller oder an Prof. Dr.-Ing. Ch. Haubelt.

LSF-Server