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 permet de mesurer, diviser et contrôler des signaux de fréquence électroniques via des cartes matérielles dédiées. Il offre des fonctionnalités avancées pour configurer des compteurs, des temporisateurs et des registres de division, adaptées aux besoins de systèmes embarqués ou de bancs de test. Les utilisateurs peuvent interagir avec le matériel pour ajuster des paramètres critiques comme les largeurs d'impulsion ou les délais, tout en assurant une synchronisation précise des signaux.

Projet technique dédié à l'assemblage et au déploiement de nœuds matériels, notamment sur des plateformes comme Raspberry Pi. Il permet la synchronisation et la gestion de configurations entre différents systèmes embarqués, avec un focus sur des démonstrations de performance et des outils de benchmarking pour évaluer le matériel.

Ce projet centralise la gestion et la mise à jour des modules embarqués pour le système BEAST. Il permet de cloner, synchroniser et mettre à jour les dépôts de code essentiels (boot, init, bin) nécessaires au fonctionnement des modules sur des cartes uSD. Il inclut également des outils pour vérifier les origines des dépôts et partitionner les cartes de stockage.

FreeRTOS est un noyau temps réel libre et open-source qui permet de gérer des tâches en temps réel et d'optimiser la gestion des ressources. Il offre des fonctionnalités de contrôle de priorités et de synchronisation de threads, ce qui en fait un outil idéal pour les systèmes embarqués et les applications nécessitant une réactivité maximale.