Projets financés

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 à

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

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

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

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

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

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

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

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