Zur Übersicht →
Module 03 / 07

Leistungsfähigkeit und Zulässigkeit sind nicht dasselbe.

Das Framework trennt die Konfigurationsstruktur Φ(cfg), ihre nominelle Obergrenze S̄(cfg) und die aktuelle Überlebensfähigkeit S(t). Eine korrekte Supervisor-Entscheidung braucht alle drei.

Struktur, Obergrenze, aktueller ZustandAbschnitt öffnen
Drei Größen

Struktur, Obergrenze, aktueller Zustand

Das Modell enthält drei verschiedene Größen: Φ(cfg) beschreibt die strukturelle Präsenz von Funktionen; S̄(cfg) ist die nominelle Überlebensfähigkeitsgrenze; S(t) ist der aktuelle Wert im laufenden Betrieb.

0 ≤ S(t) ≤ S̄(cfg) ≤ Φ(cfg) ≤ 1

Ohne diese Trennung würde der Supervisor „strukturell vorhanden“ mit „tatsächlich in ausreichender Qualität verfügbar“ verwechseln.

Quelle in der Dissertation: §§2.6.3–2.6.8, 3.4
Nicht jede vorhandene Konfiguration ist korrektAbschnitt öffnen
Zulässigkeitsbedingungen

Nicht jede vorhandene Konfiguration ist korrekt

Eine ressourcenzulässige Konfiguration darf keine ausgefallene Ressource verwenden. Eine funktional zulässige Konfiguration darf keine Funktion als aktiv deklarieren, für die die Ressourcenabdeckung fehlt.

Adm_Rs(cfg, ρ): jede aktive Ressource hat ρ ≥ ρmin
Adm_F(cfg): jede aktive Funktion hat ausreichende W-Abdeckung
Quelle in der Dissertation: §§2.6.3–2.6.8, 3.4
Optimierung auf einer gefilterten MengeAbschnitt öffnen
DecisionEngine

Optimierung auf einer gefilterten Menge

Die DecisionEngine rangiert nicht blind den gesamten Katalog. Sie arbeitet nur mit der Teilmenge, die die Zulässigkeitsprüfung bereits bestanden hat, und wählt daraus nach Überlebensfähigkeit, Kritikalität, Energie oder anderen Kriterien.

Quelle in der Dissertation: §§2.6.3–2.6.8, 3.4