Donnerstags, 14.00 - 15.30
Otto-Hahn-Straße 14, Raum 104
Zu dieser Vorlesung werden (leider) keine Übungsgruppen angeboten.
Diese Vorlesung gewinnt den Lehrer-Lämpel-Pokal im WS 2007/2008:
Dr. Heiko Falk
Lehrstuhl Informatik 12
Entwurfsautomatisierung für Eingebettete Systeme
Technische Universität Dortmund
Die Bedeutung Eingebetteter Systeme steigt von Jahr zu Jahr. Innerhalb Eingebetteter Systeme steigt der Software-Anteil, der auf Prozessoren ausgeführt wird, aufgrund geringerer Kosten und höherer Flexibilität ebenso kontinuierlich. Wegen der besonderen Einsatzgebiete Eingebetteter Systeme kommen hier hochgradig spezialisierte Prozessoren zum Einsatz, die applikationsspezifisch auf ihr jeweiliges Einsatzgebiet ausgerichtet sind. So werden z.B. oft Digitale Signalprozessoren, Netzwerk-Prozessoren oder Prozessoren mit Parallelverarbeitung auf Instruktionsebene eingesetzt.
Diese hochgradig spezialisierten Prozessoren stellen hohe Anforderungen an einen Compiler, der Code von hoher Qualität z.B. hinsichtlich Laufzeit oder Energieverbrauch generieren soll. Die Vorlesung soll
Das Schwergewicht der Veranstaltung liegt klar auf dem letzten obigen Punkt. Aufgrund der hohen an Compiler für Eingebettete Systeme gestellten Anforderungen sind effektive Optimierungen unerlässlich. Hier soll bspw. darauf eingegangen werden
Da Compiler für Eingebettete Systeme oft verschiedene Zielfunktionen optimieren sollen (z.B. durchschnittliche oder worst-case Laufzeit, Energieverbrauch, Code-Größe), soll der Einfluß von Optimierungstechniken auf diese verschiedenen Zielfunktionen deutlich gemacht werden.
Diese Vorlesung ist für die Master-Studiengänge Informatik der TU Dortmund in dem Modul INF-MSc-410 beschrieben.