Zeitbedingungen sind unabhängig: Aufgabe, Reaktion, Sequenz.
Das Framework muss drei unabhängige Zeitprüfungen bestehen: lokale Task-Deadlines, das Ende-zu-Ende-Reaktionsbudget und die minimale Verweildauer zwischen Rekonfigurationen.
Aufgabe, Reaktion, SequenzAbschnitt öffnen
Aufgabe, Reaktion, Sequenz
Das Framework muss drei verschiedene Zeitbedingungen erfüllen: Planbarkeit der Tasks, Ende-zu-Ende-Reaktionsbudget und minimales Intervall zwischen wiederholten Rekonfigurationen.
θ + R_dec + t_hot ≤ t_max(mode)
Δt_reconf ≥ τd
Was für die Referenzimplementierung erreicht wurdeAbschnitt öffnen
Was für die Referenzimplementierung erreicht wurde
Für den Task-Satz des Frameworks ergibt sich eine Gesamtlast U = 0.396 bei einer Grenze von 0.735, und das schlechteste Verhältnis R/D beträgt nur 0.176. Der Task-Satz ist damit mit Reserve planbar.
Die Ende-zu-Ende-Reaktion besteht aus Erkennung, Entscheidung und Hot Switching. Für die Basisausführung ergibt sich t_reaction = 82.30 ms, nach Optimierung 54.80 ms.
Der Engpass ist nicht die DecisionEngine, sondern das UmschaltenAbschnitt öffnen
Der Engpass ist nicht die DecisionEngine, sondern das Umschalten
Die entscheidende Schlussfolgerung lautet: Der Engpass ist nicht der Auswahlalgorithmus, sondern der Übergangsmechanismus t_hot. Um die Anforderung des DEGRADED-Modus zu erfüllen, muss t_hot auf ≤ 30.2 ms reduziert werden.