Description
Date depot: 1 janvier 1900
Titre: Architectures Radio-Logicielles Appliques aux Reseaux Vehiculaires
Directeur de thèse:
Raymond KNOPP (Eurecom)
Domaine scientifique: Sciences et technologies de l'information et de la communication
Thématique CNRS : Non defini
Resumé:
L’application du concept de la radio logicielle aux véhicules qui doivent prendre en charge des normes de plus en plus complexes exige la prise en compte de contraintes concernant aussi bien l’architecture matérielle que la conception logicielle. Il s’agit notamment de la consommation en énergie et de la gestion des ressources disponibles, mais aussi des nouvelles méthodes de développement et concepts pour une conception matérielle/logicielle commune optimisée pour les plate-formes reconfigurables. Dans cete thèse, nous proposons d’examiner de nouvelles méthodes qui simplifient, voire permettent simplement la mise en œuvre et la validation de systèmes radio logicielle intégrés complexes. Le point de départ est générique, si bien qu’il ne se limite pas à une seule plate-forme de communication mais qu’il est applicable à d’autres plates-formes radio logicielle. L’architecture matérielle/logicielle open source développée en liaison avec les projets européens et français (ANR 2005 IDROMEL, IST E2R2, Plate-forme Multimodale) sous le nom openairinterface.org sert de point de départ. Le résultat de ce projet étend cette mise en œuvre à un récepteur pour médias de diffusion qui fonctionne en parallèle sur la même plate-forme avec d’autres systèmes de communication bidirectionnels. Cela est rendu possible par l’utilisation concomitante des ressources matérielles et logicielles génériques.
Architectures de System-on-Chip pour la radio logicielle
Il convient de comparer entre elles différentes architectures de radio logicielle. Par exemple, des bus séparés ont permis d’obtenir un meilleur débit pour les signaux de commande et les données utiles, ce qui implique toutefois un besoin supplémentaire en ressources sur un FPGA (circuit intégré programmable).
Modélisation, validation et vérification de normes radio
Outre la méthodologie relative à la conception architecturale, nous ciblons un cadre efficace pour la validation et la mise en œuvre d’algorithmes et de normes radio complexes. Dans ce cas de figure, la mise en œuvre du récepteur de diffusion sert de test. La mise en œuvre de la plate-forme cible est validée à partir d’une description algorithmique séquentielle des composants de récepteur requis et d’une description formelle des contraintes (vitesse de calcul, latences de traitement, consommation de courant). L’analyse peut être effectuée de deux façons différentes : avec l'analyse formelle statique d’une description abstraite et avec une simulation dynamique des événements. Dans la simulation dynamique, nous étudierons la mise en œuvre sur la plate-forme cible reflétant le comportement temporel du matériel dans un émulateur. La première analyse sert à tester le modèle avant la mise en œuvre complète, alors que la seconde évalue l’exactitude des deux modèles en s’assurant que la mise en œuvre représente correctement le modèle. Ceci est nécessaire pour garantir tant la capacité de fonctionnement de la mise en œuvre que le respect indispensable de la norme radio. L’utilisation de méthodes de simulation permet d’évaluer dans les phases de conception initiales la durée de vie d’algorithmes sur des processeurs intégrés.
Doctorant.e: Schmidt Carina