Zur Übersicht →
Modul 02 / 04

Messen, was die aktuelle Architektur noch leisten kann.

Die ursprüngliche Forschungsfrage lautete: „Welche zulässige Konfiguration hat jetzt den besten Score?“ Das bleibt nützlich, ist aber nicht mehr das vollständige Entscheidungsproblem.

Messen, was die aktuelle Architektur noch leisten kann.Abschnitt öffnen
Leistungsfähigkeit

Messen, was die aktuelle Architektur noch leisten kann.

\[ W=B\,V, \qquad W_j(cfg)=\sum_{i\in R(cfg)} w_{ji}. \] Die Ressourcen-zu-Funktions-Einflussmatrix wird aus der Architektur über Servicekomposition und Ressourcenverbrauch abgeleitet.
\[ \varphi_j(t,cfg)=W_j(cfg)\!\prod_{i\in R(cfg)}\rho_i(t)^{w_{ji}/W_j(cfg)}, \qquad S(t)=\sum_j \alpha_j\,\delta_j(cfg)\,\varphi_j(t,cfg). \] Die geometrische Form ist bewusst nicht kompensatorisch: Eine kritische Ressource kann nicht durch gesündere, aber irrelevante Ressourcen verdeckt werden.

Die ursprüngliche Forschungsfrage lautete: „Welche zulässige Konfiguration hat jetzt den besten Score?“ Das bleibt nützlich, ist aber nicht mehr das vollständige Entscheidungsproblem.

Neue Frage

Welche Folge verifizierter Konfigurationen erhält über die Zeit die größte Missionsleistungsfähigkeit, ohne Übergangs-, Stabilitäts- oder Echtzeitbedingungen zu verletzen?

Zum Wendepunkt →
Eine stabile Konfiguration impliziert keine stabile Folge von Konfigurationen.Abschnitt öffnen
Zulässigkeit

Eine stabile Konfiguration impliziert keine stabile Folge von Konfigurationen.

Konfigurationen bilden einen endlichen, zur Entwurfszeit verifizierten Graphen. Ein Übergang ist nur erlaubt, wenn das Ziel ressourcen-, funktions- und dynamisch zulässig bleibt.

\[ G_e=(\mathcal C,\mathcal T), \qquad T_{ij}\in\mathcal T \Leftrightarrow Adm_R(C_j,\rho)\wedge Adm_F(C_j)\wedge Stab(C_i,C_j). \]

Für geschaltete geschlossene Regelkreiskonfigurationen wird wiederholtes Schalten durch eine minimale Verweilzeit begrenzt.

\[ \tau_d>\frac{\ln\mu}{2\gamma_{\min}}, \qquad f_{\max}<\frac{2\gamma_{\min}}{\ln\mu}. \] Die am schlechtesten konditionierte Konfiguration kann den gesamten Katalog bestimmen. Deshalb ist die Katalogzusammensetzung eine Entwurfsvariable und nicht nur eine Liste von Fallbacks.
← ZurückDas System nach dem Ausfall ist nicht mehr das nominale System.Weiter →Rekonfiguration besitzt drei unabhängige Zeitmaßstäbe.