Übersicht - Selected Topics in Embedded Systems Design

Lehrender: Prof. Haubelt
Semester: Winter-Semester
SWS: 3 Vorlesungen, 1 Übung
LP: 6
Prüfung: mündliche Prüfung, 30 Minuten
Voraussetzungen:
LSF-Nummer: 24508
Systemnummer: 1351200

Ziel

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.

Inhalt

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 bekannt gegeben und orientieren sich an aktuellen Gegebenheiten in der Forschung und Entwicklung.

Literatur

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

Material zur Vorlesung und Übung

Bei Fragen wenden Sie sich bitte an M.Sc. Kai Neubauer oder an Prof. Dr.-Ing. Ch. Haubelt.

LSF-Server

LSF-Server