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

  • Recherche en cours : le CRIM rend disponibles de nouveaux outils technologiques adaptés aux langues autochtones
    05/12/2019

    Les outils créés dans le cadre du projet seront offerts aux chercheurs et aux communautés par l'entremise de deux plateformes ouvertes reconnues : VESTA et ELAN.

    +

Upcoming event

  • Séminaire R-D : L'art de la cyberrésilience: les leçons du secteur bancaire
    30 January 2020 11:00
    CRIM (405, avenue Ogilvy, bureau 101, Montréal)
    Une conférence du Prof. Benoît Dupont, Titulaire de la Chaire de recherche du Canada en cybersécurité,Titulaire de la Chaire de recherche en prévention de la cybercriminalité, Directeur scientifique – Réseau intégré sur la cybersécurité (SERENE-RISC), Université de Montréal.
    +
  • #CRIMtravels ????Joao Monteiro, automatic speech processing intern supervised by Jahangir Alam, presents an article at… https://t.co/7bsFunP7na
  • Antoine Normand, PDG de BlueBear a discuté d'un sujet sensible lors de la Journée Techno sur la Désinformation à l’… https://t.co/FlBn1vdEaE

Recent Publications

  • Deep learning speech recognition for low-resource languages

    +
  • Forage de données géospatiales, quelques applications

    +