Analyzing log files of distributed systems


Summary: The team has  developed an approach and a set of tools for analyzing the log files produced in distributed systems. According to this approach, formal models are constructed from the collected execution traces and validated with respect to user-defined properties that represent the desired and/or undesired functionalities. 

Result: This work has led to a toolkit comprised of modeling components that extract the various types of trace models (for example, the models that are specific to traffic control systems and GSM systems, GPRS and UMTS), a library of property patterns, a model checker and of a friendly-user interface.

 

Teams

Recent news

  • Computer Research Institute of Montreal announces new patent
    18/04/2017

    We are happy to announce one new patent granted for the work of our Vision and Imaging team.

    +

Upcoming event

  • Atelier SiM5 : Vous voulez améliorer votre site Web? Utiliser mieux les médias sociaux?
    2 May 2017 8:30
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    L'atelier SiM5 "Vous voulez améliorer votre site Web? Utiliser mieux les médias sociaux" se tiendra le 2 mai 2017 dans les locaux du CRIM.
    +
  • TechnoMontreal RT @TechnoMontreal: Influencez l'identification du 4e marché stratégique des #TIC. Inscrivez-vous dès maintenant à l'atelier de #TM → https…
  • Rémi Quirion RT @SciChefQC: Place de la science dans la nouvelle politique internationale du Qc #diploQC - @MRIF_Quebec au colloque #AcfasC13 https://t.…

Recent Publications

  • PeopleBot

    +
  • Détection de menaces par classification de paquets de pare-feu

    +