Analyse de logs guidée par des vérifications de formules de responsabilité exprimées en CTL

Résumé : Ce document présente une méthode de modélisation d’un ensemble de logs par une structure de Kripke, permettant ainsi son interrogation en utilisant la logique temporelle CTL. Nous prendrons comme exemple une série de logs fournis par l’équipe Amazones de l’Insa de Lyon, que nous modéliserons suivant l’approche proposée. Nous proposons la spécification de quelques propriétés de responsabilité et nous détaillerons l’état actuel du prototype développé.
Type de document :
Rapport
[Rapport de recherche] D4.1, Supélec. 2011
Liste complète des métadonnées

https://hal-supelec.archives-ouvertes.fr/hal-01172702
Contributeur : Guillaume Piolle <>
Soumis le : mardi 7 juillet 2015 - 16:48:56
Dernière modification le : jeudi 29 mars 2018 - 11:06:05

Identifiants

  • HAL Id : hal-01172702, version 1

Collections

Citation

Valérie Viet Triem Tong, Christophe Bidan, Ludovic Mé, Christopher Humphries, Guillaume Piolle. Analyse de logs guidée par des vérifications de formules de responsabilité exprimées en CTL. [Rapport de recherche] D4.1, Supélec. 2011. 〈hal-01172702〉

Partager

Métriques

Consultations de la notice

851