Echtzeitsysteme sind Computer Systeme, deren Korrektheit nicht nur über das korrekte Ergebnis einer Berechnung, sondern auch über das korrekte Zeitverhalten definiert wird. Vereinfacht gesagt: Wenn ein eingebettetes System zu spät reagiert, ist es genauso unbrauchbar, wie wenn es gar nicht oder falsch reagiert hätte. Ein Airbag zum Beispiel sollte aufgehen, bevor der Kopf des Fahrers auf das Lenkrad knallt. Ein selbstfahrendes Fahrzeug muss ebenso rechtzeitig autonom bremsen, bevor ein Unfall geschehen ist, und eine Kaffeemaschine sollte aufhören Kaffee auszuschenken, bevor die Tasse überläuft.
In dieser Vorlesung beschäftigen wir uns mit dem Zeitverhalten eben solcher eingebetteter Echtzeitsysteme. Wir lernen wie wir das Zeitverhalten dieser Systeme beeinflussen und validieren können und wir lernen, welchen Einfluss verschiedene Entwurfsentscheidungen auf das Zeitverhalten haben.
