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.

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.

Ce projet consiste en l'installation et l'exploitation d'un cluster de calcul basé sur la distribution RocksCluster et une surcouche maison. Il permet de découvrir les fonctionnalités de base de RocksCluster et de ses applications packagées, telles que le gestionnaire de batch SGE/OGS et le système de monitoring Ganglia.

THEMIS est un outil permettant de monitorer des systèmes distribués en vérifiant des propriétés formulées en LTL de manière décentralisée.

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.

LCAP (Lustre Changelog Aggregate and Publish) is a tool that reads Lustre 2.x changelog records and processes them using specialized modules to distribute them to its clients. It includes a core daemon (lcapd), a client library, and a series of server-side processing modules. LCAP is designed to help administrators monitor and manage Lustre file systems in real-time.