Ce projet permet de tester et valider un allocateur mémoire en simulant des opérations de gestion de mémoire. Il inclut des programmes interactifs et des tests automatisés pour vérifier le bon fonctionnement de l'implémentation mémoire, essentiel pour les développeurs en programmation système.

DYCTON est une plateforme de simulation dédiée à l'évaluation des performances de différentes configurations mémoire pour des systèmes embarqués. Elle permet de modéliser des architectures combinant mémoire rapide et mémoire lente, en fonction de l'empreinte mémoire des applications. L'objectif est de mesurer l'impact de ces configurations sur les performances globales des systèmes, notamment dans le cadre de systèmes sur puce (SoC) intégrant une architecture MIPS32 personnalisée.

Nachos est un logiciel d'enseignement conçu pour les cours universitaires de systèmes d'exploitation. Il comprend un overviews, du code de base pour un système d'exploitation fonctionnel, un simulateur pour un ordinateur personnel/workstation générique, des exemples d'assignations, et un guide de démarrage en C++. Les assignations couvrent tous les aspects des systèmes d'exploitation modernes, y compris les threads, la multiprogrammation, les appels systèmes, la mémoire virtuelle, les traductions matérielles, les systèmes de fichiers, les protocoles de réseau, les appels de procédure distants, et les systèmes distribués.

Nachos est un logiciel pédagogique conçu pour enseigner les systèmes d'exploitation aux étudiants de niveau licence et master. Il propose un simulateur de machine générique, des exemples de code de base pour un système d'exploitation fonctionnel, et des exercices couvrant des sujets comme la gestion des threads, la mémoire virtuelle, les appels système, les protocoles réseau et les systèmes distribués. Utilisé dans les universités, il permet aux étudiants de manipuler concrètement les concepts théoriques tout en explorant les architectures matérielles et logicielles.

Ce projet vise à étudier la consommation d'énergie des algorithmes de résolution de systèmes d'équations couplés denses/épars, dans le contexte de la simulation aéroacoustique dans l'industrie aéronautique. L'objectif est d'évaluer l'impact de ces algorithmes sur la consommation d'énergie, en plus de leur impact sur le temps de résolution et la mémoire.

MCsimCoq est un outil de simulation de systèmes de mémoire informatique. Il permet d'analyser les performances de différents types de mémoire, tels que DDR3 et DDR4, en utilisant des modèles formels générés par Coq. Il vérifie également la conformité des commandes de mémoire avec les protocoles spécifiés.

Ce projet vise à reproduire des traces d'exécution de code sur un processeur ARM v7 en analysant les signaux générés par un analyseur logique. Il explore des attaques matérielles pour tromper un moniteur de sécurité en simulant des accès mémoire et des branchements indirects. Les résultats permettent de renforcer la sécurité des systèmes embarqués contre des attaques ciblant les mécanismes de traçage matériel.

Pdwfs est une infrastructure logicielle légère conçue pour intercepter et rediriger les opérations d'entrée/sortie (I/O) des simulations HPC vers une mémoire distribuée, évitant ainsi les accès coûteux aux systèmes de fichiers parallèles. Il permet de traiter les données en transit, c'est-à-dire pendant l'exécution des simulations, en utilisant Redis comme stockage temporaire. Ce projet s'inscrit dans le cadre du projet PaDaWAn du CEA, visant à faciliter les workflows de simulation haute performance avec un impact minimal sur les ressources.

Gem5-rowhammer est un outil de simulation de systèmes informatiques permettant de tester et d'analyser les performances de ces systèmes, ainsi que de simuler des scénarios de corruption mémoire.

Nachos est un projet pédagogique conçu pour simuler un système d'exploitation minimaliste. Il permet aux étudiants d'explorer les concepts fondamentaux comme la gestion des processus, la mémoire virtuelle et les systèmes de fichiers. Utilisé dans le cadre de cours universitaires, il offre une plateforme pratique pour comprendre le fonctionnement interne des OS sans les complexités d'un système réel.