Projets financés
Vérification de Machines Abstraites pour les Systèmes d’Exploitation – VeriAMOS
Les Systèmes d'Exploitation généralistes comme Linux sont de plus en plus utilisés dasn des systèmes embarqués critiques, dans l'automobile, le secteur médical et les systèmes cyber-physiques. Toutefois, il es bien connu que les OS généralistes sont vulnérables aux bugs. Récemment, de grands pr
Accélérer le calcul parallèle à l’aide de méthodes de diffusion grâce aux réseaux sur puce hybride radio – RAKES
L'approche principalement utilisée pour programmer les puces multi/manycore suppose que la mémoire est partagée, et que le support matériel pour cela est la cohérence de cache à travers toute la hiérarchie mémoire. La question de permettre le passage à l'échelle du protocole nécessaire pour assurer
Scalevisor: un hyperviseur pour rack désagrégé – Scalevisor
Le projet Scalevisor propose d'utiliser plus efficacement les ressources matérielles en évitant la fragmentation. Le principe de Scalevisor (un gestionnaire de machines virtuelles, hyperviseur) est de désagréger les ressources matérielles (mémoire et processeurs) de plusieurs machines pour les réagr
Support des critères de test avancés pour les logiciels robustes et sécurisés – SATOCROSS
Les pratiques du test logiciel ont subi des changements rapides au cours des dernières années. Cela peut être attribué à une large adoption des méthodes agiles (e.g. intégration continue ou développement guidé par le test) qui placent le test au centre du développement logiciel. Pour mieux choisir l
Compilation sécurisée de primitives cryptographiques – scrypt
Le but du projet est d’assurer, à l’aide de méthodes formelles, la sécurité de bout en bout de codes cryptographiques depuis le source jusqu’au binaire. Nous avons l’intention de prouver l’absence d’erreurs de programmation mais aussi d’assurer que les contre-mesures de sécurité sont toujours pr
Gestion de slices dans le réseau d’accès mobile de la 5G – MAESTRO5G
Le projet MAESTRO-5G a pour objectif de développer des technologies permettent d’implémenter et de gérer les slices des réseaux d’accès radio 5G, pour permettre de fournir des services hétérogènes, mais aussi pour permettre le partage dynamique d’infrastructure entre opérateurs. Pour y parvenir le p
Adaptation basée sur le contenu et le contexte dans les réseaux mobiles – CANCAN
Les objectifs du projet CANCAN sont les suivants : Objectif 1: Effectuer la collecte de données de mesure qui décrivent le comportement du trafic mobile sur un réseau d’opérateur à des niveaux de définition spatiaux et temporels inédits, et ce pour des services mobiles individuels. Ce jeu de donnée
Debogage causal pour systèmes concurrents – DCore
Avec l'importance croissante du logiciel dans les systèmes embarqués et les systèmes critiques, l'occurrence de bogues peut mettre en danger la vie d'être humains, menacer l'environnement, et occasionner de substantielles pertes financières. En dépit du développement des outils et techniques de véri
Nouvelle génération d’antennes pour les réseaux de communication « Beyond 5G » aux fréquences submillimétriques – NEXT5G
En raison de la rareté des ressources spectrales et de la nécessité d'une large bande passante pour les communications à haut débit, les bandes millimétriques (mm-wave) et sub-THz de 30 à 350 GHz sont très attractives pour les futures applications de communications hautes performances. Dans ce conte
Optimiser l'énergie des plates-formes de calcul à large échelle – Energumen
La consommation énergétique des plates-formes de calcul à hautes performances (HPC) a toujours été importante. Aujourd'hui, la transition vers les plates-formes de nouvelle génération et la convergence avec le Cloud, BigData et Internet des objets rendent ce problème encore plus critique. L'objectif
SHNoC : un réseau embarqué sur puce multi-technologies et sûr de fonctionnement – SHNoC
Depuis quelques années, nous assistons à l'émergence des architectures ManyCores, ainsi nommé dû à la mise en place d'un parallélisme massif sur une seule puce. Associé aux transistors devenant de plus en plus petit, annoncée à une technologie de 11nm en 2020, ces architectures devraient atteindre l
Pythia: décisions à l'exécution se basant sur des prédictions – Pythia
Les support d'execution prennent des décisions critiques pour les performances d'applications parallèles. Malheureusement, ces décisions ne peuvent se baser que sur des heuristiques prenant en compte l'état actuel de l'application, et estimant son comportement probable dans le futur. Par conséqu
Optimisation orientée performance et précision des formats de données dans les codes numériques – PADOC
Le développement de codes numériques efficaces et précis est une tâche difficile. En effet elle requiert de connaître parfaitement la micro-architecture cible, le comportement de ses unités de calcul et son jeu d'instructions. Mais elle requiert également d'analyser soigneusement les contraintes
Nano Système Autonomes pour un Internet totalement décentralisé – nano-NET
Dans les dernières années a émergé l'Internet des Objets (IoT) qui interconnecte des objets intelligents via le graphe hiérarchique de l'Internet en AS. Les systèmes cyberphysiques humains (HCPS) requièrent maintenant des interactions sophistiquées entre capteurs, actionneurs et humains afin de pren
HÉtérogénéité et algorithmes de RoutAge dans les réseaux – HERA
Le projet HERA a pour but l'étude de réseaux d'objets hétérogènes (ou multicouches) où plusieurs protocoles coexistent. Les algorithmes classiques de routage ne fonctionnent pas sur ces réseaux à cause de leur hétérogénéité, le routage nécessitant des changements de protocoles et l'établissement d
Combiner types gradés et intersections pour l'analyse de ressources – CoGITARe
Les systèmes de types permettent de vérifier des propriétés de sécurité sur de gros programmes. Ce projet entend étendre la méthodologie à un plus grand panel de propriétés actuellement inaccessible dans l'état de l'art; permettant, en particulier, l'analyse de propriétés quantitatives. Nous déve
Du test à partir de modèle à une automatisation apprenante du test logiciel – PHILAE
Le projet PHILAE vise à automatiser la création et la maintenance des tests fonctionnels automatisés (typiquement les tests de non-régression) en utilisant des techniques d'inférence de modèle et d'apprentissage automatique à partir des traces d'exécution existantes et de métadonnées du développemen