HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

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é.
Complete list of metadata

https://hal-supelec.archives-ouvertes.fr/hal-01172702
Contributor : Guillaume Piolle Connect in order to contact the contributor
Submitted on : Tuesday, July 7, 2015 - 4:48:56 PM
Last modification on : Monday, December 14, 2020 - 5:01:09 PM

Identifiers

  • 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⟩

Share

Metrics

Record views

39