Diagnostic de motifs de comportements dans les systèmes temporels

Dans cet article nous proposons une formulation du probleme de diagnostic de motifs d'un systeme temporel. Il s'agit de rechercher a partir d'une sequence d'observations du systeme, toutes les evolutions de celui-ci qui non seulement produisent la sequence observee mais aussi qui sont concordantes avec les motifs d'interet consideres. La caracterisation formelle du probleme de diagnostic s'appuie sur la notion de pattern matching (concordance de motifs). Pose sous forme d'un probleme d'atteignabilite, le probleme de diagnostic est resolu par model checking.