Brevet FR2905047A1 — publié le 20080222

RÉSEAU AFDX SUPPORTANT UNE PLURALITÉ DE CLASSES DE SERVICE DESCRIPTION 5 DOMAINE TECHNIQUE La présente invention concerne le domaine de la commutation de trames dans un réseau AFDX. ÉTAT DE LA TECHNIQUE ANTÉRIEURE Les réseaux Ethernet sont les plus connus des 10 réseaux locaux. Ils peuvent fonctionner selon deux modes distincts, compatibles entre eux : un mode dit partagé, dans lequel un même support physique est partagé entre les terminaux, avec accès aléatoire et détection de collisions entre trames, et un mode dit 15 commuté, dans lequel les terminaux s'échangent des trames à travers des liaisons virtuelles, garantissant ainsi l'absence de collisions. Dans un réseau Ethernet commuté, chaque terminal, source ou destinataire, est relié individuellement à un 20 seul commutateur de trames et les commutateurs sont reliés entre eux par des liaisons physiques. Plus précisément, chaque commutateur possède une pluralité de ports connectés aux ports d'autres commutateurs ou des coupleurs de terminaux. Une liaison virtuelle entre 25 un terminal source et un terminal destinataire est définie comme un chemin orienté à travers le réseau, emprunté par les trames du terminal source à destination du terminal destinataire. De manière équivalente, une liaison virtuelle est définie par la 30 liste ordonnée des commutateurs que ces trames 2905047 2 traversent. Pour chaque commutateur traversé, la commutation de trames est réalisée à partir de l'adresse du destinataire, au moyen d'une table de commutation prédéfinie. Nous désignerons par la suite lien virtuel une connexion de bout en bout de niveau 2 dans un réseau à commutation de trame, par exemple un réseau Ethernet commuté. Il est possible d'obtenir une garantie de service pour un lien virtuel. Le réseau AFDX (Avionics Full Duplex Switched Ethernet), développé pour les besoins de l'aéronautique, est un exemple de réseau Ethernet commuté dans lequel il est possible d'affecter une bande passante à un lien virtuel. Plus précisément, à chaque lien virtuel est associé un intervalle minimal entre trames ainsi qu'une taille maximale de trame. Sous réserve du respect de ces contraintes, un temps maximal d'acheminement des trames, ou borne de latence, est garanti pour chaque lien virtuel. On trouvera une description détaillée du réseau AFDX dans le document intitulé AFDX protocol tutorial disponible sur le site www.condoreng.com ainsi que dans la demande de brevet FR-A-2832011 déposée au nom de la demanderesse. Ses principales caractéristiques seront simplement rappelées ci-après. Comme déjà mentionné, le réseau AFDX est basé sur un réseau Ethernet commuté, de type full-duplex. Le réseau AFDX est avant tout déterministe, au sens où les liens virtuels ont des caractéristiques garanties en termes de borne de latence, de ségrégation physique de flux et de bande passante. Chaque lien virtuel dispose pour ce faire d'un chemin réservé de bout en bout, 2905047 3 d'une fragmentation temporelle en intervalles de transmission (dénommés BAG pour Bandwidth Allocation Gap) et d'une taille de trame maximale. Les trames sont envoyées en début de chaque intervalle de transmission 5 avec une tolérance de gigue prédéterminée. Les données sont transmises sous forme de paquets IP encapsulés dans des trames Ethernet. A la différence de la commutation Ethernet classique (utilisant l'adresse Ethernet du destinataire), la commutation de trames sur 10 un réseau AFDX utilise un identificateur de lien virtuel inclus dans l'entête de trame. Lorsqu'un commutateur reçoit sur l'un de ses ports d'entrée une trame, il lit l'identificateur de lien virtuel et détermine à partir de sa table de commutation le ou les 15 port(s) de sortie sur le(s)quel(s) elle doit être transmise. Chaque lien virtuel est mono-directionnel. Il ne peut être issu que d'un terminal source à la fois mais peut aboutir à plusieurs destinataires. On distingue 20 les liens virtuels en mode point à point (ou unicast), ne desservant qu'un seul destinataire, des liens virtuels en mode multi-point (ou multicast) qui en desservent plusieurs. La Fig. 1 représente schématiquement un réseau AFDX 25 comprenant des terminaux Ti à T6 et des commutateurs de trames SW,SW2. On voit par exemple que le lien virtuel VL3 reliant le terminal T3 à T2 est de type point à point alors que les liens virtuels VL2 desservant T2 et T3, et VL1 desservant T3 à T5 sont de type multipoint. 2905047 4 La Fig. 2 représente schématiquement un commutateur dans un réseau AFDX. Il comprend une pluralité L de ports d'entrée 215 et de ports de sortie 245, respectivement désignés par el,e2,..,eL, et si,sz,..,sL, des 5 moyens de filtrage de trames 220, des moyens de multiplexage 230 et des buffers de sortie 240 de type FIFO connectés aux ports de sortie 245. Les trames incidentes sont analysées par les moyens de contrôle 220 et multiplexées par les moyens de multiplexage 230. 10 Les moyens de contrôle 220 éliminent les trames correspondant à un lien virtuel non reconnu, les trames erronées et les trames conduisant à une violation des caractéristiques d'un lien. Les moyens de contrôle 220 commandent les moyens de multiplexage 230 en fonction 15 des identificateurs de liens virtuels lus dans les entêtes des trames et de la table de commutation. Les moyens de multiplexage aiguillent les trames vers les différents buffers de sortie 240 sur commande des moyens de contrôle. Les buffers de sortie transmettent 20 les trames sur les liaisons physiques via un port de sortie si correspondant. Le routage des liens virtuels dans un réseau AFDX consiste à définir les tables de commutation des différents commutateurs du réseau. Le routage est 25 choisi de manière à respecter les contraintes en bande passante des différents liens. Pour une solution de routage donnée, on vérifie que le réseau est bien déterministe, c'est-à-dire que les temps d'acheminement sur les différents liens sont bien inférieurs aux 30 bornes de latence garanties. Pour ce faire, on utilise généralement un algorithme de calcul dénommé network 2905047 5 calculus dont on pourra trouver une description dans les articles de René L. Cruz intitulés A calculus for network delay, Part I : network elements in isolation et Calculus for network delay, Part II : network 5 analysis , publiés dans IEEE Transactions on Information Theory, Vol. 37, N 1, Janvier 1991, pages 114-141. Cet algorithme évalue de manière non probabiliste, pour chaque élément du réseau, le débit maximal instantané de données en sortie de l'élément en 10 question. Le trafic émis par un terminal source sur un lien virtuel Li est modélisé par une fonction de taux maximal de trafic, dite encore fonction d'enveloppe de flux Ri(t) dépendant de la longueur maximale des trames et de l'intervalle de temps minimum séparant deux 15 trames du lien. Pour chaque élément du réseau, on détermine l'enveloppe de flux en sortie de cet élément à partir de l'enveloppe de flux en entrée et d'une fonction de transfert dudit élément. A partir des enveloppes de flux en entrée et en sortie, on sait 20 borner par valeurs supérieures, la taille de la file d'attente de l'élément (l'arriéré de travail de l'élément) et le retard subi par un paquet traversant cet élément. On calcule ainsi de proche en proche, en partant des terminaux sources et en progressant vers 25 les terminaux destinataires, les retards subis le long des différents liens virtuels. Le temps de latence relatif à un lien virtuel est estimé à partir des retards subis dans les éléments traversés par ce lien et, le cas échéant, les temps de propagation entre ces 30 éléments. On vérifie ensuite si les temps de latence estimés sont bien conformes aux bornes que l'on 2905047 6 souhaitait garantir pour les différents liens du réseau. La Fig. 3 illustre un mécanisme conventionnel de gestion de flux dans un commutateur de réseau AFDX. 5 On a représenté le cas de trois liens virtuels VL1,VL2,VL3 routés à travers un commutateur d'un réseau AFDX. Les liens virtuels VL1,VL2 sont commutés du port et sur le port s3 et le lien virtuel VL3 est commuté du port e2 sur le port s3. On a fait figurer en (A) 10 l'arrivée des trames des liens virtuels VL1,VL2,VL3 sur les ports d'entrée et et e2. On notera que les trames des liens virtuels VL1,VL2 n'entrent pas en collision à l'entrée de et car elles proviennent nécessairement d'un même terminal ou du même port de sortie d'un 15 commutateur. On a représenté en (B) la table de commutation: à chaque lien virtuel représenté par son identificateur VL id est associé un port d'entrée et un port de sortie pour un lien point à point, voire plusieurs ports de sortie pour un lien multipoint. Le 20 commutateur lit dans l'entête de la trame l' identificateur VL id et en déduit le ou les port (s) de sortie sur le(s)quel(s) il doit la commuter. Dans le cas présent, les trois liens virtuels VL1,VL2,VL3 sont à commuter sur le port de sortie s3. 25 Après que leur intégrité et leur conformité aux caractéristiques respectives des liens virtuels auxquelles elles appartiennent ont été vérifiées par les moyens de contrôle, les trames sont stockées dans leur ordre d'arrivée au sein du buffer de sortie 240 2905047 7 associé au port de sortie s3, comme représenté en (C). Les trames ainsi stockées sont émises en respectant un intervalle inter-trame minimum prédéfini IFG (Inter Frame Gap) sur le port s3, comme représenté en (D). 5 Un inconvénient majeur du réseau précédemment décrit est que la vérification du déterminisme est liée à une solution de routage. Tout changement de routage ou tout changement d'une caractéristique d'un lien (taille de trame maximale, bande passante) requiert une 10 nouvelle vérification du déterminisme du réseau. De surcroît, la méthode analytique de vérification du déterminisme (network calculus) est de type pire cas . Autrement dit, elle vérifie que les temps de latence sont bien respectés dans le cas exceptionnel 15 d'une saturation de tous les buffers. Cela conduit à une sous-utilisation des ressources du réseau, en termes de bande passante et de capacité de commutation. Le problème général à la base de la présente invention réside dans une utilisation plus efficace des 20 ressources du réseau AFDX tout en garantissant le déterminisme pour certains liens virtuels prédéterminés. Plus précisément, l'invention vise à offrir en sus de la classe de flux déterministe (bande passante et borne de latence garanties) classiquement 25 offerte aux liens virtuels, des classes de service de niveau inférieur. EXPOSÉ DE L'INVENTION La présente invention est définie par un 30 commutateur de trames pour réseau AFDX, comprenant une 2905047 8 pluralité de ports d'entrée, une pluralité de ports de sortie, des moyens de multiplexage pour multiplexer les trames arrivant à un port d'entrée vers un ou plusieurs desdits ports de sortie, des moyens de contrôle pour 5 contrôler lesdits moyens de multiplexage. Dans le commutateur de trames selon l'invention, chaque port de sortie est relié par son entrée à au moins deux buffers FIFO dont l'un est dédié aux flux déterministes dudit réseau, les moyens de contrôle étant en outre adaptés à 10 déterminer si une trame appartient à un flux déterministe et, dans l'affirmative, à commander les moyens de multiplexage pour diriger ladite trame vers un ou plusieurs buffer(s) dédié(s) aux flux déterministes. 15 Selon un premier mode de réalisation de l'invention, chaque port de sortie est connecté par son entrée à deux buffers FIFO, un premier buffer étant dédié aux flux déterministes et un second buffer étant dédié aux autres flux, les moyens de contrôle étant 20 adaptés à arbitrer le transfert des trames des premier et second buffers vers ledit port de sortie de sorte qu'une trame du second buffer n'est transférée vers ledit port que lorsque le premier buffer est vide. Selon un second mode de réalisation de l'invention, 25 chaque port de sortie est connecté par son entrée à un premier buffer FIFO dédié aux flux déterministes, au moins un second buffer dédié aux flux possédant une garantie de qualité de service statistique et un troisième buffer dédié aux autres flux, les moyens de 30 contrôle étant adaptés à arbitrer le transfert des trames des premier, second et troisième buffers vers 2905047 9 ledit port de sortie de sorte qu'une trame d'un second buffer n'est transférée vers ledit port que lorsque le premier buffer est vide et qu'une trame du troisième buffer n'est transférée vers ledit port que lorsque le 5 premier buffer et le ou les second(s) buffer(s) est (sont) vide (s) . Avantageusement, chaque port de sortie est connecté à une pluralité de seconds buffers, chaque second buffer étant associé à un niveau prédéfini de priorité, 10 les moyens de contrôle étant adaptés à ne transférer une trame d'un second buffer de niveau de priorité donné vers ledit port de sortie que si chaque second buffer de ladite pluralité associé à un niveau de priorité plus élevé a été lui-même dépilé d'une trame 15 ou bien est vide. Selon une première variante, le commutateur comprend en outre une table de commutation indiquant pour chaque lien virtuel à commuter, le ou les port (s) de sortie vers le(s)quel(s) le lien doit être commuté 20 ainsi que la classe de service auquel il appartient. Dans ce cas, les moyens de contrôle sont avantageusement adaptés à extraire de chaque trame incidente un identificateur de lien virtuel et à en déduire à partir de la table de commutation le ou les 25 port(s) de sortie vers le(s)quel(s) la trame doit être commutée, et, pour chacun de ces ports le buffer FIFO dans lequel elle doit être stockée. Selon une seconde variante, le commutateur comprend une table de commutation indiquant pour chaque lien 30 virtuel à commuter, le ou les port(s) de sortie sur le(s)quel(s) le lien doit être commuté, les moyens de 2905047 10 contrôle étant adaptés à extraire de chaque trame incidente un identificateur de lien virtuel ainsi qu'un identificateur de la classe de service auquel il appartient et à en déduire à partir de la table de 5 commutation le ou les port(s) de sortie vers le(s)quel(s) la trame doit être commutée, et, pour chacun de ces ports de sortie, le buffer FIFO dans lequel elle doit être stockée. L'invention est également définie par un réseau 10 AFDX caractérisé comprenant une pluralité de tels commutateurs de trames ainsi qu'un aéronef comprenant un tel réseau AFDX, embarqué. BRÈVE DESCRIPTION DES DESSINS 15 La Fig. 1 représente schématiquement un exemple simple de réseau AFDX ; la Fig. 2 représente schématiquement la structure d'un commutateur conventionnel d'un réseau AFDX ; 20 la Fig. 3 représente la gestion de flux dans un commutateur conventionnel d'un réseau AFDX ; la Fig. 4 représente schématiquement la structure d'un commutateur selon un premier mode de réalisation de l'invention ; 25 la Fig. 5 représente schématiquement la gestion de flux dans un commutateur selon un premier mode de réalisation de l'invention ; la Fig. 6 représente schématiquement la structure d'un commutateur selon un second mode de 30 réalisation de l'invention ; 2905047 11 la Fig. 7 représente l'organigramme d'une méthode de gestion de flux pour un commutateur selon un second mode de réalisation de l'invention. 5 EXPOSÉ DÉTAILLÉ DE MODES DE RÉALISATION PARTICULIERS L'idée à la base de l'invention est de prévoir pour chaque port de sortie d'un commutateur du réseau AFDX, au moins deux files d'attente dont une est 10 réservée aux flux déterministes. Dans un premier mode de réalisation du commutateur selon l'invention, deux buffers FIFO sont associés à chaque port de sortie, l'un d'eux étant dédié aux flux déterministes. La file d'attente du buffer FIFO dédié 15 aux flux déterministes est prioritaire par rapport à l'autre. Plus précisément, on ne dépile le buffer relatif aux flux non déterministes que lorsque celui dédié aux flux déterministes est vide. Ainsi, vu des trames des flux déterministes, le réseau se comporte 20 pratiquement comme en absence de tout flux non déterministe. Un réseau AFDX équipé de tels commutateurs peut supporter deux classes de service : une classe de flux déterministe et une classe de type best effort . 25 Pour la première classe de service, on vérifie préalablement de manière analytique, par exemple au moyen de l'algorithme network calculus que la solution de routage des liens virtuels appartenant à cette classe de service obéit bien aux contraintes de 30 bornes de latence et de bon acheminement. 2905047 12 En revanche, pour la seconde classe de service, on ne garantit ni borne de latence, ni probabilité de bon acheminement des trames entre le terminal source et les terminaux destinataires. 5 La Fig. 4 illustre schématiquement la structure d'un commutateur selon un premier mode de réalisation de l'invention. Les éléments 415, 430, 445 sont identiques aux éléments 215, 230, 245 de la Fig. 2. A la différence du commutateur de la Fig. 2 cependant, 10 chaque port de sortie 445 est connecté à deux buffers FIFO 440, 441, l'un d'eux, par exemple le buffer 440 étant dédié aux flux déterministes et le buffer 441 aux autres flux. Il est important de noter que les flux déterministes sont ainsi ségrégués physiquement des 15 autres flux. Les sorties des buffers 440 et 441 sont reliées à l'entrée du port de sortie 445. Ainsi, les moyens de contrôle sont adaptés à arbitrer l'accès des buffers 440 et 441 au port de sortie en transmettant à l'un ou l'autre buffer un ordre de dépilage. Ce n'est 20 que lorsque le buffer 440 est vide que les moyens de contrôle autorisent le buffer 441 à accéder au port de sortie. La Fig. 5 illustre la gestion de flux dans un commutateur selon le premier mode de réalisation. On 25 considère à nouveau le cas des trois liens virtuels de la Fig. 3 à la différence près que seul le lien virtuel VL1 bénéficie d'une garantie de déterminisme. Selon une première variante de réalisation, la table de commutation, représentée en (B) comprend en 30 outre, pour chaque lien virtuel, un identificateur de la classe de service qui lui est associée, ici d pour 2905047 13 un lien avec garantie de déterminisme et d pour un lien sans aucune garantie. Selon une seconde variante de réalisation, la table de commutation est identique à celle de la Fig. 3(B), 5 c'est-à-dire qu'elle ne comprend pas de champ Class Id. Dans cette variante, l'entête de chaque trame contient, outre l'identificateur de lien virtuel VL Id, l'identificateur de la classe de service Class Id associée à ce lien. Le contrôleur 420 lit à la volée 10 l'identificateur de lien et l'identificateur de classe de service de chaque trame incidente et commande en conséquence les moyens de multiplexage 430 pour aiguiller la trame vers le buffer 440 ou le buffer 441 du port de sortie relatif au lien virtuel identifié par 15 VL Id. Il convient de noter que si le lien virtuel est de type multi-point, les trames peuvent être commutées vers une pluralité de ports de sortie. Dans ce cas, en fonction de la classe de service, la trame sera copiée 20 et stockée dans les buffers 440 ou les buffers 441 associés aux dits ports de sortie. Le champ OutputPort contient alors la liste des ports de sortie vers lesquels la trame doit être commutée. En (C) on voit que les trames de VL1 sont rangées 25 dans leur ordre d'arrivée dans le buffer 540 et que les trames de VL2,VL3 sont rangées dans leur ordre d'arrivée dans le buffer 541. On a représenté en (D), les trames issues du port de sortie s3 en fonction du temps. Le buffer 540 est d'abord vidé, puis les trames contenues 30 dans le buffer 541 sont dépilées. 2905047 14 Dans un second mode de réalisation du commutateur selon l'invention, représenté en Fig. 6, on prévoit une pluralité n>2 de buffers FIFO par port de sortie, un 5 buffer étant dédié aux flux déterministes, un ou plusieurs buffer(s) étant dédié(s) aux flux pour lesquels on garantit une qualité de service statistique et un buffer étant dédié aux flux pour lesquels on n'offre aucune garantie. 10 Les éléments 615, 630, 645 sont identiques aux éléments 215, 230, 245 de la Fig. 2 et ne seront pas davantage décrits. A la différence du commutateur de la Fig. 2 cependant, chaque port de sortie 645 est connecté à aux moins trois buffers FIFO 640, 641, 642. 15 L'un d'entre eux, par exemple le buffer 640 est dédié aux flux déterministes. Un ou plusieurs buffers 641 sont dédiés aux flux pour lesquels on garantit une qualité de service statistique. Enfin, un buffer 642 est dédié aux flux sans garantie de qualité de service. 20 Les moyens de contrôle 620 sont adaptés à arbitrer l'accès des buffers 640, 641, 642 au port de sortie 645 en donnant les ordres de dépilage respectifs aux buffers précités. Une qualité de service statistique est définie par 25 une probabilité de bon acheminement ou, de manière équivalente, par un taux de perte. Un autre type de qualité de service statistique possible est celle d'une bande passante moyenne. Concernant le taux de perte, une trame sera perdue lorsque le buffer de sortie dans 30 lequel elle doit être stockée est arrivé à saturation. Le taux de perte peut être estimé de diverses manières 2905047 15 notamment par calcul statistique, par simulation de type Monte-Carlo ou encore par exploitation de mesures sur des réseaux représentatifs. En cas de perte de trame, un mécanisme de reprise sur erreur sera prévu à 5 un plus haut niveau du protocole. La Fig. 7 représente la méthode de gestion des flux pour le commutateur de la Fig. 6. Elle est appliquée en parallèle sur les ports de sortie, de sorte qu'ils sont traités de manière équitable. 10 On vérifie en 710 si le buffer 640 est vide et dans la négative, on le sert en 720, c'est-à-dire que sa trame la plus ancienne est dépilée. Le processus est itéré jusqu'à ce que le buffer 640 soit vide. On passe alors au test 730 où l'on vérifie si le ou bien tous 15 les buffers 641 sont vides. Dans l'affirmative on passe au test 750. Dans la négative, on distingue le cas d'un buffer unique 641 et d'une pluralité de buffers 641. Dans le premier cas, le buffer unique non vide est servi en 740. Dans le second cas, on applique une 20 stratégie de sélection explicitée plus loin. On retourne ensuite au test 710. En 750, on vérifie si le buffer 642 est vide. Dans l'affirmative on retourne au test 710. Dans la négative, on sert ce buffer en 760 puis on retourne au 25 test 710. Selon une première stratégie, la sélection du buffer 641 à servir en 740 est effectuée en fonction d'un niveau de priorité attribué à chaque buffer : un buffer non vide de niveau de priorité donné n'est servi 30 que si les buffers non vides de niveaux de priorité supérieurs ont tous été servis. Pour ce faire, on 2905047 16 utilise un drapeau de service pour chaque buffer et lorsque tous les buffers 641 soit ont été servis soit sont vides, les drapeaux sont réinitialisés. Selon une seconde stratégie, la sélection du buffer 5 à dépiler est effectuée selon une séquence cyclique ou pseudo-aléatoire, chaque buffer 641 ayant en moyenne une probabilité pl d'être servi à l'étape 740, avec N bien entendu L p1=1. Les probabilités pl sont Z=i avantageusement choisies différentes de manière à 10 offrir différentes classes de qualité de service statistique. Parmi ces classes de qualité de service, seule la classe de flux déterministe permet d'établir un circuit 15 virtuel entre deux terminaux quelconques d'un réseau AFDX. En revanche, les classes de qualité de service statistique et à plus forte raison la classe sans garantie de qualité de service ne sont pas à même de garantir le bon acheminement des trames. Elles 20 permettent cependant d'utiliser efficacement les ressources du réseau laissées disponibles par les flux déterministes. REVENDICATIONS 1. Commutateur de trames pour réseau AFDX, comprenant une pluralité de ports d'entrée (415,615), une pluralité de ports de sortie (445,645), des moyens de multiplexage (430,630) pour multiplexer les trames arrivant à un port d'entrée vers un ou plusieurs desdits ports de sortie, des moyens de contrôle (420,620) pour contrôler lesdits moyens de multiplexage, caractérisé en ce que chaque port de sortie est relié par son entrée à au moins deux buffers FIFO dont l'un est dédié aux flux déterministes dudit réseau, les moyens de contrôle étant en outre adaptés à déterminer si une trame appartient à un flux déterministe et, dans l'affirmative, à commander les moyens de multiplexage pour diriger ladite trame vers un ou plusieurs buffer(s) dédié(s) (440,640) aux flux déterministes. 2. Commutateur selon la revendication 1, caractérisé en ce que chaque port de sortie (445) est connecté par son entrée à deux buffers FIFO (440,441), un premier buffer (440) étant dédié aux flux déterministes et un second buffer (441) étant dédié aux autres flux, les moyens de contrôle étant adaptés à arbitrer le transfert des trames des premier et second buffers vers ledit port de sortie de sorte qu'une trame du second buffer n'est transférée vers ledit port que lorsque le premier buffer est vide. 2905047 18 3. Commutateur selon la revendication 1, caractérisé en ce que chaque port de sortie (645) est connecté par son entrée à un premier buffer FIFO (640) dédié aux flux déterministes, au moins un second buffer 5 (641) dédié aux flux possédant une garantie de qualité de service statistique et un troisième buffer (642) dédié aux autres flux, les moyens de contrôle (620) étant adaptés à arbitrer le transfert des trames des premier, second et troisième buffers vers ledit port de 10 sortie de sorte qu'une trame d'un second buffer n'est transférée vers ledit port que lorsque le premier buffer est vide et qu'une trame du troisième buffer n'est transférée vers ledit port que lorsque le premier buffer et le ou les second(s) buffer(s) est (sont) 15 vide (s) . 4. Commutateur selon la revendication 3, caractérisé en ce que chaque port de sortie est connecté à une pluralité de seconds buffers (641), 20 chaque second buffer étant associé à un niveau prédéfini de priorité, les moyens de contrôle étant adaptés à ne transférer une trame d'un second buffer de niveau de priorité donné vers ledit port de sortie que si chaque second buffer de ladite pluralité associé à 25 un niveau de priorité plus élevé a été lui-même dépilé d'une trame ou bien est vide. 5. Commutateur selon l'une des revendications précédentes, caractérisé en ce qu'il comprend en outre 30 une table de commutation indiquant pour chaque lien virtuel à commuter, le ou les port(s) de sortie vers 2905047 19 le(s)quel(s) le lien doit être commuté ainsi que la classe de service auquel il appartient. 6. Commutateur selon la revendication 5, 5 caractérisé en ce que les moyens de contrôle sont adaptés à extraire de chaque trame incidente un identificateur de lien virtuel et à en déduire à partir de la table de commutation le ou les port(s) de sortie vers le(s)quel(s) la trame doit être commutée, et, pour 10 chacun de ces ports le buffer FIFO dans lequel elle doit être stockée. 7. Commutateur selon l'une des revendications 1 à 15 4, caractérisé en ce qu'il comprend une table de commutation indiquant pour chaque lien virtuel à commuter, le ou les port(s) de sortie sur le(s)quel(s) le lien doit être commuté, les moyens de contrôle étant adaptés à extraire de chaque trame incidente un 20 identificateur de lien virtuel ainsi qu'un identificateur de la classe de service auquel il appartient et à en déduire à partir de la table de commutation le ou les port(s) de sortie vers le(s)quel(s) la trame doit être commutée, et, pour 25 chacun de ces ports de sortie, le buffer FIFO dans lequel elle doit être stockée. 8. Réseau AFDX caractérisé en ce qu'il comprend une pluralité de commutateurs de trames selon l'une des 30 revendications précédentes. 2905047 20 9. Aéronef caractérisé en ce qu'il comprend un réseau AFDX selon la revendication 8.