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

  • LUMED: Artificial Intelligence Serving Patients
    22/11/2017

    With our technology, patients whose files need to be reviewed in priority are automatically identified by an alert score...

    +

Upcoming event

  • The Art of Leadership
    29 November 2017 7:45
    Palais des Congrès de Montréal
    The Art of Leadership conference. Let those who shape our world today, help shape yours tomorrow.
    +
  • Affaires Montréal RT @AffairesMtl: #Montréal, #ville de #congrès et d'avant garde en #IntelligenceArtificielle accueillera un important #évenement en 2021 |…
  • TECHNOCompétences RT @TECHNOCompetenc: Inscrivez-vous vite pour tout savoir des données 2018 sur le secteur des TIC au Québec : https://t.co/fLR9C3D7fc #TI @…

Recent Publications

  • PeopleBot

    +
  • Face Recognition in Video Surveillance from a Single Reference Sample Through Domain Adaptation

    +