====== Prüfung Echtzeitsysteme 2014-04-22 ‒ Gedächtnisprotokoll ======
Prüfer: Wolfgang Schröder-Preikschat, Isabella Stilkerich

grobe Übersicht über die gefragten Themen:
  * WCET-Bestimmung: Wie macht man das? Dann Beispiel: Kann man hierfür die WCET bestimmen? Problematiken?
    * Zunächst für einen idealen Prozessor (kein Pipeling, Caches etc.), Code-Ausschnitt i++. Dann nach und nach weiter: if … else … drum herum, Funktionsdefinition, rekursiver Aufruf, Schleifen.
    * Dann Problematiken bei einem realen Prozessor.
  * Wie kann man Echtzeitsysteme kategorisieren?
  * notwendige Bedingungen für Verklemmungen
  * Themengebiet Prioritätsumkehr und Maßnahmen