Marco analítico determinista que representa el tráfico mediante curvas de llegada y la capacidad del sistema mediante curvas de servicio para derivar cotas demostrables del peor caso sobre retardo, acumulación en cola y uso de recursos en sistemas en red.

Principio

Relaciones de envolvente determinista entre curvas de llegada y servicio se componen y deconvolucionan para producir cotas calculables: dadas una curva de llegada α y una curva de servicio β, la convolución/deconvolución ofrece cotas del peor caso para backlog y retardo en servidores concatenados.

Demostración

Escenario ilustrativo → Un servidor FIFO proporciona una curva de servicio mínima β(t) y los flujos entrantes cumplen una curva de llegada α(t). Reconocimiento → Identificar α y β para el flujo y el servidor. Acción → Calcular cota de backlog como sup_{s≥0}{α(s) − β(s)} y cota de retardo por deconvolución. Consecuencia → Una cota superior garantizada sobre la longitud de cola y el retardo válida para todas las llegadas acotadas por α.

Aplicación incorrecta

Tratar descripciones estadísticas o tasas medias como curvas de llegada deterministas (α) y usar las cotas deterministas como predicciones ajustadas; el error semántico es sustituir envolventes estrictas del peor caso por promedios probabilísticos, lo que produce garantías demasiado optimistas.

Consecuencia

Bien aplicado, proporciona garantías en tiempo real y cotas compositionales del peor caso útiles para planificación de recursos y planificación de tareas; aplicado a descripciones de tráfico inadecuadas, produce cotas excesivamente conservadoras o no válidas en regímenes estadísticos.

Inversión

Si el servicio o las llegadas son esencialmente probabilísticos y sólo se requieren o disponen garantías estadísticas, el stochastic network calculus o modelos probabilísticos sustituyen a las envolventes deterministas; en multiplexación de muchos flujos independientes, las cotas deterministas del peor caso pueden ser demasiado holgadas.

Límite

Dentro: sistemas donde llegadas y servicio pueden acotarse determinísticamente mediante envolventes conocidas (p. ej., limitadores de tráfico, enlaces QoS estrictos). Caso límite: fuentes parcialmente caracterizadas con sólo cotas deterministas flojas. Fuera: modelos que buscan garantías de caso medio o puramente estadísticas sin envolventes deterministas.

Tensión semántica

Determinismo del peor caso (garantías fuertes, posible conservadurismo) ↔ provisión estadística (mejor rendimiento típico, garantías probabilísticas); la elección refleja seguridad frente a eficiencia de recursos.

Síntesis

El cálculo de red convierte restricciones de servicio y tráfico en cotas de rendimiento componibles y demostrables; es apropiado cuando se requieren garantías absolutas y debe compensarse con la posible conservaduridad en entornos compartidos o estocásticos.