Le profil UML temps réel TURTLE supporté par l'outil open-source TTool offre un cadre formel pour la modélisation et la vérification formelle de systèmes temps réel communicants. Cet article ajoute à la méthode TURTLE un volet "calcul réseau" adapté au traitement des systèmes temps réel répartis à large échelle. Ce volet permet de dimensionner le réseau en prenant en compte les trafics des différents n\oe uds, puis d'injecter les résultats de dimensionnement dans les modélisations TURTLE. Cette approche permet au niveau des modèles TURTLE de n'explorer le système que pour un nombre réduit de nœuds du système réparti. Un système de vidéo-conférence au sein d'un campus universitaire sert d'étude de cas
