Ce projet vise à modéliser, analyser et construire correctement des systèmes basés sur l'Internet des Objets (IoT) en utilisant la méthode Event-B. Il permet de garantir la correction et la fiabilité des systèmes IoT grâce à des techniques de vérification formelle, offrant ainsi une base solide pour le développement de solutions IoT robustes et sécurisées.

OpenGateway Yocto est un framework dédié à la création de passerelles logicielles pour systèmes embarqués. Il facilite l'intégration de périphériques IoT, optimise les ressources matérielles limitées et permet un déploiement rapide de solutions connectées. Adapté aux environnements contraints, il offre une base modulaire pour développer des applications industrielles ou domestiques intelligentes.

Ce projet développe une solution technique basée sur le protocole Multiple Parity Check (MPC) pour renforcer l'efficacité des réseaux LPWAN. Il vise à améliorer le taux de décodage des données (PDR) tout en minimisant les erreurs de transmission, essentiel pour les applications IoT nécessitant une communication fiable et performante.

Projet académique visant à concevoir et optimiser une chaîne de traitement de données issues de capteurs IoT pour des serres agricoles. Il inclut la récupération, l'analyse et la visualisation des données via des outils comme NodeRed, Grafana et InfluxDB. Le projet permet également de simuler des données de capteurs pour tester et valider les solutions développées.

Node-RED est un outil de programmation visuelle pour le développement d'applications IoT et d'automatisation. Il permet de connecter des flux de données entre différents services et appareils pour créer des solutions personnalisées sans nécessiter de compétences avancées en programmation.

Le projet fofb-yocto vise à faciliter la gestion et la génération d'images Yocto pour les systèmes embarqués. Il permet l'automatisation du processus de construction d'images, l'intégration de logiciels tiers et la personnalisation des systèmes IoT. Ce projet offre une solution robuste et adaptable pour les ingénieurs en développement de systèmes embarqués.

Ce guide est publié sous licence GPLv3 et Open License 2.0 et est destiné à être enrichi par des professionnels. Il est divisé en 16 feuilles thématiques qui couvrent les besoins des développeurs à chaque étape de leur projet, de la préparation du développement à l'utilisation des analyses.

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.

Outil open source dédié à la simulation et au test de protocoles MQTT, essentiel pour les développeurs et ingénieurs travaillant sur des solutions IoT ou des systèmes de messagerie légère. Il permet de valider la conformité des brokers MQTT, d'analyser les échanges de messages et de simuler des scénarios de charge pour garantir la robustesse des applications.

LightweightCryptoCiphers propose une collection d'algorithmes de chiffrement légers conçus pour les environnements contraints en ressources. Ces solutions permettent de sécuriser les données tout en minimisant l'impact sur les performances des systèmes embarqués ou IoT. Adaptés aux besoins des développeurs, ces outils facilitent l'intégration de mécanismes de protection robustes sans complexité excessive.