Tools for the analysis of logs in distributed systems


Summary: We have developed an approach and a toolkit for the analysis of logs in distributed systems. In this approach, the necessary formal model or models are constructed from collected execution traces and are then validated in relation with a set of properties defined by the users that cover functional and non-functional requirements. 

 

Result : The project resulted in a toolkit containing modelling components that can extract the models from different types of trace (for example: traffic-control systems and GSM, GPRS and UMTS systems), a library of property specifications based on a set of 80 basic blocks, the integration of an existing model-checker and a more user-friendly interface.

 

Teams

Recent news

  • 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é.

    +

Upcoming event

  • CEO VISION 4.0 2018
    22 February 2018 15:00
    Hôtel Fairmont Tremblant
    The 18th edition of CEO Vision 4.0 will take place from the 20th to the 22nd
    +
  • #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

Recent Publications

  • É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

    +