TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA
TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA
TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Chapitre 4. | Approches en vue du Diagnostic |<br />
observes, les tests a executer et les decisions a prendre dans chaque cas de defaillance,<br />
sont integres par les experts dans une base de connaissances. Ensuite, partant d'un<br />
ensemble de sympt^omes observes par l'utilisateur, et en utilisant des relations de cause<br />
a eet entre pannes et sympt^omes, le processus de diagnostic tente de construire<br />
la cha^ne d'inference ltrant progressivement les elements de l'ensemble des fautes<br />
initialement introduit dans la base des connaissances. En cas de succes, le systeme<br />
donne alors la liste des fautes ayant la plus forte association avec les sympt^omes<br />
observes.<br />
S'ils ont eu beaucoup de succes dans le domaine m<strong>edi</strong>cal, ces systemes n'ont pas<br />
reussi a percer dans celui de l'electronique. Ceci peut s'expliquer en partie par la<br />
diculte d'enumerer les sympt^omes et les fautes ainsi que la derivation de relations<br />
empiriques de cause a eet entre les fautes et les sympt^omes [Dav84]. De plus, une<br />
fois realises, ces systemes sont generalement operationnels uniquement pour une application<br />
specique donnee [XiS86].<br />
4.2.2.2 Systemes a base de modeles (raisonnement profond)<br />
Les systemes de diagnostic qui font appel a cette approche utilisent un raisonnement<br />
qualie de \profond" (\Deep Reasoning") ou (\Model-based Reasoning"). Ce diagnostic<br />
s'appuie sur une analyse d'un modele abstrait du systeme sous test. Etant donnee<br />
une specication du comportement correct du systeme, diagnostiquer une faute dans<br />
ce systeme revient a comparer son comportement reel ou observe a celui specie.<br />
Les resultats obtenus a l'aide de systemes bases sur cette approche dependent de<br />
deux points essentiels : la modelisation du bon fonctionnement du dispositif a diagnostiquer<br />
et la validite des contradictions detectees entre le dispositif reel et le modele<br />
utilise [DaK88]. En eet, d'une part la abilite des resultats du diagnostic depend<br />
de l'exactitude et de la completude du modele utilise, et d'autre part, l'ecacite des<br />
traitements realises lors de la mise en uvre de cette methode est fortement liee a la<br />
quantite d'information impliquee dans le modele.<br />
Deux approches de modelisation sont utilisees pour un diagnostic a base de modele :<br />
{64 {