TH ESE Mohamed H edi TOUATI TEST ET ... - Laboratoire TIMA

Chapitre 4. | Approches en vue du Diagnostic |
4.3.1.2 Cas des systemes sequentiels
Le m^eme algorithme est etendu aux systemes sequentiels. L'extension est basee sur
le fait que l'on doit seulement tenir compte des contraintes supplementaires relatives
aux parties sequentielles du systeme. En l'etat actuel de notre etude, la methode ne
prend en compte que les systemes sequentiels synchrones. Ces systemes sont composes
de modules combinatoires et de bascules (gure 4.5).
Entrées
Primaires
Sorties
Primaires
Partie combinatoire
F F
Partie séquentielle
Figure 4.5: Modelisation d'un systeme sequentiel
Pour ce type de systemes, le temps est un parametre tres important. En eet, pour
propager une valeur a partir d'un nud donne vers une sortie primaire, on est amenea
traverser un certain nombre de bascules. La traversee de chaque bascule necessite un
coup d'horloge. Il est donc clair que l'instant de mesure, en termes de coups d'horloge
executes depuis le debut de la sequence de test, sera une information determinante
pour le processus de diagnostic. En pratique, cette information va servir a eliminer de
la liste des candidats, tous ceux dont l'etat ne peut ^etre observe sur une sortie primaire
au moment de la mesure. Pour cela, nous allons utiliser la notion de profondeur de
sequentialite, denie comme le nombre maximal de bascules a traverser pour aller
d'un element donne a une sortie primaire. Neanmoins, dans notre cas la profondeur
de sequentialite sera calculee par rapport aux sorties erronees.
{73 {