Lehrinhalte
Über 98% aller programmierbaren Prozessoren werden in eingebetteten und und cyber-physischen Systemen eingesetzt. Der Software-Anteil in diesen Systemen spielt dabei eine zunehmend größere Rolle. Zum Beispiel betrug in einem PKW gehobener Ausstattung im Jahr 2008 die Größe eingebetteter Software ca. 10 Mio. Lines of Code (LOC), in aktuellen Fahrzeugen sind bereits bis zu 200 Mio. LOC Software enthalten. Ähnlich wie das exponentielle Wachstum im Hardwarebereich mit Moore's Law charakterisiert wird, beobachtet man ein analoges exponentielles Wachstum bei eingebetteter Software.
In der Vorlesung werden Methoden und Techniken des Software Engineering eingebetteter und und cyber-physischer Systeme betrachtet. Schwerpunkte sind Spezifikations- und Programmiermethoden für eingebettete und cyber-physische Systeme (Statecharts, synchrone Sprachen, Programmiermodelle und -schnittstellen), Echtzeitbetriebssysteme, sowie Beispielanwendungen (z.B. Automotive).