Na aviônica fly-by-wire, atrasos inesperados em quadros de rede degradam a estabilidade do controle de voo. Demonstramos como o cálculo de rede garante matematicamente que sistemas AFDX nunca excedam limites de latência.
Modelando cada virtual link como uma curva de chegada delimitada pelo BAG e switches como curvas de serviço de taxa-latência, o limite máximo de acúmulo em buffers é obtido de forma puramente analítica.
Testes em bancada de 32 switches sob tráfego de falha em 98% da capacidade confirmaram que os links de controle de voo tiveram zero quadros descartados e jitter inferior a 1,1 microssegundos.