Projets financés

La congestion est un phénomène omniprésent dans de nombreuses situations, comme les réseaux de transport ou de communication. La congestion apparaît lorsque la charge offerte au système s'approche ou dépasse sa capacité, ayant un impact néfaste au point de vue économique autant que sur les performan

Les performances obtenues par l’implémentation adéquate d’un code correcteur d’erreur est l’une des clefs du succès pour faire la différence par rapport à la concurrence et faire d’un produit un succès commercial. Le facteur décisif peut être soit la complexité, la faible consommation et, bien sur,

Les objectifs du projet WONG5 (Waveforms MOdels for Machine Type CommuNication inteGrating 5G Networks) sont l’étude et la proposition de la forme d’onde (FO) la mieux adaptée à la couche physique des systèmes de type Critical Machine Type Communication (C-MTC). Le marché des MTC est estimé à 50 mi

Alors que nous entrons dans le monde de Big Data, le traitement mono-site devient insuffisant: les applications scientifiques à grande échelle ne peuvent plus être logés dans un seul centre de données. Les workflows sont la parfaite illustration de ces applications orientées données. Ils décrivent l

Pouvoir vérifier la correction et la robustesse des programmes et systèmes devient un enjeu majeur dans une société où les applications embarquées sont de plus en plus nombreuses et où leur caractère critique ne cesse d’augmenter. C’est notamment un enjeu crucial pour le calcul basé sur l’arithmétiq

Le projet CoLiS a pour but d'appliquer des techniques de vérification déductive et d'analyse de transformations d'arbres sur le problème de l'analyse des scripts shell, en particulier ceux utilisés dans les installations de paquetages logiciels. En effet, ces scripts jouent un rôle majeur dans l

1 - Objectifs : concevoir une nouvelle interface d'air pour Internet-des-objets mobile à intégrer dans les interfaces air futures pour les réseaux mobiles (5G) et les WLAN Notre projet vise à concevoir une nouvelle interface air à l’horizon 2020 pour un Internet-des objets mobile et haut débit. L

Les questions énergétiques sont au cœur de l'industrie des TIC, et en particulier de l'évolution de l'internet des objets (IoT). Les techniques actuelles de conception de circuits faible consommation ne peuvent pas soutenir la croissance estimée en nombre d'objets de l'IoT et dans le même temps main

Le projet FISP s'inscrit dans la prolongation du projet STRUCTURAL (2011-2013), qui avait pour objectif général d'étudier la structure des systèmes formels de démonstration et les interprétations calculatoires associées. Il se concentre sur le développement des axes de recherches qui se sont révélés

Depuis quelques années l’efficacité des datacenters s’accroît et le besoin en électricité pour l’hébergement des services type “Cloud” augmentent avec leur taille et la demande des utilisateurs. Avec les énergies renouvelables et les utilisations associées en courant continu dans les datacenters, no

Le duplex intégral (ou Full Duplex) consiste à émettre et recevoir simultanément dans la même bande de fréquence ce qui permet en théorie d’augmenter la capacité de communication. Les objectifs du projet DUPLEX sont: - Des études théoriques sur les limites théoriques (débit) des équipements de comm

L’industrie des SCPM tarde à franchir le pas des méthodes formelles pour diverses raisons : - la modélisation complète des SCPM et leur vérification à l’exécution semble inatteignable car leurs modes d’utilisation ne sont pas toujours maîtrisés et leurs capteurs n’offrent qu’une perception très lim

Le projet N-GREEN vise à relever les défis actuels des réseaux de télécommunications : l’augmentation continuelle du trafic et la consommation énergétique incontrôlée. Le principal goulet d’étranglement est la commutation, extrêmement consommatrice d’énergie dans les routeurs électroniques actuels.

Le but de ce projet est de développer la première bibliothèque de structures de données et algorithmes formellement prouvée. Cela peut paraître surprenant, mais il n'existe à ce jour aucune telle bibliothèque de grande ampleur, quel que soit le langage de programmation. Ces dernières décennies o

Notre quotidien est de plus en plus lié à Internet et cette dépendance se traduit souvent par une grande frustration quand la connectivité n’est pas au rendez-vous pour réaliser certaines tâches qui peuvent être particulièrement importantes. La qualité d’expérience (QoE) de l'accès à Internet est do

La décennie prochaine verra la généralisation des traitements et communications dématérialisés où les calculs et les données seront "mobiles" et traités de manière transparente aux utilisateurs. Cela mènera à la convergence des technologies numériques actuelles, incluant les systèmes embarqués via l