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