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
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Chapitre 4. | Approches en vue du Diagnostic |<br />
la premiere exprime le comportement des composants et du dispositif global sous<br />
forme de relation de causalite [PeG87] [Pea88]. La seconde se base sur la description<br />
fonctionnelle, comportementale et structurelle du dispositif [Dav84] [KlW87]. Pour<br />
illustrer cette approche, nous allons presenter le systeme PESTICIDE [Mar91]. Cet<br />
outil utilise une modelisation basee sur la description. Gr^ace a laversatilite dela<br />
modelisation interne des composants et des fautes dans la base de connaissance, il<br />
aete possible d'integrer cet outil en tant que module de diagnostic dans le systeme<br />
global que nous avons developpe, en vue de l'unication du test et du diagnostic dans<br />
les cartes Boundary Scan partiel.<br />
4.2.3 Le Systeme PESTICIDE<br />
PESTICIDE (acronyme de "Prolog,written Expert System as a Tool for Integrated<br />
Circuit DEbugging") est un systeme base sur la connaissance. Il a ete developpe au<br />
sein du laboratoire <strong>TIMA</strong> dans le contexte de la localisation de fautes pour des circuits<br />
soumis a un test sans contact a l'aide d'un Microscope Electronique a Balayage (MEB),<br />
et dont l'architecture globale est presentee en gure 4.1.<br />
Informations<br />
sur le circuit<br />
sous test<br />
Informations<br />
sur le test<br />
en cours<br />
B.C.S*<br />
B.C.F*<br />
B.C.C*<br />
Interpréteur PROLOG<br />
Vérification Détection Localisation<br />
* (voir 4.2.3.2)<br />
Figure 4.1: Architecture globale de PESTICIDE<br />
{65 {