| 摘要 |
L'invention concerne un procédé de vérification du comportement déterministe d'un réseau à commutation de paquets comprenant des stations abonnés reliées entre elles au travers d'au moins un commutateur, un tel comportement étant dit déterministe au sens que tout paquet émis sur le réseau à partir d'une station abonné source rejoint la (ou les) station (s) abonné (s) destinataire (s) avec une durée qui est bornée dans le temps, caractérisé en ce que l'on vérifie l'inégalité suivante pour chaque port de sortie de chaque commutateur du réseau : (CF DESSIN DANS BOPI) dans laquelle :- la valeur Latence max est la durée maximale de résidence dans le buffer de sortie d'un commutateur, cette valeur pouvant être différente pour chaque commutateur du réseau.- BAGi représente le temps minimum séparant deux trames consécutives appartenant à un lien virtuel i, et ce avant leur émission sur le support physique.- (Jitter In) i est le Jitter associé à un lien virtuel i, qui représente l'intervalle de temps entre l'instant théorique d'émission d'une trame et son émission effective qui peut être avant ou après l'instant théorique.- (durée trame max) i est la durée de la trame la plus longue sur le lien virtuel i. |
