The THEMIS Tutorial is a project that aims to teach users about the monitoring of decentralized systems using the THEMIS tool. It consists of two parts: the first part focuses on creating monitoring algorithms and comparing them using a metric, while the second part deals with a case study of monitoring a smart apartment and modifying specifications for better monitoring.

Ce projet est une pile Elastic complète, comprenant Elasticsearch, Kibana et un agent Elastic fonctionnant en tant que serveur de flotte. Il sert de source centralisée pour les métriques que nous souhaitons collecter et afficher. Un service de configuration génère les certificats demandés pour la communication HTTPS entre les services et définit le mot de passe de l'utilisateur kibana_system dans Elasticsearch.

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.

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.