Diagnostic de motifs de comportements dans les systèmes temporels
Résumé
Dans cet article nous proposons une formulation du problème de diagnostic de motifs d'un système temporel. Il s'agit de rechercher à partir d'une séquence d'observations du système, toutes les évolutions de celui-ci qui non seulement produisent la séquence observée mais aussi qui sont concordantes avec les motifs d'intérêt considérés. La caractérisation formelle du problème de diagnostic s'appuie sur la notion de pattern matching (concordance de motifs). Posé sous forme d'un problème d'atteignabilité, le problème de diagnostic est résolu par model checking.
Domaines
Informatique [cs]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...