Étude et simulation du protocole TTEthernet sur un sous-système de gestion de vols et adaptation de la planification des tâches à des fins de simulation

TTEthernet est une technologie réseau déterministe qui permet d’apporter des améliorations à la qualité de services de la couche 2 d’Ethernet. Les composants implémentant ces services enrichissent les fonctionnalités d’Ethernet avec une synchronisation distribuée tolérante aux fautes, un partitionnement temporel robuste de la bande passante et une communication synchrone avec une latence fixe et une très faible gigue. Les services de TTEthernet permettent de faciliter la conception de systèmes distribués robustes, moins complexes et évolutifs capables de tolérer des défaillances multiples. La simulation constitue, de nos jours, une étape incontournable dans le processus de conception de systèmes critiques et représente un support précieux pour la validation et l’évaluation des performances. CoRE4INET est un projet regroupant l’ensemble des modèles de simulation de TTEthernet disponible actuellement. Il se base sur l’extension des modèles du framework INET d’OMNeT++. Notre objectif est d’étudier et de simuler le protocole TTEthernet sur un sous-système de gestion de vols (FMS). L’idée est d’utiliser CoRE4INET pour concevoir le modèle de simulation du système cible. Le problème est que CoRE4INET n’offre pas un outil de planification de tâches pour le réseau TTEthernet. Pour remédier à ce problème on propose une adaptation, pour des fins de simulation, d’une approche de planification de tâches basée sur la spécification formelle des contraintes réseau. L’utilisation du solveur Yices a permis la traduction de l’ensemble des spécifications formelles en un programme exécutable générant le plan de transmission souhaité. Une étude de cas nous a permis, à la fin, d’évaluer l’impact de l’agencement des instants d’envoi des trames TT sur les performances de chaque type de trafic du système