Ein deterministischer Analyse‑Rahmen, der Datenverkehr durch Ankunftskurven und Systemkapazität durch Servicekurven darstellt, um nachweisbare Worst‑Case‑Grenzen für Rückstau, Verzögerung und Ressourcennutzung in Netzwerksystemen abzuleiten.

Prinzip

Deterministische Hüllkurvenbeziehungen zwischen Ankunfts‑ und Servicekurven lassen sich konvolvieren und dekonvolvieren, um berechenbare obere Schranken zu liefern: Sind α und β gegeben, ergeben Konvolution/ Dekonvolution Worst‑Case‑Grenzen für Rückstau und Verzögerung bei seriellen Servern.

Demonstration

Illustriertes Szenario → Ein FIFO‑Server stellt eine minimale Servicekurve β(t) bereit und eingehende Flüsse gehorchen einer Ankunftskurve α(t). Erkennung → α und β für Fluss und Server bestimmen. Aktion → Rückstaugrenze berechnen als sup_{s≥0}{α(s) − β(s)} und Verzögerungsgrenze mittels Dekonvolution. Folge → Eine garantierte obere Schranke für Warteschlangenlänge und Verzögerung, gültig für alle durch α begrenzten Ankünfte.

Fehlanwendung

Statistische oder empirische Mittelraten als deterministische Ankunftskurven (α) zu behandeln und deterministische Schranken als präzise Leistungsprognosen zu verwenden; der semantische Fehler ist, durchschnittliche oder probabilistische Hüllen anstelle strikter Worst‑Case‑Hüllen einzusetzen, wodurch zu optimistische Zusagen entstehen.

Konsequenz

Korrekt angewandt liefert es harte Echtzeitgarantien und kompositionale Worst‑Case‑Grenzen für Planung und Scheduling; bei ungeeigneter Verkehrscharakterisierung können die Schranken sehr konservativ oder für statistische Dienste unzutreffend sein.

Umkehrung

Wenn Service oder Ankünfte grundlegend probabilistisch sind und nur statistische Garantien verfügbar oder gewünscht sind, ersetzt stochastic network calculus die deterministischen Hüllen; beim Multiplexen vieler unabhängiger Flüsse werden deterministische Worst‑Case‑Grenzen oft zu ungenau.

Abgrenzung

Innerhalb: Systeme, in denen Ankünfte und Service deterministisch durch bekannte Hüllen beschränkt werden können (z. B. Traffic Shaper, strikte QoS‑Verbindungen). Randfall: teilweise charakterisierte Quellen mit nur groben deterministischen Grenzen. Außerhalb: Modelle, die Mittelwert‑ oder rein statistische Garantien ohne deterministische Hüllen anstreben.

Semantische Spannung

Worst‑Case‑Determinismus (starke Garantien, mögliche Konservativität) ↔ statistische Dimensionierung (engeres typisches Verhalten, probabilistische Garantien); die Wahl reflektiert Sicherheit gegen Ressourceneffizienz.

Synthese

Network Calculus übersetzt Service‑ und Verkehrsgrenzen in zusammensetzbare, beweisbare Worst‑Case‑Schranken; er eignet sich, wenn absolute Garantien erforderlich sind, muss aber gegen mögliche Überkonservativität in stochastischen oder geteilten Umgebungen abgewogen werden.