TiAMo est un outil de vérification formelle dédié à l'analyse des systèmes temporisés modélisés par des automates temporisés. Il permet de vérifier des propriétés temporelles complexes sur des modèles, d'identifier des erreurs de conception ou de synchronisation, et d'optimiser des systèmes critiques comme les protocoles de communication ou les systèmes embarqués. Développé dans le cadre d'un projet de recherche, il est utilisé pour valider la correction et la fiabilité des systèmes avant leur déploiement.

Ce projet de recherche, mené par le CEA-List, étudie l'impact de la quantification 8 bits sur la robustesse des modèles de perception routière face à des conditions dégradées (flou, intempéries). Les résultats montrent que la quantification améliore la robustesse de certains modèles tout en réduisant leur taille et leur temps d'exécution, sans nécessiter de données corrompues lors de l'entraînement. Les applications visent l'optimisation des systèmes embarqués pour véhicules autonomes.

Projet de recherche visant à évaluer et optimiser les performances des systèmes embarqués basés sur des processeurs ARM. Il permet de mesurer l'impact de différentes configurations matérielles et logicielles sur les performances globales, notamment en analysant la latence mémoire et l'efficacité des calculs parallèles. Les résultats sont utilisés pour améliorer les architectures futures et guider les choix de conception.

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.

Projet open source dédié à l'optimisation et au benchmarking de cœurs RISC-V sur des architectures FPGA. Il permet de mesurer les performances de processeurs embarqués, d'automatiser des tests matériels et de faciliter le développement de systèmes embarqués pour la recherche et l'industrie. Le projet inclut des outils pour compiler des logiciels, configurer des environnements de développement et exécuter des benchmarks comme CoreMark.

Ce projet fournit une solution pour configurer et tester des cartes SD destinées à des modules électroniques spécifiques (HGTD). Il permet de préparer des images système adaptées, de valider leur fonctionnement et de faciliter les tests automatisés. Principalement utilisé dans un contexte de recherche ou de développement technique, il simplifie la gestion des environnements de test pour des équipements embarqués.

Projet dédié à la gestion et au contrôle de cartes électroniques NUMEXO2, notamment pour la lecture de données de registres et la configuration de serveurs dédiés. Il permet l'interfaçage avec des périphériques matériels, la gestion des registres électroniques et le développement de pilotes pour des systèmes embarqués. Utilisé dans des environnements industriels ou de recherche pour le traitement de signaux et la configuration de matériel spécifique.

Ce projet fournit une couche logicielle pour interagir avec des systèmes embarqués utilisant le protocole IPBUS. Il permet de configurer, programmer et diagnostiquer des cartes électroniques équipées de FPGA, notamment pour la gestion de mémoire flash et la communication sécurisée avec le matériel. Utilisé principalement dans des environnements de recherche et d'industrie pour le développement et la maintenance de systèmes électroniques complexes.