Materialien
Vorlesungsmaterial
Eingebettete Systeme - Sommersemester 04
Übersicht
| Beschreibung |
Bei der Veranstaltung handelt es sich um eine Spezialvorlesung im Hauptstudium. Die Vorlesung beschäftigt sich mit Methoden, die es ermöglichen, den hohen Anforderungen gerecht zu werden, die Eingebettete Systeme an den Entwurf stellen. Hierzu gehören Anforderungen hinsichtlich Verlässlichkeit sowie Effizienzanforderungen hinsichtlich Größe, Reaktionszeiten, Kosten und Energieverbrauch. Die Vorlesung behandelt u.a. Spezifikationssprachen für eingebettete Systeme, Abbildung von Spezifikationen auf Prozesse, Hardware eingebetteter Systeme, Echtzeitbetriebssysteme und Scheduling, Hardware-/Software-Codesign sowie Verifikations- und Validierungsmethoden für hybride Systeme (d.h. für Systeme, die auf einem Zusammenspiel von diskreten Steuerungseinheiten und kontinuierlichen physikalischen Prozessen beruhen). |
| Kommentar |
Spezialvorlesung im Hauptstudium |