Projets financés
Architecture d'antenne agile et durable pour les réseaux d'accès sans-fil de hautes capacités – SAGACITY
SAGACITY a pour objectif de démontrer pour la 1re fois une architecture innovante d’antenne large bande et fort gain en technologies planaires multicouche faible coût pour réseaux d’accès sans fil fixe en bande D. Une nouvelle architecture antennaire évolutive se basant sur une intégration hybride s
Approche à consommation réduite et faible complexité des réseaux cell-free MIMO massif – POSEIdON
Les futurs réseaux de communications envisagés pour la 6G devront satisfaire la demande, toujours plus croissante, de connectivité. Cependant, afin de limiter l’impact écologique des réseaux cellulaires, une amélioration de l’efficacité énergétique devra accompagner la montée en capacité de ces syst
Réseaux Cellulaires Adhoc pour une Architecture IoT Décentralisée – CANDI
L’objectif du projet CANDI est de développer les fondations de réseaux cellulaires ad-hoc comme pierre angulaire d’une architecture IoT décentralisée. Récemment, les réseaux cellulaires ont vécu une première révolution avec l’introduction de communications pair-à-pair. L’internet des objets (IoT) co
Modèles mémoires collaboratifs pour la vérification formelle – CoMeMoV
Frama-C a été utilisé avec succès pour la vérification déductive dans de nombreuses études de cas. De récentes applications conduites à Thales Research & Technology ont montré le besoin d'améliorations importantes afin de permettre de vérifier efficacement et de manière correcte des logiciels indust
Convergence IoT - Satellite – STEREO
L'objectif de ce projet est de réaliser un réseau Internet des objets intégré espace-terrestre (STEREO), dans lequel les appareils IoT peuvent se connecter de manière transparente aux passerelles au sol ou directement aux satellites en orbite terrestre basse (LEO) lorsqu'aucune infrastructure réseau
Production de code haute performance digne de confiance à travers des transformations source-à-source – OptiTrust
Transformer une implémentation naïve d'un algorithme en un code haute performance peut prendre des des mois de travail d'un programmeur expert. En effet, il faut arriver à tirer parti des instructions vectorielles, des différents cœurs, et des différents serveurs, ainsi qu'à optimiser la représentat
Planification et Apprentissage Efficaces pour le Partage de Ressources – EPLER
Les processus de décision Markoviens (MDP) et leurs équivalents dans l'apprentissage par renforcement ont connu un grand succès au cours des deux dernières décennies. Cependant, ces succès reposent souvent sur des ressources computationnelles assez exceptionnelles et ne peuvent être appliqués dans d
Algortihmes pour des Blockchains plus efficaces – BASE-BLOC
Les Blockchains permettent l'exécution de programmes de manière distribuée entre des participants qui ne se connaissent pas. Cela a permis notamment l’émergence des crypto-monnaies, comme le Bitcoin. Cependant, les Blockchains existantes ont toutes en commun un certain nombre de problèmes, comme un
Action Collaborative sur les interférences temporelles – CAOTIC
Le projet CAOTIC est une initiative ambitieuse pour regrouper les travaux de recherche des principaux acteurs français du domaine de l'analyse temporelle des systèmes temps-réel sur plateforme multi-coeur, avec un accent particulier sur les interférences dues au
Réduire l'empreinte énergétique des logiciels grâce aux changements de comportement des utilisateurs – BEHAVE
L’augmentation de la consommation énergétique des systèmes logiciels nous impose à mesurer, optimiser et réduire leurs impacts écologiques. Le rôle des utilisateurs est souvent négligé dans l’équation de l’optimisation énergétique. En particulier, les utilisateurs finaux reçoivent rarement des retou
Un nouveau paradigme de donnée: Les données autononomes et intelligentes – SKYDATA
De nos jours, qui contrôle les données contrôle le monde ou du moins le monde des TIC. En général, les données sont gérées à l'aide d'un intergiciel, mais dans ce projet, nous proposons un nouveau paradigme qui n'utilise pas de gestionnaire de données. Nous proposons de munir les données d'un co
Architectures matérielles et logicielles pour l'identification temps-réel de dispositifs par identification radio-fréquence pour les attaques TEMPEST – RedInBlack
Les attaques TEMPEST ciblent des dispositifs dont une information sensible non cryptée est émise de manière non désirée dans un canal électromagnétique. Ces fuites sont non maitrisées et sont dues à des couplages ou des imperfections matérielles. Les informations que contiennent ces canaux illégitim
Elagage efficace de réseaux de neurones – ProPruNN
Les réseaux de neurones profonds (DNN) sont devenus l'état de l'art dans les domaines de la classification d'images, de la détection d'objet et du traitement du langage naturel, entre autres. Cependant, cela se fait au prix d'une augmentation de la complexité : davantage de paramètres, calculs, cons
Optimisation globale pour des TPG très basse consommation pour les systèmes cyberphysiques intelligents – foutics
La complexité grandissante de l’intelligence artificielle (AI) basée sur les réseaux de neurones profonds crée un défi pour embarquer l’AI dans l’Internet des objets (IoT) très basse consommation (ULP) et les systèmes cyber-physiques (CPS). Le but du projet FOUTICS est de proposer des méthodes globa
Processeurs prédictibles prouvés – ProTiPP
Aujourd’hui, les systèmes embarqués utilisent des algorithmes gourmands en puissance de calcul et doivent être déployés sur des plateformes multicoeurs. Par ailleurs, ils doivent respecter des échéances et nécessitent donc une vérification temporelle. Le défi de la vérification temporelle de systèm
Inférence des caractéristiques réseau via exploration de données non-invasive – IONOS-DX
Il existe aujourd’hui une tendance à la « softwarisation » des équipments d’un réseau. Ce paradigme (alias Network Function Virtualization) préconise la virtualisation des dispositifs physiques "middleboxes" (statiques et coûteux), et leur déploiement (en tant morceaux de code) sur des serveurs stan
Estimation temps-réel des ressources spatiales pour communications millimétriques à haute mobilité – BeSensiCom
L’infrastructure de télécommunication mobile s’apprête à subir une profonde transformation. L’interconnexion rapide, robuste et fiable d’objets communicants permet d’envisager de nouvelles applications telles que la voiture autonome, les usines du futur ultra connectées et la réalité augmentée. Pour
Blockchain publique pour la gestion d'identités autosouveraines – BC4SSI
L'identité est le fondement de la confiance. La gestion des identités numériques s'avère complexe et elle est généralement gérée de manière centralisée. Cependant, les approches centralisées sont sujettes aux défaillances et peuvent permettre la censure. Les identités auto-souveraines (SSI) font réf