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

  • CRIM and cloud.ca propel VESTA into the cloud
    21/03/2017

    CRIM is pleased to announce the renewal of its partnership with cloud.ca, Canada’s cloud Infrastructure as a Service (IaaS) developed by CloudOps. This partnership allows CRIM to make the demo version of VESTA available to the public.

    +

Upcoming event

  • Datavore 2017
    28 March 2017 7:45
    Palais des Congrès de Montréal
    Le CRIM est heureux d'être partenaire et de participer à Datavore 2017, l'événement référence en analytique qui se déroulera du 27 au 28 mars 2017 au Palais des Congrès de Montréal.
    +
  • TechnoMontreal RT @TechnoMontreal: #TM10ANS | Depuis 10 ans TM contribue à bâtir une économie à l'avant-garde de la transformation numérique! À lire. http…
  • Réseau Action TI RT @ActionTI: *DERNIÈRE CHANCE* de vous procurer votre billet pour l'événement incontournable en analytique du printemps 2017. ????#Datavore20…

Recent Publications

  • PeopleBot

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

    +