Eingebettete Systeme
Dozenten:
Prof. Dr.-Ing. Jürgen Teich, PD Dr.-Ing. Frank 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)
Ort und Zeit der Vorlesung:
Dienstag, 16:15 – 17:45 Uhr, Hörsaal H5
Die erste Vorlesung findet am 18.10.2022 statt.
Ort und Zeit der Übungen:
Mittwoch, 14:15 – 15:45 Uhr, Raum 02.133-128 (Khalil Esper in English, first exercise on October 26, 2022)
Montag, 12:15 – 13:45 Uhr, Raum 02.133-128 (Dominik Walter, erste Übung am 31. Oktober 2022)
Montag, 14:15 – 15:45 Uhr, Raum 0.111-124 (Patrick Plagwitz, erste Übung am 31. Oktober 2022)
Ort und Zeit der erweiterten Übung:
Die erweiterte Übungen finden im Raum 02.133-128 statt.
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:
