Ce plugin permet d'analyser et d'optimiser les caches de type LRU (Least Recently Used) dans le cadre de l'outil Otawa, dédié à l'analyse statique de programmes. Il fournit des métriques précises pour évaluer l'efficacité des politiques de cache et améliorer les performances des systèmes logiciels ou embarqués. Utilisé principalement dans le domaine de la recherche académique et de l'ingénierie système.

PARAD (Performance Analysis Repository for Aadl Designs) est un framework en développement à LIAS, ENSMA. Il présente une nouvelle approche collaborative du problème de trouver des tests appropriés pour une conception de système, dirigée par l'expérience des concepteurs. L'approche consiste en la construction d'un dépôt d'analyse qui capitalise les efforts des analystes. Les analystes décrivent leurs analyses et les hypothèses accompagnatrices à l'aide des concepts de PARAD.

This project analyzes the energy consumption of software polar decoders on low power processors, providing insights to optimize energy efficiency and monitor performance. It helps in making informed decisions for better energy management and improving the overall system's performance.

Ce projet développe des outils algorithmiques pour analyser et optimiser des politiques de cache dans les systèmes informatiques. Il permet de modéliser des flux de données complexes, d'évaluer des politiques de gestion mémoire et de simplifier des expressions booléennes pour améliorer les performances des systèmes. Les solutions proposées sont principalement destinées aux développeurs et chercheurs en informatique.

Ce projet centralise les travaux réalisés sur la configuration et l'optimisation d'un système laser. Il couvre les mesures de stabilité, d'alignement, de calibration ainsi que l'analyse des bruits et des performances du laser. Destiné aux chercheurs et ingénieurs, il facilite la documentation et la reproductibilité des expériences.

Vehlib est un outil de simulation dédié aux véhicules hybrides Eco7. Il repose sur une description par schéma-blocs et intègre des principes issus de la théorie Bond-Graph. Le logiciel propose une approche rétroactive pour la gestion énergétique, utilisant des méthodes comme la programmation dynamique et le principe du maximum de Pontryagin. Développé dans l'environnement MATLAB/Simulink, il permet d'analyser et d'optimiser les performances des systèmes hybrides.

Veriloga est un outil dédié à la simulation et à la vérification de circuits logiques. Il permet aux ingénieurs et concepteurs de modéliser des systèmes numériques, d'analyser les signaux et de valider des architectures matérielles avant leur implémentation physique. Son approche facilite l'optimisation des performances et la détection précoce d'erreurs dans les designs.

Projet dédié à la collecte, l'analyse et la surveillance de données issues de capteurs éducatifs. Il permet de suivre les performances de systèmes, de détecter des anomalies et de générer des rapports pour optimiser l'apprentissage ou l'utilisation des équipements. Les données sont centralisées et analysées pour fournir des insights actionnables.

Outil open source dédié à l'optimisation et à la synthèse de haut niveau (HLS) pour les circuits électroniques. Il permet de transformer des descriptions algorithmiques en architectures matérielles optimisées, facilitant ainsi la conception de systèmes embarqués et de circuits intégrés. Le projet intègre des fonctionnalités avancées pour l'analyse de performance et la génération automatique de code VHDL ou Verilog.

RapidJSON est une bibliothèque C++ légère et performante conçue pour analyser et générer des données au format JSON. Elle permet aux développeurs de manipuler facilement des structures de données complexes tout en garantissant une utilisation optimale des ressources système. Idéale pour les applications nécessitant un traitement rapide des données, elle est largement utilisée dans des environnements embarqués ou des systèmes contraints en mémoire.