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

  • Assemblée générale annuelle du CRIM
    15/06/2017

    Lors de son assemblée générale annuelle qui a eu lieu le 14 juin, le CRIM a annoncé la composition de son conseil d'administration, en plus de dévoiler son rapport d'activités et de présenter les grandes lignes de son nouveau plan stratégique.

    +

Upcoming event

  • Canadian OGC Summit
    30 June 2017 0:00
    Sheraton Hotel Newfoundland
    The next Open Geospatial Consortium meetings will be held in St. John’s, Newfoundland and Labrador, from June 26-30th, 2017.
    +
  • TechnoMontreal RT @TechnoMontreal: Le @CRIM_ca annonce la nouvelle composition de son CA et les grandes lignes de son nouveau plan stratégique - https://t…
  • Infopresse RT @Infopresse: Brèves, annonces et mouvements dans l'industrie: @le985fm, @outfrontmedia, @gotoast, @CRIM_ca, etc. : https://t.co/jD4ljvZs…

Recent Publications

  • PeopleBot

    +
  • Numérisation 3D temps réel de pièces avec l'API Google Tango et comparatif au LIDAR

    +