22.04.2014 Views

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

SHOW MORE
SHOW LESS

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 />

de detection alors que pour les blocs, il s'agit plut^ot d'un probleme de localisation.<br />

Deux hypotheses de travail sont possibles : une hypothese de faute simple et une<br />

autre de faute multiple.<br />

, Cas de faute simple dans les circuits combinatoires<br />

Pour ce cas, la strategie se resume par les etapes suivantes :<br />

, Collecter toutes les interfaces bloc dontl'etat est declare errone dans la base des connaissances<br />

comportementale, ensuite pour chacune de ces interfaces on fait le traitement<br />

suivant :<br />

, Examiner le bloc dont elle est une sortie.<br />

, Si aucun des membres duc^one de couverture de cette interface bloc n'est errone<br />

alors ce bloc est declare defaillant et il manifeste une erreur directe sur la sortie concernee.<br />

, Si l'un au moins des membres duc^one de couverture de cette interface bloc est<br />

errone, alors il faut parcourir en amont lacha^ne des blocs a travers les connexions,<br />

jusqu'aux plots du circuit si necessaire, pour trouver le bloc defaillant manifestant<br />

une erreur propagee sur l'interface bloc en cours de traitement.<br />

, Cas de faute multiple dans les circuits combinatoires<br />

Pour ce cas, la strategie se resume par les etapes suivantes :<br />

, Recherche de tous les blocs defaillants par l'application de la strategie "faute simple<br />

combinatoire".<br />

, Pour chacun de ces blocs, collecter les interfaces bloc de sortie dont l'etat est errone,<br />

et pour chacune de ces interfaces bloc on eectue le traitement suivant :<br />

, On considere les interfaces bloc qui lui sont reliees, celles,ci constituant des entrees<br />

de bloc en aval. Chacun de ces blocs sera declare presume defaillant s'il n'est pas deja<br />

classe comme defaillant, et on parcourt a partir de ce bloc la cha^ne des blocs en aval<br />

en eectuant lem^eme traitement.<br />

{68 {

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!