Ce projet propose un cadre automatisé pour la vérification formelle de circuits matériels complexes. Il permet de vérifier des propriétés temporelles et de prouver des lemmes sur des architectures électroniques, notamment via des techniques de model-checking symbolique et de preuve automatique. L'objectif est d'améliorer la fiabilité et la robustesse des systèmes embarqués en détectant des erreurs de conception avant leur déploiement.

Le projet DG645 est une bibliothèque logicielle dédiée au contrôle et à la configuration de générateurs de signaux électroniques. Il permet de gérer des paramètres comme les fréquences, les délais, les largeurs d'impulsion et les comptes de rafales pour des dispositifs matériels. Utilisé principalement dans des environnements de recherche ou industriels, il facilite l'automatisation et la synchronisation de systèmes électroniques complexes.

PicoZed est une plateforme dédiée au développement et à la gestion de projets embarqués, notamment pour les systèmes temps réel. Elle facilite l'automatisation industrielle et le prototypage rapide de circuits électroniques, offrant des outils adaptés aux besoins des ingénieurs et des développeurs en électronique.

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.

Système de construction et de gestion pour serveurs dédiés à des dispositifs électroniques. Permet de configurer, initialiser et contrôler des équipements matériels via des classes dynamiques. Utilisé pour prototyper et déployer des solutions embarquées de manière incrémentale et automatisée. Facilite l'ajout de fonctionnalités et la gestion des attributs matériels.

Système automatisé open source conçu pour récupérer des composants électroniques (CMS) sur des cartes de circuits imprimés en utilisant une imprimante 3D modifiée et une station de dessoudage. Le projet permet de désassembler des composants de manière efficace et reproductible, avec un temps de récupération maîtrisé et un bilan carbone réduit par rapport à la fabrication neuve. Il s'adresse aux acteurs du recyclage, de la réparation ou de la réutilisation de matériel électronique.

Bibliothèque logicielle dédiée à la gestion des communications série entre un ordinateur et des dispositifs électroniques. Elle permet de configurer, lire et écrire des données via des ports série, facilitant ainsi l'interfaçage avec des équipements industriels, des capteurs ou des systèmes embarqués. Utilisée principalement par des développeurs pour automatiser des processus ou intégrer des périphériques matériels.

SingleShotAO est un système dédié à la gestion et au contrôle de signaux analogiques, notamment pour des applications radio ou électroniques. Il permet de configurer, surveiller et ajuster des fréquences, des rampes de signal et des états de systèmes en temps réel. Utilisé dans des environnements nécessitant une précision et une automatisation des signaux, il offre des outils pour initier, interrompre ou modifier des processus de manière dynamique.

Plateforme dédiée à l'automatisation et à la gestion des tests pour les applications métiers critiques. Elle permet de simuler des services externes (SOAP/REST), de générer et valider des certificats électroniques, et de centraliser les résultats des tests automatisés. Utilisée principalement dans le secteur de la santé pour assurer la conformité et la fiabilité des systèmes d'information.

Ce projet permet d'exécuter des scripts Python directement dans l'environnement ADS (Advanced Design System) de Keysight, facilitant l'automatisation des simulations électroniques et l'analyse des données générées. Il offre des outils pour manipuler des workspaces, exploiter des fichiers de simulation (.dds) et générer des rapports ou des visualisations. Compatible avec des environnements externes comme VS Code, il simplifie l'intégration des bibliothèques spécifiques à ADS pour des workflows personnalisés.