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.

Outil open source permettant de générer des images système personnalisées pour Raspberry Pi et autres dispositifs embarqués. Il automatise la création d'images Linux optimisées, depuis une base minimale jusqu'à des versions complètes avec environnement graphique. Idéal pour les développeurs, éducateurs ou fabricants souhaitant déployer des systèmes sur mesure pour des projets matériels ou des solutions IoT.

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 facilite la compilation et l'intégration de paquets logiciels dans des images de micrologiciels pour OpenWRT. Il automatise la création de firmwares personnalisés incluant des paquets spécifiques, adaptés à différentes architectures matérielles. Idéal pour les développeurs et administrateurs système souhaitant déployer des solutions embarquées optimisées.

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.

Projet de développement de logiciels en langage C, axé sur les aspects bas niveau. Il vise à créer des outils performants et optimisés pour des environnements nécessitant une gestion fine des ressources matérielles. Destiné aux développeurs et aux systèmes embarqués.

Bibliothèque logicielle conçue pour faciliter l'intégration et l'optimisation des systèmes embarqués temps réel. Elle permet aux développeurs de simuler et valider des modèles de contrôle-commande avant leur déploiement sur matériel dédié comme les cibles Speedgoat. Utilisée dans des secteurs exigeants comme l'automobile, l'aérospatial ou l'industrie pour garantir la fiabilité et la performance des systèmes critiques.

Outil dédié à la configuration et à l'optimisation des systèmes informatiques embarqués ou dédiés, notamment pour les environnements industriels ou temps réel. Il permet de standardiser les installations, réduire les temps de déploiement et garantir la compatibilité matérielle et logicielle. Utilisé par les développeurs et intégrateurs pour accélérer la mise en service de machines spécialisées.

Projet de développement logiciel en langage C proposant des fonctions utilitaires privées pour des applications embarquées ou systèmes. Ces fonctions peuvent inclure des opérations de bas niveau, des optimisations ou des outils de débogage.

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.