Projets financés
Migration à chaud de machines virtuelles entre machines physiques hétérogénes – SecondChance
La virtualisation est une technologie clé pour les centres de données et de l’informatique en nuage (cloud computing) car elle permet une allocation flexible des ressources via des machines virtuelles (VM) : le déploiement de plusieurs VM sur un même serveur physique réduit les coûts d’infrastructur
Lord of the RISCs – LOTR
La majorité des plates-formes IoT s'appuient sur des micro-architectures et jeux d'instructions très spécialisés conçus manuellement à l'aide de langages HDL. La conception d'une micro-architecture à ce niveau d'abstraction est très fastidieuse, même pour des pipelines in-order peu profonds. La p
Modélisation et Vérification pour CPS Sécurisés et Performants – MoVe4SPS
Les systèmes cyber-physiques (CPS) sont en train de gagner une part croissante d'écosystèmes et d'infrastructures critiques. CPS sont également présents dans des véhicules autonomes, des avions, des équipements médicaux, et des réseaux électriques et usines intelligentes. Composants des CPS combinen
Adaptivité Dynamique Intelligente pour les Systèmes de Cloud Computing – SmartCloud
L’environnement de tout composant d'un système de cloud computing (CSS) est sujet à l'évolution continue. Afin de maintenir la disponibilité tout en satisfaisant aux exigences économiques, les CCS doivent s'y adapter dynamiquement, impliquant plusieurs composants et faisant appel à des protocoles d'
Raisonnements formellement certifiés en apprentissage automatique – ForML
Les progrès actuels de l'apprentissage machine (ML) laissent présager un panel toujours plus large d'utilisations des modèles ML. Toutefois, dans les domaines jugés à haut risque, mais aussi dans les domaines critiques pour la sécurité, le déploiement de modèles ML devrait être étayé par des outils
IA frugale basée sur des modèles pour des systèmes de communication sans fil efficients – MoBAIWL
Les systèmes de communication sans fil évoluent constamment vers plus de sophistication afin de répondre à des exigences d'efficacité toujours plus grandes. Cette évolution entraîne un traitement de données plus complexe, qui peut être effectué à l'aide de techniques classiques de traitement des sig
Infrastructure convergente de communication, contrôle et ordonnancement des systèmes de transports basés sur des multi-capsules – COMMITS
La mobilité urbaine ne cesse d'introduire de nombreux défis environnementaux, sociétaux et économiques. En effet, en raison du manque d'alternatives de transport efficaces, 54% de la population française utilise encore sa voiture tous les jours. Pour répondre à ces enjeux, URBANLOOP SAS développe a
Évolution dirigée par les modèles pour les systèmes sécurisés – MODES
Le projet MODES se concentre sur l'évolution sécurisée de systèmes complexes à logiciel prépondérant (usines intelligentes, systèmes Cloud, IoT et IA, par exemple) qui fonctionnent dans des environnements incertains et en constante évolution. Tout système peut avoir besoin de revoir sa sécurité par
Approche unifiée de la sécurité basée sur la couche physique pour les réseaux sans-fil LPWANs – UniPHY
La sécurité et la confidentialité dans les communications sans fil ont tendance à être gérées à partir des couches supérieures de la pile. Cette approche, héritée de décennies d'infrastructures de réseaux câblés comme environnement à sécuriser, a montrée ses limites et son inadéquation lorsqu'elle a
Pile de communication sans fil programmable pour des déploiements pérennes – PERENNE
Une pléthore de technologies de communication sans fil est actuellement disponible, certaines proposant un fort débit de données au détriment de la consommation énergétique alors que d'autres visent le compromis inverse. Dans ce contexte, le déploiement d'un nouveau réseau sans fil se fait en adéqua
sGOV: Economies d'énergie pour les VMs avec des gouverneurs intélligents – sGOV
Les gouverneurs sont des composants essentiels d'un système d'exploitation qui gèrent la consommation d'énergie. Ils sont chargés d'augmenter ou de diminuer la fréquence de fonctionnement des cœurs pour réaliser des économies d'énergie tout en préservant les performances. Les gouverneurs s'appuien
Synthetisation d'analyses de performance spécifiques d'application – Sapper
L'évaluation des performances est cruciale pour comprendre la consommation des ressources, tant dans les milieux universitaires qu'industriels. Une telle évaluation est réalisée à l'aide du benchmarking, i.e., mesures et analyses systématiques. Malgré son importance, la rédaction d'évaluations de pe
Méthodes réseaux pour l'IoT – NEMIoT
Alors que l'Internet des objets (IoT) pénètre notre vie quotidienne, les interactions entre les objets IoT et les infrastructures réseaux qui les hébergent sont nombreuses, potentiellement dangereuses et restent encore souvent à clarifier. NEMIoT (Méthodes Réseaux pour l'IoT) vise à développer de no
Adaptation dynamique de systèmes à composants hiérarchiques – ADAPT
Les systèmes cyber-physiques dits intelligents fonctionnent dans des environnements incertains et s'adaptent constamment aux conditions internes ou externes changeantes. Dans le contexte spécifique de la matière programmable, les systèmes sont composés d'une multitude de petits robots modulaires sim
Etude de systèmes avancés de positionnement à faible puissance – LAPSUS
Ce projet vise à répondre aux questions de recherche suivantes : est-il possible de localiser des dispositifs à très faible consommation avec une précision acceptable pendant des années et sans changer (ou recharger) la batterie d'alimentation et ce, par le biais de réseaux longue portée à grande éc
La prédictibilité temporelle d'implantation d'inférences de réseaux de neurones sur des architectures hétérogènes avec GPUs et d'accélérateurs. – HeRITAGES
Au cours de la dernière décennie, l'intelligence artificielle (IA) a fait l'objet d'une attention particulière de la part des communautés académiques et industrielles. Cela a permis de développer des systèmes complexes, tels que ceux requis pour la conduite autonome et les systèmes d'assistance à la