Analyse de logs guidée par des vérifications de formules de responsabilité exprimées en CTL - CentraleSupélec Access content directly
Reports (Research Report) Year : 2011

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

Abstract

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é.
No file

Dates and versions

hal-01172702 , version 1 (07-07-2015)

Identifiers

  • HAL Id : hal-01172702 , version 1

Cite

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⟩
42 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More