Eingebettete Systeme
Dozenten:
Prof. Dr.-Ing. J. Teich, Dr.-Ing. F. Hannig
Modulbeschreibung:
Eingebettete Systeme (VU) und
Eingebettete Systeme mit erweiterter Übung (VEU)
Umfang/Stunden:
V2 + Ü2 (zusammen 5 ECTS), mit erweiterter Übung (7,5 ECTS)
Wegen der Corona-Pandemie wird die Lehrveranstaltung bis auf Weiteres „digital“ bzw. „online“ stattfinden. Bitte melden Sie sich bei StudOn (siehe unten) an und Sie werden weitere Informationen zu gegebener Zeit per Email von uns erhalten.
Ort und Zeit der Vorlesung:
Donnerstag, 12:15 – 13:45, Hörsaal H4
Aktuelles:
- 5. November: Beginn der Vorlesung (First lecture)
- 16. November: Beginn der Übung (First exercise)
Ort und Zeit der Übungen (vorläufig):
Montag, 8:30 – 10:00 Uhr, Raum 0.111(Patrick Plagwitz)
Montag, 12:15 – 13:45 Uhr, Raum 02.133-128 (Dominik Walter, voraussichtlich Englisch)
Mittwoch, 14:15 – 15:45 Uhr, Raum 02.133-128 (Peter Brand)
Ort und Zeit der erweiterten Übung:
Ort und Termine werden in der Vorlesung bekannt gegeben
Unterlagen (Folien, Übungen, sonstige Dateien):
Alle Unterlagen zur Vorlesung und Übung finden sich in StudOn
Zielsetzung:
Schwerpunkt der Vorlesung ist der Entwurf und die Implementierung eingebetteter Systeme unter Einsatz formaler Methoden und rechnergestützter Entwurfsverfahren.
Inhalt:
Unter eingebetteten Systemen versteht man Rechensysteme, die auf einen Anwendungsbereich zugeschnitten (z.B. mobile Kommunikationsgröße, Chipkartensysteme, Industriesteuerungen, Unterhaltungselektronik, Medizintechnik) und in einen technischen Kontext eingebunden sind. Das große Interesse am systematischen Entwurf von heterogenen eingebetteten Systemen ist verursacht durch die steigende Vielfalt und Komplexität von Anwendungen für eingebettete Systeme, die Notwendigkeit, Entwurfs- und Testkosten zu senken sowie durch Fortschritte in Schlüsseltechnologien (Mikroelektronik, formale Methoden).
- Eigenschaften eingebetteter Systeme
- Entwurfsmethodik
- Spezifikation eingebetteter Systeme
- Ablaufplanungsverfahren (Scheduling)
- Architektursynthese heterogener Multiprozessorsysteme
- Echtzeitbetriebssysteme
Buch zur Vorlesung:

Cover des Buches Digitale Hardware/Software-Systeme von Jürgen Teich und Christian Haubelt in der 2. Auflage