Projets financés
Antenne réseau à balayage électronique en bande Ka – ESKALAD
Les télécommunications par satellites géostationnaires avec des mobiles terrestres, maritimes ou aériens ont tendance à exploser. Ce service nécessite de petits terminaux embarqués d’une grande flexibilité, économiques, fiables, pouvant résister à d’importantes contraintes d’environnement et occupan
Signalisation avancée à multi-dimensions et codage M-aire pour les réseaux de fibre optique – MUSICO
La fibre optique constitue le noyau des réseaux modernes de communication. Les transmissions à longue distance sont basées sur la détection cohérente ainsi que sur le traitement du signal à haute efficacité spectrale. Les futurs systèmes optiques vont contenir des nouveaux liens optiques afin d’assu
Routage et Affectation Spectrale Optimaux dans des Réseaux Optiques Elastiques Flexgrid de Taille Réelle – FLEXOPTIM
Une nouvelle grille de multiplexage en longueurs d’onde dans les réseaux optiques à spectre flexible (en anglais : SFON) a été standardisée en 2012. FLEXOPTIM développera des algorithmes de routage et l’allocation de spectre (en anglais : RSA) afin d’optimiser l’usage du spectre WDM dans les SFON,
Ordonnancement de données pour le calcul haute-performance – DASH
Alors que la puissance de calcul des super-ordinateurs continue de croitre exponentiellement, leur capacité à traiter les données reste limitée. Il est attendu à ce que la gestion des données soit l'une des limitations les plus critiques de la prochaine génération de super-ordinateurs. Nous propo
Une méthodologie correcte par construction pour supporter la variabilité du temps d'exécution dans les systèmes temps réel – Corteva
L'objectif principal de ce projet est de contribué à la conception et au développement de la prochaine génération de systèmes temps réel embarqués critiques. En particulier, nous voulons résoudre le problème de la grande variabilité du temps d'exécution à l'aide de modèles de programmation sûrs et
Analyses formelles et exhaustives de systèmes embarqués de contrôle à base de calculs intensifs – FEANICSES
Avec le développement de la capacité des calculateurs, tant en puissance de calcul qu'en mémoire, on observe un intérêt croissant pour les fonctions embarquées numériques avancées. Cependant les coûts de vérification et validation croient eux de façon exponentielle et posent aujourd'hui une barri
Preuves formelles pour systèmes temps-réel – RT-proofs
Les systèmes temps-réel sont des systèmes qui doivent satisfaire des exigences temporelles telles des bornes de temps de réponse, c'est à dire des bornes sur le temps maximum nécessaire à une tâche logicielle pour terminer son exécution une fois qu'elle a été activée. C'est systèmes sont omnipré
Certification de compilation Sure pour l'IoT – CISC
Depuis il y a une dizaine d'années, les chercheurs ont travaillé sur la conception de langages multiniveaux pour le web. Un langage multiniveau de programmation unifie dans un seul formalisme et un seul environnement d'exécution la programmation des differents niveaux de applications distribuées
Retour à la modulation monoporteuse pour des communications beyond-5G au-delà de 90GHz – BRAVE
Le projet BRAVE propose l’étude de technologies de radio-communication innovantes offrant une utilisation efficace du spectre 90-200GHz. Il contribuera à l’émergence de systèmes de communication sans fil « beyond 5G » (B5G) de très haut débit et très forte capacité. La modulation mono-porteuse (« si
Faire Varier la Variabilité – VaryVary
La plupart des systèmes logiciels modernes (système d'exploitation comme Linux, navigateurs Web comme Firefox ou Chrome, encodeurs vidéos comme x264 ou ffmpeg, serveurs, applications mobiles, etc.) sont sujets à varier ou sont déclinés dans de nombreuses variantes. Des centaines d'options de configu
Solutions logicielles pour l'optimisation des programmes et ressources quantiques – SoftQPRO
Les ordinateurs quantiques peuvent théoriquement résoudre des problèmes hors de portée des ordinateurs classiques. Nous visons à faciliter les interactions cruciales entre l'approche théorique de l'informatique quantique et les efforts technologiques réalisés pour implémenter l'ordinateur quantique.
Analyse statique des algorithmes distribués tolérants aux pannes – SAFTA
Les structures de données distribuées tolérantes aux pannes sont extrêmement complexes en raison des multiples sources de non-déterminisme. Le projet envisage d'augmenter la confiance que nous avons dans les implantions distribuées tolérantes aux pannes. Nous étudierons les abstractions partiell
Intégration correcte de modèles discrets et continus – DISCONT
Les systèmes cyber-physiques (CPS) interconnectent le monde réel au travers de réseaux de capteurs et d’actionneurs: des composants physiques et logiques (calculatoires) interagissent selon différentes voies, dépendant du contexte selon des échelles spatiales et temporelles différentes. Les domaines
Préservation de la vie privée dans un environnement d'exécution multi-enclaves fiables – PRIMaTE
Aujourd'hui, de nombreux services en ligne (moteurs de recherche, services basés sur la localisation, systèmes de recommandation) sont utilisés par des milliards d'utilisateurs chaque jour. La clé du succès de ces services est d'offrir des résultats personnalisés, c'est-à-dire de retourner les résul
Récepteurs et Allocation de ressources pour des systèmes cognitifs satellitaires à haute efficacité spectrale – SIERRA
Le projet SIERRA concerne l'augmentation de la qualité de service pour les communications satellitaires. Il se focalise sur une utilisation plus agressive de la bande spectrale en utilisant le principe de la radio cognitive. Pour ce faire, le projet proposera une allocation dynamique des ressources
Comment l’apparition de la Wake-up radio va révolutionner les réseaux IoT hétérogènes – Wake-Up
Ces dernières années ont vu l’émergence des communications radio longue portée à faible consommation, mais souvent au prix d’une latence élevée, notamment en liaison descendante. En se basant sur le concept de la wake-up radio (WUR), qui garde le récepteur en veille avec une consommation négligeable
Un cadre multi-technologique pour relever le défis des données mobiles massives – CiTADEL
Le smartphone a révolutionné la façon dont les gens se connectent et utilisent Internet déclenchant ainsi une croissance exponentielle du trafic des données mobiles. La 5G est censée être la réponse à cette crise imminente de données, promettant jusqu'à 1 Gbps de débits, un facteur d’amélioration de
5C-for-5G: Mis en Cache, reComendation, et Communication Coordonnées des Contenus pour les réseaux 5G – 5C-for-5G
La mise en cache de contenu au bord des réseaux 5G est nécessaire pour suivre le tsunami de données. Mais la recherche dans le domaine a été largement fragmenté, en se concentrant uniquement sur la partie d'accès ou backhaul/core uniquement, utilisant des hypothèses/mesures contradictoires. En plus,