Projets financés
Contraintes environnementales pour les futures réseaux cellulaires durables – SUCCEN
L'empreinte environnementale du secteur des communications représente entre 1,8 et 3,9% des émissions de gaz à effet de serre et la tendance est à la hausse. Mais des réseaux cellulaires de nouvelles génération (5G) sont en cours de déploiement ; ils devraient permettre de réduire la consommation
Assistant de Preuves et Systèmes Temporels/Temporisés – TAPAS
La conception et vérification formelles de systèmes critiques exigent de considérer avec la même importance, dès le début, les exigences fonctionnelles et temporelles. Néanmoins, intégrer le temps sous toutes ses formes dans les assistants de preuves reste un défi majeur car le temps est souvent int
CENTEANES : Vers des applications serverless correctes par construction – CENTEANES
Un des fardeaux du cloud est la gestion des ressources, qu'elles soient serveurs, VMs ou bien conteneurs. Le serverless promet de simplifier ceci. Dans ce nouveau paradigme, l'unité de calcul est la fonction. Chaque fonction est déployée et gérée par une plate-forme, de type function-as-a-service, q
Accéleration réseau pour l'IA générative – Net4AI
L'accélération réseau pour les grappes de calcul d'IA générative implique l'optimisation de la communication entre plusieurs modèles d'IA, souvent répartis sur différents nœuds. Dans ce contexte, un grand nombre de défis de recherche doivent être relevés. La réduction de la latence est cruciale pour
MPNets: Des réseaux sans fil multi-fonctions pour une vie plus intelligente – MPNets
Alors que les techniques de wireless sensing sont aujourd'hui en plein développement pour rendre possibles de nombreuses applications secondaires, elles ne permettent pas encore aux réseaux de repousser leurs limites dans la réalisation de leur fonction première : la communication. Ces réseaux conti
De Shannon à Cray – SxC
L'art d'écrire des algorithmes vectorisés est disséminé dans de nombreuses communautés: architecture et système, langages de programmation, codes industriels. Le premier objectif du projet est d'organiser ces connaissances à l'aide d'outils mathématiques et pratiques. L'objectif final est alors de
Verification formelle bout-en-bout d'algorithmes de contrôle – CAFEE
La conception de systèmes de contrôles par les automaticiens est principalement centrée sur le comportement à haut niveau des algorithmes de contrôle, caractérisant leurs propriétés comme la stabilité ou convergence, la robustesse et la performance. En particulier, ils supposent généralement qu
Architecture de géolocalisation globale à faible consommation – GTTP
La géolocalisation est essentielle au fonctionnement efficace de nombreuses organisations modernes. Une géolocalisation fiable peut améliorer les processus, renforcer la sécurité, augmenter la rentabilité, réduire les coûts et les pertes, créer de nouveaux services à valeur ajoutée. Au sein de l’inf
Formes d'ondes et gestion des ressources pour des communications machines-machines sur de grandes zones – WARM-M2M
Les communications M2M (Machine-to-Machine) permettant de relier le monde réel à son jumeau numérique est l'un des principaux défis des futurs réseaux cellulaires sans fil (cette évolution est déjà engagée avec la 5G). En effet, l’infrastructure d’un réseau cellulaire est optimisée pour passer des f
Optimisation de la COllecte de Données via Nœuds Terrestres et Vecteur Aérien, en milieu contraint, et application en agriculture. – OCOD
Ce projet vise à inventer une nouvelle génération de collecte de données par vecteurs aériens et à tester cette approche en agriculture. L'objectif principal est d'utiliser les drones comme des « mules de données » pour collecter des données à partir d'objets connectés au sol, dans des environnement
Tirer parti de la programmabilité pour céer des réseaux verts adaptatifs – GARDEN
Le projet GARDEN vise à réduire l'impact du surdimensionnement des réseaux informatiques en adaptant les comportements des routeurs au trafic à l'aide des technologies de programmabilité profonde. Le but est d'améliorer l'efficacité des réseaux informatiques et de réduire leur consommation d'énergi
Adaptation des communications dans le calcul multiniveau pour le contrôle de processus jumelé numérique – TCDTP
L’automatisation du contrôle des processus pour atteindre les objectifs de l’Industrie 5.0 constitue un défi urgent pour l’industrie. Un élément clé est la notion de jumeau numérique, où la collecte de données en temps réel, rendue possible par des capteurs connectés sans fil, est utilisée pour amél
CITADEL : Confidentialité et mitigation du biais dans l'apprentissage fédéré pour la santé numérique – CITADEL
L'apprentissage fédéré (FL) est un paradigme prometteur qui prend de l’ampleur dans le domaine de l'apprentissage automatique préservant la confidentialité des systèmes de edge computing. Grâce au FL, plusieurs propriétaires de données appelés clients peuvent produire de manière collaborative un mod
Formalisation de langages de configuration – FOR-COALA
Les grands systèmes logiciels distribués sont désormais omniprésents, les systèmes à base de composants (par exemple, les architectures orientées services ou les micro-services) offrent un moyen pratique de structurer de grands systèmes, en particulier les systèmes déployés dans le Cloud, au cœur ou
Fondations vérifiées de systèmes de graphes distribués à grande échelle – VERDI
Les bases de données relationnelles font face à la complexité des données interconnectées et hétérogènes. Ainsi, les bases de données graphes ont gagné en popularité dans l'industrie et l'académie. Par exemple, certaines avec des données multiomiques ont été collaborativement conçues pendant la pand
Algorithmes distribués frugaux au coeur des réseaux – FrugalDinet
Ces dernières années, des technologies matérielles innovantes ont émergé pour améliorer les calculs distribués dans les centres de données. Ainsi, les switchs programmables permettent le traitement des paquets avec des fonctionnalités définies par l'utilisateur pendant le transit des paquets. De mêm
Caractérisation, Vérification et Mutualisation des Workflows de ML – PROFIL
La démocratisation du Machine Learning (ML) à de nombreux domaines d’applications a pour conséquence une profusion de codes mis en commun sans réel contrôle. En pratique, l’expertise portée par ces codes est largement réutilisée pour guider de nouvelles explorations. Cependant, il reste aujourd’hui
Analyses statiques tenant compte des limites – RAISIN
Une approche visant à réduire le nombre de bogues est l'analyse statique sûre des programmes. Les analyseurs statiques proposent un nombre important d'options de configuration qui permettent aux utilisatrices et utilisateurs de choisir différents compromis performance-précision. Le but de ce projet