The lost equation of Network Calculus
L'équation perdue du calcul réseau
Résumé
Network Calculus is a theory designed to analyze real-time systems, especially real-time networks. It offers a unified, extendable mathematical framework handling flows crossing servers, and deriving upper bounds on delays and memory usage. The real-time research community globally agrees that network calculus has powerful mathematical roots. However, the criticism is that the semantics are hidden behind mathematical details, limiting its adoption by non-specialists. In particular, the semantics of a server behavior was unclear to derive from most used equations. This paper claims that both formal and intuitive definitions of the server were lost in the literature. This paper presents it in a comprehensive way and gives new proof, adding a few new minor results. It also presents the history of the main notions through the state of the art.
Origine : Fichiers produits par l'(les) auteur(s)