Determinism Enhancement and Reliability Assessment in Safety Critical AFDX Networks

AFDX est une technologie basée sur Ethernet, qui a été développée pour répondre aux défis qui découlent du nombre croissant d'applications qui transmettent des données de criticité variable dans les systèmes modernes d'avionique modulaire intégrée (Integrated Modular Avionics). Cette technologie de sécurité critique a été notamment normalisée dans la partie 7 de la norme ARINC 664, dont le but est de définir un réseau déterministe fournissant des garanties de performance prévisibles. En particulier, AFDX est composé de deux réseaux redondants, qui fournissent la haute fiabilité requise pour assurer son déterminisme. Le déterminisme de AFDX est principalement réalisé par le concept de liens virtuels (Virtual Links), qui définit une connexion unidirectionnelle logique entre les points terminaux (End Systems). Pour les liens virtuels, les limites supérieures des délais de bout en bout peuvent être obtenues en utilisant des approches comme calcul réseau, mieux connu sous l'appellation Network Calculus. Cependant, il a été prouvé que ces limites supérieures sont pessimistes dans de nombreux cas, ce qui peut conduire à une utilisation inefficace des ressources et augmenter la complexité de la conception du réseau. En outre, en raison de l'asynchronisme de leur fonctionnement, il existe plusieurs sources de non-déterminisme dans les réseaux AFDX. Ceci introduit un problème en lien avec la détection des défauts en temps réel. En outre, même si un mécanisme de gestion de la redondance est utilisé pour améliorer la fiabilité des réseaux AFDX, il y a un risque potentiel souligné dans la partie 7 de la norme ARINC 664. La situation citée peut causer une panne en dépit des transmissions redondantes dans certains cas particuliers. Par conséquent, l'objectif de cette thèse est d'améliorer la performance et la fiabilité des réseaux AFDX. Tout d'abord, un mécanisme fondé sur l'insertion de trames est proposé pour renforcer le déterminisme de l'arrivée des trames au sein des réseaux AFDX. Parce que la charge du réseau et la bande passante moyenne utilisée augmente due à l'insertion de trames, une stratégie d'agrégation des Sub-Virtual Links est introduite et formulée comme un problème d'optimisation multi-objectif. En outre, trois algorithmes ont été développés pour résoudre le problème d'optimisation multi-objectif correspondant. Ensuite, une approche est introduite pour incorporer l'analyse de la performance dans l'évaluation de la fiabilité en considérant les violations des délais comme des pannes.