Élaborer un environnement de test pour la vérification et la validation d'applications réseaux configurables sur FPGA

Le Software-Defined Networking (SDN) est une architecture importante qui a émergé au cours des années 2010. Elle introduit la séparation de plan de contrôle et de plan de données dans les périphériques réseau tel que les commutateurs et les routeurs. Cette architecture permet à l'utilisateur de définir la logique du plan de données et de centraliser le contrôle de ressource. La programmabilité des applications réseau est largement augmentée donc divers types d'équipements reprogrammables sont développés. Les FPGA, parmi d'autres approches, sont largement utilisés comme plateformes SDN en raison de leur haute reprogrammabilité, de leur flexibilité et de leur coût raisonnable. Cependant, avec l'augmentation rapide de la complexité du matériel, le débogage devient de plus en plus difficile. Les bogues dans les périphériques réseau se traduisent par des pertes financières pour les fournisseurs de services réseau et dégradent la qualité de l'expérience pour les utilisateurs. Les outils de simulation ne peuvent pas garantir une couverture complète des pannes, car les bogues peuvent se manifester à tout moment dans le matériel. Pour atténuer ces problèmes, nous proposons un outil de co-vérification matériel/logiciel (HW/SW) qui cible les périphériques réseaux programmables. Le système intègre une simulation logicielle et une mise en œuvre matérielle précises au cycle d'horloge. Pour la mise en œuvre du logiciel, des outils ouverts tel que CocoTB et GHDL ont été utilisés. La partie matérielle est implémentée dans un FPGA, incluant le modèle à tester (Device Under Test (DUT)) et les interfaces de test. Les données peuvent être extraites des ports d'entrée/sortie (I/O) du DUT pendant l'exécution en temps réel. L'insertion des données produites par le banc de test logiciel est également prise en charge. Pour l'implémentation matérielle, des expériences rapportées ont été menées sur la plateforme DE10-Standard et la plateforme NetFPGA-SUME. Cette première est une carte de développement générale sous l'environnement d'Intel. Cette dernière est une nouvelle carte spécifique au développement de programme réseau équipée avec les ports Internet de haut débit. Pour identifier la source d'un bogue, les assertions matérielles sont supportées par l'environnement. Il permet de capturer les données avant et après la présentation d'une assertion.