Systemfunktion Beschreibung

$$Inp : CLCK \times E' \times E \times G \times Q \longmapsto Q$$ (2.36)

1. CLCK+1
2. Entferne aus Q alle Tasks, die fertig abgearbeitet sind
3. Überprüfe alle Tasks in Q bzgl. Deadline. Falls Deadline gebrochen, dann STOP.
4. Bestimme mit $E'$ und der Tabelle $E \times G$ welche neuen Tasks aus $G$ neu in $Q$ kommen; notiere bei jedem Task die aktuelle Zeit $t \in CLCK$ als 'Startzeit'

$$Sched : Q \times \Pi \times CRES \times CLCK \longmapsto Q^{*}$$ (2.37)

1. Berechne mit Hilfe von $\Pi \times CRES \times CLCK$ die Prioritäten für alle Elemente in $Q$ und ordne die Menge entsprechend neu an, so dass $Q^{*}$ entsteht

$$Cpu : Q^{*} \times CRES \longmapsto X$$ (2.38)

1. Nimm aus $Q^{*}$ das Element mit der höchsten Prioriät und nimm das Elementarkommando $c_{i}$, auf das der Brk-Zeiger zeigt
2. Erhöhe $Brk+1$
3. Führe $c_{i}$ aus
4. Falls cmd(Brk) == END dann gibt resp($g_{i}$) aus

Anmerkung: $resp(g_{i})$ ist das letzte Element eines Tasks $g_{i} \in X$, in dem die Art der Sysemantwort kodiert ist.