Le middleware IoTVar gère les interactions entre les applications des utilisateurs finaux et les plateformes IoT, permettant aux développeurs de logiciels de déclarer facilement des variables IoT dans leurs applications.

Ce projet vise à développer une solution de surveillance et de contrôle de l'environnement intérieur pour les serres et les habitations des personnes âgées. Il utilise des technologies telles que MQTT, InfluxDB et Node-Red pour collecter, stocker et traiter les données provenant de différents capteurs. Le projet comprend également la création d'une application mobile pour afficher et contrôler ces données.

SIMPA est un outil d'analyse et d'inférence de modèles de systèmes, permettant de générer des tests et de vérifier des propriétés à partir de protocoles de communication. Il offre une interface graphique et prend en charge différents types de systèmes, tels que les systèmes de type Mealy et EFSM.

Telegraf est un agent léger et extensible pour la collecte, le traitement, l'agrégation et l'écriture de métriques. Il prend en charge une grande variété de plugins d'entrée, de traitement et de sortie, permettant une intégration facile avec de nombreux services et systèmes. Telegraf est écrit en Go, ce qui lui confère une faible empreinte mémoire et une excellente performance.