Themis Artifact Repository est un ensemble d'outils permettant la surveillance et l'analyse de spécifications distribuées. Il offre des fonctionnalités telles que la génération d'automates à partir de formules LTL, la minimisation de formules booléennes et LTL, et le monitoring décentralisé de systèmes.

Le projet controlsystemmonitor est conçu pour la surveillance et le contrôle des systèmes distribués. Il offre des fonctionnalités pour diagnostiquer les problèmes des dispositifs et gérer leur état.

Le projet prometheus-stack-container-image est une image Docker pour déployer une pile Prometheus complète, offrant une surveillance et une visualisation robustes des métriques informatiques. Il permet la collecte, le stockage et l'interrogation de données de performance pour des systèmes distribués, facilitant ainsi la détection et le dépannage d'anomalies.

Ce projet vise à fournir des outils pour l'analyse et la surveillance de systèmes distribués. Il permet de traiter et d'analyser des traces concurrentes, facilitant ainsi la détection d'anomalies et l'identification de problèmes dans les exécutions.

Le projet telegraf-scalingo est une solution de collecte et de transmission de données techniques, dédiée à la surveillance d'infrastructures informatiques. Il permet la détection d'anomalies dans des systèmes distribués, contribuant ainsi à améliorer la fiabilité et la performance des services offerts.

Le projet go est une solution dédiée à la collecte, au traitement et à l'analyse de données en provenance de capteurs environnementaux. Il permet de générer des rapports détaillés sur l'état de l'environnement et de surveiller l'état de systèmes distribués.

Decent est un banc d'essai pour l'application de la logique temporelle linéaire (LTL) à la surveillance décentralisée de systèmes distribués. Il est écrit en OCaml et offre une interface pour l'entrée de formules LTL, de traces et de topologies de systèmes distribués.

Ce projet permet de surveiller et de gérer un grand nombre de systèmes de fichiers distribués, tels que ZFS, en détectant les anomalies et en alertant les équipes en cas de problèmes de performances de stockage.

Ce projet permet la surveillance et l'analyse de systèmes distribués grâce à la collecte et à la visualisation de logs. Il s'intègre avec Grafana et Loki pour offrir une solution complète de monitoring et de troubleshooting.

Model Free Control est un projet de contrôle de processus industriels sans modèle. Il permet l'automatisation de tâches et la surveillance de systèmes distribués grâce à une interface API.