FR 2902956 A1 20071228 FR 0652616 A 20060623 PROCÉDÉ DE ROUTAGE DE LIENS VIRTUELS DANS UN RÉSEAU À COMMUTATION DE TRAMES A DÉTERMINISME GARANTI DESCRIPTION 5 DOMAINE TECHNIQUE La présente invention concerne le domaine du routage dans un réseau à commutation de trames et plus particulièrement dans un réseau AFDX. ÉTAT DE LA TECHNIQUE ANTÉRIEURE 10 Les réseaux Ethernet sont les plus connus des réseaux locaux. Ils peuvent fonctionner sous 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 15 collisions entre trames, et un mode dit 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, 20 source ou destinataire, est relié individuellement à un 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 25 coupleurs de terminaux. Une liaison virtuelle entre 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 30 liaison virtuelle est définie par la liste ordonnée des commutateurs que ces trames 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éétablie. Cette table de commutation est très simple puisqu'elle indique en fonction du port d'entrée du commutateur et de l'adresse de destination de la trame, le port de sortie correspondant. Nous nous intéresserons par la suite à un réseau à commutation de trames dont les tables de commutation sont prédéfinies et désignerons par la suite lien virtuel une connexion de bout en bout de niveau 2 dans un tel réseau, par exemple une liaison virtuelle dans un réseau Ethernet commuté. Il est possible d'obtenir une garantie de service pour un lien virtuel. Cependant, étant donné que les commutateurs ne peuvent supporter qu'un débit maximal donné, cette garantie de service impose des contraintes sur le routage des liens. 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 par lien virtuel. Plus précisément, à chaque lien virtuel est associé un intervalle minimal entre trames ainsi qu'une taille maximale de trame. De surcroît, 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é. Il est en outre de type full-duplex, chaque terminal pouvant simultanément émettre et recevoir des trames sur des liens virtuels distincts. Le réseau AFDX est aussi 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, de bande passante et de débit. Chaque lien virtuel dispose pour ce faire d'un chemin réservé de bout en bout, 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 avec une tolérance de gigue prédéterminée. Enfin le réseau AFDX est redondant, le réseau Ethernet sous-jacent étant dupliqué pour des raisons de disponibilité. 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 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 ports de sortie sur lesquels elle doit être transmise. Les commutateurs vérifient au vol l'intégrité des trames transmises sans toutefois demander une retransmission si une trame est erronée : les trames détectées comme erronées sont éliminées. Les trames transitant sur un lien virtuel sont numérotées en séquence. A la réception, le terminal destinataire vérifie l'intégrité de la séquence des trames. 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 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 comprenant des terminaux T1 à T6 et des commutateurs de trames SW1,SW2. On voit 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. La Fig. 2 représente schématiquement un commutateur dans un réseau AFDX. Il comprend une pluralité de buffers d'entrée 210 de type FIFO, des moyens de filtrage de trames 220, des moyens de multiplexage 230 et des buffers de sortie 240 de type FIFO. Les trames incidentes sont stockées dans les différents buffers d'entrée, chaque buffer étant relié à un port d'entrée ei. Les moyens de filtrage 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 multiplexage 230 aiguillent les trames vers les différents buffers de sortie 240 en fonction des identificateurs de liens virtuels qu'elles contiennent et de la table de commutation. Les buffers de sortie transmettent les trames sur les liaisons physiques, chaque buffer étant relié à un port de sortie pi. 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 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 bornes de latence garanties. Pour ce faire, on utilise généralement un algorithme de calcul dénommé network 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 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 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 trames du lien, soit : Smax .t Ri (t) = smax + BAG où smax est la taille maximale des trames et BAG est une quantité appelée intervalle d'allocation de bande passante du lien, autrement dit BAG est l'intervalle de temps minimum séparant deux trames dudit lien. La quantité de données générée sur le lien pendant l'intervalle de temps [t0,t1] s'exprime alors simplement t comme f i Ri(t)dt. t0 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, encore appelée courbe de service. En fonction des enveloppes de flux en entrée et en sortie, on sait 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 les terminaux destinataires, les enveloppes de flux en chaque point du réseau. 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 éléments. On vérifie ensuite si les temps de latence estimés sont bien conformes aux valeurs que l'on souhaitait garantir pour les différents liens du réseau. 6 (1) On trouvera une description de l'application de l'algorithme network calculus au calcul des temps de latence dans la thèse de J. Grieu intitulée Analyse et évaluation de techniques de commutation Ethernet pour l'interconnexion des systèmes avioniques du 24 septembre 2004. Le mode de vérification décrit ci-dessus fonctionne bien tant que le réseau ne comporte pas de boucle physique. A contrario, si une telle boucle est présente dans le réseau, les temps de latence des liens empruntant la boucle ne peuvent être déterminés. La Fig. 3 illustre la situation d'un réseau AFDX comprenant une boucle à trois commutateurs : SW1,SW2,SW3. Chaque commutateur possède trois ports physiques, chaque port étant constitué d'un port d'entrée et d'un port de sortie. Le port de sortie pl du commutateur SW1 est connecté au port d'entrée e3 du commutateur SW3. Le port de sortie p3 du commutateur SW3 est connecté au port d'entrée e2 du commutateur SW2. Le port de sortie p2 du commutateur SW2 est connecté au port d'entrée et du commutateur SW1. Le chemin C passant par les ports pl,e3,p3,e2,p2,e1 forme une boucle orientée au sein du réseau. L'enveloppe de flux sur le port de sortie pl dépend de l'enveloppe de flux en el, c'estûà-dire de p2, et de celle du lien VL1 (à l'entrée de SW1). De manière similaire, l'enveloppe de flux en p2 dépend à son tour de l'enveloppe de flux en p3 et de celle du lien VL3. Enfin l'enveloppe de flux en p3 dépend à son tour de l'enveloppe de flux en pl et de celle du lien VL2 On constate que l'on a une relation de dépendance circulaire qui rend impossible l'estimation des enveloppes de flux et donc des temps de latence. La Fig. 4 illustre la situation d'un réseau AFDX comprenant une boucle à quatre commutateurs : SW1,SW2,SW3,SW4. Chaque commutateur possède quatre ports physiques, chaque port étant constitué d'un port d'entrée et d'un port de sortie. On remarque que quatre liens virtuels VL1 à VL4 ont été routés dans le réseau. L'enveloppe de flux du port de sortie 23 de SW1 dépend de l'enveloppe de flux du port de sortie 5 de SW3 et de celle du lien VL1. L'enveloppe de flux du port de sortie 5 de SW3 dépend de l'enveloppe de flux du port de sortie 23 de SW4 et de celle du lien VL3. L'enveloppe de flux du port de sortie 23 de SW4 dépend de l'enveloppe de flux du port de sortie 24 de SW2 et de celle du lien VL4. Enfin, l'enveloppe de flux du port de sortie 24 de SW2 dépend de l'enveloppe de flux du port de sortie 23 de SW1 et de celle de VL2. Là encore, la relation de dépendance circulaire ne permet pas d'estimer les enveloppes de flux et donc les temps de latence. Afin d'éviter les dépendances circulaires, il est connu de modifier la topologie du réseau, par exemple de rajouter une liaison physique entre commutateurs non reliés de la boucle voire de rajouter un commutateur central relié à plusieurs ou tous les commutateurs de la boucle. Dans les deux cas, la modification de topologie augmente localement le nombre de chemins possibles de routage des liens virtuels, de sorte qu'il est possible de modifier le routage initial et de casser la dépendance circulaire. Toutefois, il n'est pas certain que l'on ne crée pas ainsi de nouvelles boucles ou que le routage d'un nouveau lien n'entraînera pas une nouvelle dépendance circulaire. On serait alors revenu au cas précédent et l'incapacité de vérifier le déterminisme du réseau conduirait à une nouvelle complexification de la topologie du réseau. L'objet de la présente invention est de proposer un procédé de routage de liens virtuels dans un réseau à commutation de trames qui permette une vérification certaine du déterminisme du réseau, sans modification de sa topologie. EXPOSÉ DE L'INVENTION La présente invention est définie par un procédé de routage de liens virtuels dans un réseau à commutation de trames comprenant une pluralité de terminaux sources et/ou destinataires desdites trames, des commutateurs de trames étant reliés entre eux par des liaisons physiques, chaque lien virtuel étant défini, pour un type point à point, par un chemin à travers ledit réseau entre un terminal source et un terminal destinataire et, pour un type multipoint, par une pluralité de chemins à travers ledit réseau entre un terminal source d'une part et une pluralité de terminaux destinataires, d'autre part. Le procédé comprend les étapes suivantes : (a) recherche des boucles orientées dans le réseau, 30 à une permutation circulaire près des commutateurs qu'elles contiennent ; (b) sélection d'un triplet de commutateurs consécutifs au sein de chaque boucle orientée, chaque triplet définissant un chemin de routage interdit ; (c) détermination d'une solution de routage des liens virtuels n'empruntant pas lesdits chemins interdits ; (d) vérification du déterminisme du réseau sur la base des liens virtuels ainsi routés. Si le déterminisme du réseau est vérifié, on peut alors stocker dans les commutateurs les tables de commutation correspondant à ladite solution de routage. La vérification du déterminisme du réseau comprend avantageusement le calcul des enveloppes de flux en sortie des commutateurs traversés par les liens virtuels et des temps de latence relatifs à ces liens, les temps de latence ainsi obtenus étant ensuite comparés à des bornes de latence de consigne. Selon un mode de réalisation avantageux, on sélectionne à l'étape (b) des triplets communs au plus grand nombre possible de boucles orientées. On pourra également sélectionner en priorité à l'étape (b) des triplets appartenant à des chemins de routage interdits par une contrainte topologique. Cette contrainte topologique peut consister pour un réseau partitionné en zones distinctes alimentées par des alimentations indépendantes, à interdire : - tout chemin de routage franchissant une frontière entre deux zones, lorsque les commutateurs respectivement reliés au terminal source et au terminal destinataire du lien virtuel appartiennent à la même zone ; - tout chemin de routage franchissant plus d'une fois une frontière entre deux zones, lorsque les commutateurs respectivement reliés au terminal source et au terminal destinataire du lien virtuel appartiennent à des zones différentes. Dans une application préférée, le réseau de commutation de trames est un réseau AFDX. Enfin, l'invention concerne en outre un programme d'ordinateur comprenant des moyens logiciels adaptés à mettre en oeuvre les étapes du procédé ci-dessus, lorsqu'il est exécuté par un ordinateur. BRÈVE DESCRIPTION DES DESSINS La Fig. 1 représente schématiquement un exemple de réseau AFDX ; la Fig. 2 représente schématiquement la structure d'un commutateur dans un réseau AFDX ; la Fig. 3 illustre la situation d'un réseau AFDX comprenant une boucle à trois commutateurs ; la Fig. 4 illustre la situation d'un réseau AFDX comprenant une boucle à quatre commutateurs ; les Figs. 5A et 5B illustrent le principe de fonctionnement de l'invention ; la Fig. 6 représente un organigramme de la méthode de routage selon l'invention ; la Fig. 7 illustre un exemple simplifié de réseau AFDX pour l'application de la méthode de routage selon l'invention. EXPOSÉ DÉTAILLÉ DE MODES DE RÉALISATION PARTICULIERS L'idée à la base de l'invention est d'effectuer le routage d'un lien virtuel en sélectionnant parmi les chemins possibles, ceux qui obéissent à une contrainte de ségrégation spécifique avec des parties de boucles orientées du réseau. On appellera par la suite boucle orientée toute séquence ordonnée L de noeuds ou de commutateurs du réseau L=SW1,SW2,..,SWN avec N>-3 telle que SWi+1EG(SWi) pour i =1,..,N-1 et SW1 E G(SWN) où G est une application qui fait correspondre à chaque commutateur SW l'ensemble de ses successeurs, c'est-à-dire l'ensemble des commutateurs directement reliés à un port de sortie de eV. Dans un réseau full-duplex où chaque port physique comprend un port d'entrée et un port de sortie, on comprendra que s'il existe une boucle orientée SW1,SW2,..,SWN dans le réseau alors SWN,SWN_1,..,SW1 est également une boucle orientée mais de sens contraire. Avant d'effectuer au routage des liens virtuels, le procédé selon l'invention recense les boucles orientées du réseau. Pour ce faire, on peut représenter le réseau sous forme d'un graphe orienté dont les sommets sont les commutateurs et les terminaux et les liaisons port de sortie à port d'entrée sont les arcs. La recherche des boucles orientées dans le réseau revient à une recherche de circuits dans le graphe. A cette fin, on labellise chaque sommet du graphe au moyen d'une étiquette. Chaque sommet transmet à ses successeurs son étiquette, puis chacun de ces successeurs concatène l'étiquette qu'il a reçue avec son étiquette propre et transmet les étiquettes ainsi concaténées à ses propres successeurs. On poursuit la propagation des étiquettes de proche en proche. Lorsqu'un sommet reçoit une liste d'étiquettes comprenant la sienne, un circuit est identifié et la propagation de cette liste est arrêtée. On groupe ensuite les circuits par classes d'équivalence : les circuits/boucles orientées d'une même classe sont identiques à une permutation circulaire près. On choisit arbitrairement une boucle orientée par classe d'équivalence pour la représenter. Les boucles orientées étant identifiées, on les trie par nombre de commutateurs traversés. Considérons une telle boucle orientée, représentée en Fig. 5A. Elle correspond ici à une boucle physique de six commutateurs SW1 à SW6. Un lien virtuel VL qui pénètre dans la boucle en un commutateur SWi et ressort au 25 commutateur suivant SWi+1 n'est pas susceptible d'induire une relation de dépendance circulaire dans la boucle, quels que soient le nombre de liens virtuels déjà routés sur la boucle et le nombre de commutateurs que ces derniers partagent avec elle. En effet, le lien 30 VL en question ne traversant pas deux ports de sortie de commutateurs consécutifs, il n'induit pas de relation entre les enveloppes de flux en sortie de ces commutateurs. On comprend ainsi que l'on ne peut induire de dépendance circulaire que lorsqu'un lien virtuel partage au moins trois commutateurs successifs, soit au moins deux ports de sortie communs, avec la boucle orientée. Si l'on considère les liens virtuels partageant exactement trois commutateurs avec la boucle orientée de la Fig. 5A, on remarque qu'il faut au minimum six de ces liens VL1r..., VL6 pour obtenir un recouvrement de la boucle et par conséquent une dépendance circulaire. De manière générale pour une boucle orientée de N commutateurs, on pourra obtenir une dépendance avec au minimum N liens ayant exactement trois commutateurs communs avec la boucle, a fortiori pour N liens présentant plus de trois commutateurs communs avec la boucle. Pour des liens partageant exactement 1f>2 commutateurs avec la boucle orientée, il faudra au minimum E( N ) de tels liens Mù2 pour obtenir une relation de dépendance circulaire, où E(.) exprime la valeur entière. Supposons maintenant que pour une boucle orientée donnée, on supprime un chemin de routage correspondant à trois sommets successifs de la boucle. La situation a été illustrée en Fig. 5B où le chemin SW1,SW2,SW3, représenté en trait discontinu, est interdit au routage. Grâce à cette contrainte, il n'est plus possible d'obtenir un recouvrement de la boucle avec des liens virtuels entraînant une dépendance circulaire. En effet, le lien virtuel VL1 n'est plus autorisé et tout lien virtuel obéissant à la contrainte prescrite contient tout au plus le chemin SW1,SW2 ou le chemin SW2,SW3. Aucun des liens virtuels et en particulier ni VL6 et VL2, ne permet d'induire une relation entre les enveloppes de flux des commutateurs SW1 et SW3 . On voit qu'en interdisant tout chemin de routage passant par trois commutateurs successifs donnés de la boucle orientée, on élimine tout risque de dépendance circulaire. En outre, le nombre de possibilités de routage de liens virtuels est relativement peu affecté par cette interdiction (réduction d'au maximum un tiers, pour une boucle à trois commutateurs). On procède de la manière décrite ci-dessus pour chaque boucle orientée. Avantageusement, on interdit des chemins de routage communs à plusieurs boucles de manière à en réduire le nombre. La Fig. 6 illustre l'organigramme de la méthode de routage selon l'invention. A partir de la description de la topologie du réseau 610, on recense en 620 toutes les boucles orientées du réseau, à une permutation circulaire près. En 630, on les trie par nombre de commutateurs traversés. Pour chaque boucle orientée ainsi obtenue, on identifie ensuite en 640, tous les triplets de commutateurs consécutifs de la boucle. En 650, on recherche les triplets communs à plusieurs boucles. A l'étape 660, on sélectionne un triplet par boucle. Avantageusement, on le sélectionnera en prenant par ordre de préférence, les triplets qui sont partagés par le plus grand nombre possible de boucles. Les triplets sélectionnés définissent des chemins de routage interdits, l'interdiction de routage par un chemin permettant de rompre la relation de dépendance circulaire pour la boucle ou les boucles auquel il appartient. En 670, on détermine une solution de routage des liens virtuels en respectant les contraintes établies en 660. A l'étape 680 on vérifie, pour la solution de routage trouvée en 670, si le réseau est bien déterministe en estimant les enveloppes de flux en sortie des commutateurs traversés par les liens, puis les temps de latence pour les différents liens. On compare ensuite les temps de latence obtenus aux bornes de latence de consigne pour lesdits liens. Si le déterminisme est bien vérifié, les tables de commutation correspondant à la solution de routage sont établies et stockées dans les commutateurs. Si le déterminisme n'est pas vérifié, on essaie une nouvelle solution de routage en 670 ou, à défaut, une nouvelle sélection de chemins de routage interdits en 660, comme indiqué en trait discontinu. La Fig. 7 représente un exemple simplifié de réseau AFDX permettant d'illustrer la méthode de routage selon l'invention. Le réseau comprend cinq terminaux Ti à T5 pouvant être chacun source ou destinataire, et quatre commutateurs SW1 à SW4. Les boucles orientées du réseau sont identifiées à une permutation circulaire près . - pour les boucles à 3 commutateurs : .eiw = SW1,SW2,SW4 ; icw = SW4,SW2, SW1 ; 2 = SW1,SW4,SW3 ; Zw = SW3,SW4,SW1 ; - pour les boucles à 4 commutateurs : =SW1,SW2,SW4,SW3 ; Z w=SW3,SW4,SW2,SW1 ; Pour chacune des boucles, on liste les triplets candidats pour les chemins de routage interdits : boucle lw : {sw1,SW2,sw4,{sw2,sw4,sw1,{sw4,sw1,sw2} boucle 1 : {sw4,SW2,sw1 ,{sw2,sw1,sw4 ,{sw1,sw4,sw2} boucle ~2 : {sw1,sW4,sW3},{sw4,sw3,sw1},{sw3,sw1,sw4} boucle ~2 w : {sW3,sW4,sw1},{sw4,sw1,sw3},{sw1,sw3,sw4} 15 boucle ,3w {sw1,sw2,sW4},{sw2,sW4,sW3} {sw4,sw3,sw1} {sw3,sw1,sw2} boucle 3cw {sw3,sw4,sw2 ,{sW4,sw2,sw1 ,{sw2,sw1,sw3},{sw1,sw3,sw4} 20 Pour supprimer tout risque de dépendance circulaire, il suffit de choisir un triplet par boucle et d'interdire le routage à travers les chemins correspondants. Avantageusement, comme déjà mentionné, on choisit des triplets communs au plus grand nombre de 25 boucles possibles, afin de réduire le nombre de chemins interdits. Dans le cas présent, on sélectionnera par exemple : 10 {SWI,SW2,SW4}, commun à e w et ,e3w ; {SW4,SWZ,SWI}, commun à .elcw et 3cw ; {SWI,SW4,SW3} pour ,e2 et {SW3,SW4,SWI} pour Ainsi, l'on interdira seulement 4 chemins au lieu des 6 théoriquement nécessaires. En pratique, la contrainte de routage imposée, la vérification du déterminisme du réseau n'est pas la seule contrainte à prendre en considération pour le routage des liens virtuels. Par exemple, dans une application avionique, il est connu de partitionner le réseau en zones distinctes, alimentées par des sources d'alimentation indépendantes. Pour des raisons de sécurité, on fixe alors une contrainte topologique, ci-après dénommée contrainte de partition, consistant à interdire : tout chemin de routage franchissant une frontière entre zones, si les commutateurs reliés respectivement au terminal source et au terminal destinataire appartiennent à la même zone ; tout chemin de routage franchissant plus d'une fois une frontière entre zones, si les commutateurs reliés respectivement au terminal source et au terminal destinataire appartiennent à des zones distinctes adjacentes. On recense dans un premier temps l'ensemble S des chemins de routage interdits au sens de la contrainte de partition. Pour un lien virtuel donné à router, le I)ccw 2 . 25 respect de cette contrainte équivaut à une ségrégation du lien vis-à-vis des chemins de S. De manière générale, selon un mode de réalisation de l'invention, on disposera d'un ensemble S de chemins interdits, préalablement à l'application de la contrainte de routage associée à la vérification du déterminisme du réseau. Lors du choix du triplet de commutateur par boucle orientée, on sélectionnera avantageusement un triplet appartenant à un chemin déjà interdit de l'ensemble S. Bien entendu, si plusieurs triplets de la boucle appartiennent à S, on choisira par priorité celui qui est commun au plus grand nombre possible de boucles orientées. Ainsi, on augmentera relativement peu le nombre de chemins à exclure pour la vérification du déterminisme. REVENDICATIONS 1. Procédé de routage de liens virtuels dans un réseau à commutation de trames comprenant une pluralité de terminaux sources et/ou destinataires desdites trames, des commutateurs de trames étant reliés entre eux par des liaisons physiques, chaque lien virtuel étant défini, pour un type point à point, par un chemin à travers ledit réseau entre un terminal source et un terminal destinataire et, pour un type multipoint, par une pluralité de chemins à travers ledit réseau entre un terminal source d'une part et une pluralité de terminaux destinataires, d'autre part, ledit procédé étant caractérisé en ce qu'il comprend les étapes suivantes . (a) recherche des boucles orientées dans le réseau, à une permutation circulaire près des commutateurs qu'elles contiennent ; (b) sélection d'un triplet de commutateurs consécutifs au sein de chaque boucle orientée, chaque triplet définissant un chemin de routage interdit ; (c) détermination d'une solution de routage des liens virtuels n'empruntant pas lesdits chemins interdits ; (d) vérification du déterminisme du réseau sur la base des liens virtuels ainsi routés. 2. Procédé de routage selon la revendication 1, caractérisé en ce que, si le déterminisme du réseau est vérifié, on stocke dans les commutateurs les tables de commutation correspondant à ladite solution de routage. 3. Procédé de routage selon la revendication 1 ou 2, caractérisé en ce que la vérification du déterminisme du réseau comprend le calcul des enveloppes de flux en sortie des commutateurs traversés par les liens virtuels et des temps de latence relatifs à ces liens, les temps de latence ainsi obtenus étant ensuite comparés à des bornes de latence de consigne. 4. Procédé de routage selon l'une des revendications précédentes, caractérisé en ce qu'on sélectionne à l'étape (b) des triplets communs au plus grand nombre possible de boucles orientées. 5. Procédé de routage selon l'une des revendications précédentes, caractérisé en ce qu'on sélectionne en priorité à l'étape (b) des triplets appartenant à des chemins de routage interdits par une contrainte topologique. 6. Procédé de routage selon la revendication 5, caractérisé en ce que ladite contrainte topologique consiste pour un réseau partitionné en zones distinctes alimentées par des alimentations indépendantes, à interdire : -tout chemin de routage franchissant une frontière entre deux zones, lorsque les commutateurs respectivement reliés au terminal source et au terminal destinataire du lien virtuel appartiennent à la même zone ; 10tout chemin de routage franchissant plus d'une fois une frontière entre deux zones, lorsque les commutateurs respectivement reliés au terminal source et au terminal destinataire du lien virtuel appartiennent à des zones différentes. 7. Procédé de routage selon l'une des revendications précédentes, caractérisé en ce que le réseau de commutation de trames est un réseau AFDX. 8. Programme d'ordinateur comprenant des moyens logiciels adaptés à mettre en oeuvre les étapes du procédé selon l'une des revendications précédentes, lorsqu'il est exécuté par un ordinateur.