Ce projet concerne la thèse de doctorat sur la spécification de la mémoire dans un langage de programmation synchrone utilisé pour concevoir et implémenter des systèmes critiques embarqués. Il s'appuie sur Scade, un langage dérivé de Lustre, et introduit des évolutions majeures telles que les automates hiérarchiques et les tableaux à taille statique. Le projet a pour but d'améliorer la verbosité des modèles, le contrôle de la compilation et la description des algorithmes.

EwoK est un microkernel hautement sécurisé conçu pour les systèmes embarqués et les micro-contrôleurs. Il assure une forte isolation entre les tâches et les pilotes de périphériques, ainsi qu'un contrôle d'accès strict aux ressources physiques.

Ce projet est un driver CAN pour les systèmes sur puce STM32F4xx, permettant le contrôle et la communication entre les composants dans des applications embarquées.

Le projet icobs_mk5_kda est une application embarquée dédiée au contrôle de systèmes en temps réel, avec une capacité de traitement de données en temps réel et une fonctionnalité de reconnaissance vocale. Il est basé sur une architecture RISC-V et utilise TensorFlow pour le traitement des données.

Le projet icobs_mk5_project est un système électronique basé sur un FPGA, permettant le contrôle et la surveillance d'équipements connectés. Il offre des fonctionnalités de gestion de données pour systèmes embarqués, avec une structure modulaire et des outils de génération de projet automatisés.

Le projet icobs_mk5_project est un système électronique basé sur un FPGA, permettant le contrôle et la surveillance d'équipements connectés. Il offre des fonctionnalités de gestion de données pour systèmes embarqués, avec une structure modulaire et des outils de génération de projet automatisés.

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.

Ce projet fournit un ensemble de composants pour la gestion de la mémoire, le traitement des entrées/sorties, la gestion des ressources partagées et le contrôle d'accès aux périphériques. Il vise à offrir une base solide pour le développement de systèmes embarqués performants et fiables.

Le projet firmware est responsable de la gestion et du contrôle des systèmes embarqués, en assurant leur sécurité et en optimisant leur consommation énergétique. Il surveille également les paramètres environnementaux pour garantir le bon fonctionnement des dispositifs.

Sytare est un système embarqué à faible consommation énergétique doté d'une mémoire persistante. Il vise à fournir des fonctionnalités de surveillance, de contrôle d'accès et de gestion d'éclairage intelligentes pour les dispositifs IoT.