Outils et approche pour l’analyse des fichiers journaux (logs) des systèmes distribués


Résumé : Nous avons développé une approche et un ensemble d’outils pour l’analyse de fichiers journaux issus des systèmes distribués. Dans cette approche, le ou les modèles formels nécessaires sont tout d’abord construits à partir des traces d’exécution collectées et sont ensuite validés en relation avec un ensemble de propriétés définies par les utilisateurs et recouvrant les requis fonctionnels et non fonctionnels. 

Résultat : Le travail a résulté en une boîte à outils qui comprend des composantes de modélisation extrayant les modèles de différents types de traces (par exemple : les systèmes de contrôle de trafic et les systèmes GSM, GPRS et UMTS), une librairie de spécifications de propriétés basée sur un ensemble de 80 patrons de base, l’intégration d’un vérificateur de modèles existant et une interface utilisateur facile à utiliser.

Équipes

Nouvelles récentes

  • Vidéodescription - Entrevue avec le CRIM à l'émission Ça me regarde d'AMI-Télé
    22/02/2018

    Claude Chapdelaine, spécialiste en ergonomie cognitive et en interactions humains-ordinateurs au CRIM, était invitée à l’émission Ça me regarde, animée par Christine Rousseau et Kéven Breton et diffusée par AMI-télé.

    +

Événement à venir

  • VISION PDG 4.0 2018
    22/02/18 15h00
    Hôtel Fairmont Tremblant
    La 18e édition Vision PDG 4.0 aura lieu du 20 au 22 février 2018.
    +
  • #Partenariats collaboratifs: comment obtenir l’aide nécessaire pour développer de l’#IA ? @frlabont1, directeur gén… https://t.co/1p01GXHYFJ
  • Lire le communiqué: https://t.co/V95gb0mF2t

Publications récentes

  • État des lieux des technologies web

    +
  • La science des données pour la prédiction des temps de réponse dans la gestion des services incendies : l'exemple de Montréal

    +