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

  • Jan. 29 : CRIM's Journée Techno - 5G
    15/01/2019

    5G: business model transformation, socioeconomic impacts and new technological landscape. Get the tools you need to make the most of these new opportunities!

    +

Upcoming event

  • ICCSP 2019
    21 January 2019 0:00
    Kuala Lumpur, Malaysia
    CRIM will present an article at the 3rd International Conference on Cryptography, Security and Privacy, which will take place January 19th to 21th, 2019 in Kuala Lumpur, Malaysia.
    +
  • Montréal Relève RT @MTLReleve: Belle nouvelle en ce début d'année : 2 400 inscriptions au programme #ClassesAffaires pour l'édition 2019 ! #Relève #Stages…
  • #JournéeTechno autour du #5G le 29 janvier Survol de la 5G : Opportunités d’ #affaires et défis #technologiques. Un… https://t.co/xQjP34rQYS

Recent Publications

  • Towards Automatic Feature Extraction for Activity Recognition from Wearable Sensors: A Deep Learning Approach

    +
  • Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving

    +