Projets financés
Contrôle de réseaux par apprentissage automatique interprétable et respectant des bornes de stabilité
Dans la dernière décennie, le Software Defined Networking a permis de mieux découpler les plans de contrôle et de données. Côté système, les avancées pour le plan de contrôle ont été la puissance de calcul, la virtualisation du réseau, la programmabilité du plan de données, l’intégration accélérateu
Planification et apprentissage pour AI-Edge Computing (PARFAIT) – PARFAIT
Les nouvelles générations de réseaux d’accès mobiles promettent une communication haut débit, des délais restreints et des capacités de traitement offertes par le réseau lui même. Les données générées par l'IoT (vidéo par exemple) ou les smartphones des utilisateurs alimenteront les applications IA
Ordonnancement Temps Réel de Plateforme Multiprocesseur Hétérogène
Les systèmes sur puce multiprocesseur (MPSoCs) embarqués dans les systèmes temps réel sont de plus en plus hétérogènes (dotés de CPUs, GPUs ou NPU par ex.). Cette hétérogénéité permet des gains de performances (calcul, consommation énergétique) mais complexifie leur analyse. Les systèmes temps réel
Service de recommandation pour des logiciels en ligne plus durables
Le cloud attire de plus en plus d'entreprises et d'acteurs en offrant un environnement d'hébergement confortable et flexible de services numériques en ligne. Néanmoins, l'écosystème du cloud est également de plus en plus concerné par l'impact environnemental de la digitalisation massive de notre éco
Langage me´tier pour la ge´ne´ration de Blockchains personnalise´es
Le projet GenBlock vise à démocratiser l'usage des technologies blockchain en permettant à des usagers (e.g., entreprises, organismes publics) de générer des blockchains répondant à leurs besoins fonctionnels et non-fonctionnels à défaut d'utiliser des technologies grand public (e.g., Bitcoin, Ether
FACTO: un réseau Wi-Fi multi-usage pour une maison connectée à faible consommation énergétique
Le nombre de maisons intelligentes augmente rapidement dans le monde avec une quantité croissante d'appareils informatiques utilisant des réseaux sans fil. La diversité de ces appareils s'accompagne du développement de multiples protocoles et technologies sans fil qui visent à les connecter. Cependa
Planification hiérarchique désagrégée pour les réseaux au-delà de la 5G
L'industrie des télécoms traverse une transformation profonde conduisant à la transition vers des architectures ouvertes et des réseaux logiciels. Cette tendance progresse rapidement et prend de l'ampleur grâce aux logiciels et aux normes open-source des composants de l'infrastructure de communicati
Techniques à Complexité Réduite et Analyse des Performances pour le Cell-Free MIMO Massif 6G
Les systèmes d'antennes distribuées (DAS) devraient jouer un rôle fondamental dans les futurs systèmes sans fil. Dans les DAS, les points d'accès (AP) sont répartis sur une vaste zone et connectés à une unité de traitement centralisée. Ils présentent un grand potentiel pour améliorer l'efficacité sp
Détection passive, localisation, et cartographie simultanées aux fréquences millimétriques
Le projet S²LAM a pour objectif de développer un nouveau système aux fréquences millimétriques réalisant simultanément la détection passive, la localisation, et la cartographie de l’environnement. L’idée principale consiste à exploiter les fréquences de la 6G pour lire des capteurs passifs, obten
Machinæ pluribus unum - (faire) une seule machine avec plusieurs
Les architectures clouds et hautes performances et sont de plus en plus hétérogènes et intègrent du matériel souvent spécialisé. Nous avons d'abord vu la généralisation des GPUs suivie par l'introduction des FPGAs. Plus récemment, nous avons vu l'apparition d'autres accélérateurs: les tensor process
Assistants de preuve basés sur la théorie des ensembles interopérables et sûrs
Les méthodes formelles déductives visent à améliorer la qualité des logiciels à l'aide d'outils qui sont construits sur des fondements mathématiques solides, tels que la théorie des ensembles. Ces outils permettent à leur utilisateur de démontrer des propriétés de correction d'un programme par rappo
Faisceaux de Bessel non diffractifs: nouveau paradigme pour les communications sans fil champ proche sans atténuation de propagation
Notre société est largement interconnectée, avec une multitude de terminaux permettant de travailler et interagir à distance. Nous devons ce confort aux communications sans fil dont le trafic mondial en pleine croissance atteint déjà plusieurs dizaines d’exabits par mois. Maintenir un tel rythme est
Methodes combinées d'analyse, d'ordonnancement et de compilation sur cibles multi/many-coeurs et GPU pour applications de véhicules autonomes basées sur les réseaux de neurones
Les méthodes basées sur les réseaux de neurones (RNs) ont grandement progressé ces dernières années. Des applications de vision, fusion de données et de planification pour les véhicules autonomes (VA) ont ainsi été développées avec succès. Cependant les systèmes informatiques contrôlant les VA sont
Apprentissage fédéré en ligne robuste et efficace
Les données générées par les dispositifs mobiles sont souvent exploitées par des techniques d'apprentissage automatique afin d’augmenter la personnalisation des services en ligne. Dans ce contexte, l’apprentissage fédéré (FL) constitue une solution attrayante de part sa capacité à préserver la vie p
Augmenter les outils de raisonnement sur le langage B par des techniques SAT et SMT
Le projet BLaSST vise à établir un pont entre des techniques combinatoires et symboliques en déduction automatique en vue de résoudre des obligations de preuves issues de modèles B. Les travaux contribuent à avancer l'état de l'art en déduction automatique, notamment les techniques SAT et SMT, et à
Comportement temporel sous fautes pour des systèmes critiques sur multicoeurs – FASY
Les industries embarquées critiques, telles que l'avionique, l'automobile, la robotique et la santé, exigent des garanties pour l'exécution correcte d’applications en temps réel stricte. Ces applications deviennent plus en plus complexes, leurs demandes de calcul augmentent, ce qui nécessite des arc
Parallélisation Automatique à Base de Tâches avec Exécution Spéculative
Les performances croissantes des supercalculateurs sont soutenues par l'utilisation de processeurs manycore ou d'accélérateurs. Ce type de machines demande une grande expertise pour être utilisé efficacement. Les activités de recherches en informatique ont évolué dans différentes directions, parfois
DOLL: Communication DOwnLink efficace pour une capacité LoRaWAN augmenté
L'une des technologies les plus représentatives des réseaux longue portée, LoRaWAN, a pris de l'ampleur au niveau mondial. Des nombreux opérateurs de télécommunications comme Bouygues Telecom, Orange et KPN ont déployé chacun plusieurs milliers de passerelles LoRaWAN pour accélérer l'innovation dan
Antennes optiques orientables pour l'amélioration de la QoS de réseaux LiFi sans cellules
Le LiFi est considéré comme une solution de connectivité pertinente pour faire face à l'explosion du trafic attendue avec la 5G et encore plus avec la 6G. Les systèmes LiFi utilisés actuellement pour l’accès réseau en intérieur, par exemple dans les bureaux, sont basés sur le concept de cellules gén
Guider l'évolution des bibliothèques logicielles par leur usage
Le développement logiciel implique l'utilisation de bibliothèques logicielles. Comme tout logiciel, les bibliothèques évoluent pour intégrer de nouvelles fonctionnalités et corriger des bugs et failles de sécurité. Les clients doivent se tenir à jour des évolutions des bibliothèques qu'ils utilisent
Apport de l'intelligence artificielle à la conception et au décodage de codes correcteurs d'erreurs
Le projet AI4CODE réunit 6 équipes de recherche françaises expertes dans la conception, le décodage et la standardisation de codes correcteurs d'erreurs. L'objectif est de monter en compétence sur les méthodes d'intelligence artificielle et d'apprentissage automatique, afin d'évaluer les amélioratio
OCRE: Réduire le coût du debugging avec la première génération de debuggers orientés objet
Le debugging est difficile et coûteux. Le debugging centré sur les objets est une technique récente qui soutient que la concentration du debugging sur des objets spécifiques facilite considérablement le suivi et la compréhension des bugs difficiles dans les systèmes à objets. Mais il manque des briq
Réseau de drones pour le suivi de panaches de pollution dans les situations d'urgence
Le projet DRON-MAP adresse l'utilisation de réseaux de drones coopératifs pour le suivi de panaches de pollution en situation d'urgence (accidents industriels, catastrophes naturelles, attaques terroristes, etc.). Le déploiement d'un réseau de drones dans ces situations fait face à différents verro