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

  • 2016-2017 Annual report
    28/06/2017

    Our annual report is available. You will find the highlights of the year.

    +

Upcoming event

  • Prix Innovation 2017 de l'ADRIQ - Période de mise en candidature
    8 September 2017 0:00
    Le CRIM est heureux d'être partenaire des Prix Innovation 2017 de l'ADRIQ et de contribuer ainsi au rayonnement et à la reconnaissance des innovations technologiques. Période de mise en candidature prolongée jusqu'au 8 septembre 2017.
    +
  • IBM Québec RT @IBMQuebec: Le 3 octobre prochain à Montréal. Voyez le programme ici —> https://t.co/PW4qo9XTnO https://t.co/hQnJOnKhuH
  • Les libraires RT @les_libraires: Je lis la science! https://t.co/IrWh2Tzgvu @NSERC_CRSNG @BayardJCA @EditionsQuintin @EMultiMondes @QuebecScience @Gallim…

Recent Publications

  • PeopleBot

    +
  • Toward testing from finite state machines with symbolic inputs and outputs

    +