Description |
Le problème est de savoir comment surveiller en ligne des systèmes à événements discrets complexes et de grande dimension comme les réseaux de télécommunication ou les services web. Notre équipe de recherche propose deux méthodes. La première consiste à représenter le modèle du système par un automateLa tâche de diagnostic consiste à déterminer les trajectoire (une séquence d'états et d'événements) compatibles avec la séquence des observations. A partir de ces trajectoires, il est alors facile de déterminer (localiser et identifier) les pannes possibles. Dans la seconde approche, le modèle contient un ensembles de motifs caractéristiques prédéfinis. Nous utilisons des motifs temporels appelés chroniques, représentés par un ensemble d'événements contraints. La tâche de diagnostic consiste à reconnaître l'occurrence de ces motifs dans le flux d'événements observés. |