Synthèse des systèmes séquentiels asynchrones par la méthode de Huffman

Début

Cahier de
charge claire

Définir les variables primaires d’E/S Hypothèses supplémentaires

Etablir le graphe des états stables

Etablir la matrice primitive des états

Simplifications :
• Détecter les états équivalents
• Etablir le polygone de liaisons

• Etablir la matrice réduite

• Coder les états

• Etablir la matrice des variables secondaires

• Etablir les matrices des sorties

Choisir la technologie de matérialisation

Aléas ?

Fin

10/05/2020 1
 Début

Cahier de
charge claire

Hypothèses supplémentaires

10/05/2020 2
 TD1-Exercice N°3
Dispositif de contrôle
Cahier de charge :

Dans un dispositif de contrôle, l’apparition d’un défaut agit sur un capteur (a) (a=1) provoque :

− L’allumage d’une lampe orange L1 (L1=1).

− La mise en route d’une sirène S (S=1).

Le surveillant est ainsi alerté, Il appuie sur un bouton (b) (b=1).

Deux cas sont possibles :

− L’anomalie, de très courte durée, a déjà disparue avant l’intervention du surveillant :

L’action de ce dernier arrête la sonnerie (S) et éteint la lampe (L1).
− L’anomalie, de longues durées, persiste encore lors de l’intervention du surveillant :
L’action de ce dernier arrête la sonnerie (S), éteint la lampe (L1) et allume une lampe rouge
(L2) (L2=1).

10/05/2020 3
 Début

Cahier de
charge claire

Définir les variables primaires d’E/S Hypothèses supplémentaires

10/05/2020 4
 1- définir les entrées/sorties

a, b : entrées
S, L1, L2 : sorties

a S
Système L1
b L2
séquentiel

10/05/2020 5
 Début

Cahier de
charge claire

Définir les variables primaires d’E/S Hypothèses supplémentaires

Etablir le graphe des états stables

10/05/2020 6
 2- Graphe des états stables.

ab 00
i 1
SL1L2 000

Etat i qque Etat initiale

10/05/2020 7
 Début

Cahier de
charge claire

Définir les variables primaires d’E/S Hypothèses supplémentaires

Etablir le graphe des états stables

Etablir la matrice primitive des états

10/05/2020 8
 3- Matrice primitive :
Définir le nbre de lignes et de colonnes:

Nbr de lignes = nbr des Etats stables

Nbr de colonnes = 2nbr d’entrées primaires + nbr de sorties primaires

ab
00 01 11 10 S L1 L2
Etats
E1

E2

E3

E4

E5

E6

10/05/2020 9
 3- Matrice primitive :

Remplir la matrice en plaçant les Etats stables et leurs sorties correspondantes

ab
00 01 11 10 S L1 L2
Etats
E1 ① 0 0 0

E2 ② 1 1 0

E3 ③ 1 1 0

E4 ④ 0 0 0

E5 ⑤ 0 0 1

E6 ⑥ 0 0 1

10/05/2020 10
 3- Matrice primitive :

Compléter la matrice en plaçant les Etats transitoires et les -

ab
00 01 11 10 S L1 L2
Etats
E1 ① - - 2 0 0 0

E2 3 - 5 ② 1 1 0

E3 ③ 4 - - 1 1 0

E4 1 ④ - - 0 0 0

E5 - - ⑤ 6 0 0 1

E6 1 - - ⑥ 0 0 1

10/05/2020 11
 Début

Cahier de
charge claire

Définir les variables primaires d’E/S Hypothèses supplémentaires

Etablir le graphe des états stables

Etablir la matrice primitive des états

Simplifications :
• Détecter les états équivalents
• Etablir le polygone de liaisons

10/05/2020 12
 4- Simplification de la matrice primitive

Etats stables équivalents : Polygone de liaison :

E1 E2
× ×
Pas d’états équivalents
①≠③ et ②≠⑥ E6 × × E3

× ×
E5 E4

Groupements :
1. (E1-E4) ;(E2-E3) ; (E5-E6)
2. (E1) ; (E2-E3) ; (E4-E5-E6)
3. (E1 -E4) ; (E2-E3) ; (E5) ;(E6)
4. (E1) ; (E2) ; (E3-E5) ;(E4-E6)

10/05/2020 13
 Début

Cahier de
charge claire

Définir les variables primaires d’E/S Hypothèses supplémentaires

Etablir le graphe des états stables

Etablir la matrice primitive des états

Simplifications :

• Détecter les états équivalents

• Etablir le polygone de liaisons

• Etablir la matrice réduite

• Coder les états

10/05/2020 14
 5- Les 4 cas possibles de matrices réduites codées.
Dans chaque cas indiquer les Aléas dynamiques existants et proposer des solutions à ces Aléas.
Groupement 1: Groupement 2:
Entre le 1 transitoire et le ① stable, Entre le 4 transitoire et le ④ stable
il y a changement des deux variables secondaires x et y Entre le 5 transitoire et le ⑤stable
ab ab
00 01 11 10 00 01 11 10
xy xy
00 ① ④ _ 2 00 ① _ _ 2

01 ③ 4 5 ② 01 ③ 4 5 ②

11 1 _ ⑤ ⑥ 11 _ 4’ 5’ _

10 1’ _ _ _ 10 1 ④ ⑤ ⑥

Groupement 3: Pas d’aléas Groupement 4:Pas d’aléas

ab ab
00 01 11 10 00 01 11 10
xy xy
00 ① ④ _ 2 00 ① _ _ 2

01 ③ 4 5 ② 01 3 _ 5 ②

11 _ _ ⑤ 6 11 ③ 4 ⑤ 6

10 1 _ _ ⑥ 10 1 ④ _ ⑥

NB : On appelle aléa de séquence ou dynamique les incertitudes de fonctionnement qui proviennent

du changement simultané de deux variables secondaires d’entrée.
10/05/2020 15
 Début

Cahier de
charge claire

Définir les variables primaires d’E/S Hypothèses supplémentaires

Etablir le graphe des états stables

Etablir la matrice primitive des états

Simplifications :
• Détecter les états équivalents
• Etablir le polygone de liaisons

• Etablir la matrice réduite

• Coder les états

• Etablir la matrice des variables secondaires

• Etablir les matrices des sorties

10/05/2020 16
6- A partir de la matrice réduite codée du groupement 3, donner les équations des excitations secondaires :
ab ab
00 01 11 10 00 01 11 10
xy xy
00 0 0 Φ 0 00 0 0 Φ 1

01 0 0 1 0 01 1 0 1 1

11 Φ Φ 1 1 11 Φ Φ 1 0

10 0 Φ Φ 1 10 0 Φ Φ 0

X = ab + ax = a(b + x) 𝑌 = 𝑎𝑏 + 𝑎𝑥ҧ + 𝑏ത 𝑥𝑦
ҧ = 𝑎 𝑏 + 𝑥ҧ + 𝑏ത 𝑥𝑦
ҧ

𝑋 = a b + x = 𝑎 𝑏 + 𝑥 ȁ1 Ou bien 𝑌ത = 𝑥 𝑏ത + 𝑎ത 𝑦ത + 𝑎𝑏
ത = 𝑥 𝑏ത + 𝑎ത 𝑦ത + 𝑏 → 𝑌ത = 𝑥 𝑏ത + 𝑎ത 𝑦ത + 𝑏
𝑋= 𝑎 𝑏𝑏 𝑥𝑥 ȁ1
→ 𝑌 = {𝑥│ 𝑏 𝑏 } 𝑎𝑎 𝑦 𝑏𝑏 ห1

7- Donner les équations des sorties S, L1 et L2 :

ab ab ab
00 01 11 10 00 01 11 10 00 01 11 10
xy xy xy
00 0 0 Φ Φ 00 0 0 Φ Φ 00 0 0 Φ 0
x
X &

Φ Φ 0 Φ
𝑠ҧ

01 1 1 01 0 0
s

01 1 Φ Φ 1 𝑠ҧ
𝑥ത
Y s &
&
&
X
& &
&
Y
K

11 Φ Φ 0 0 11 Φ Φ 0 0 11 Φ Φ 1 1
10 0 Φ Φ 0 10 0 Φ Φ 0 10 Φ Φ Φ 1

𝑆 = 𝑥𝑦
ҧ 𝐿1 = 𝑥𝑦
ҧ 𝐿2 = 𝑥
𝑆 = 𝑥𝑦
ҧ = 𝑥 𝑥 ȁ𝑦 ȁ1 𝐿1 = 𝑥𝑦
ҧ = 𝑥 𝑥 ȁ𝑦 ȁ1
10/05/2020 17
 Début

Cahier de
charge claire

Définir les variables primaires d’E/S Hypothèses supplémentaires

Etablir le graphe des états stables

Etablir la matrice primitive des états

Simplifications :
• Détecter les états équivalents
• Etablir le polygone de liaisons

• Etablir la matrice réduite

• Coder les états

• Etablir la matrice des variables secondaires

• Etablir les matrices des sorties

Choisir la technologie de matérialisation

10/05/2020 18
 8- Logigramme :

10/05/2020 19
 9- Compléter le schéma de câblage :

Brochage du circuit 7400

10/05/2020 20
 10- Représenter le schéma électrique de l’installation

a
S

L1

L2

10/05/2020 21
 Début

Cahier de
charge claire

Définir les variables primaires d’E/S Hypothèses supplémentaires

Etablir le graphe des états stables

Etablir la matrice primitive des états

Simplifications :
• Détecter les états équivalents
• Etablir le polygone de liaisons

• Etablir la matrice réduite

• Coder les états

• Etablir la matrice des variables secondaires

• Etablir les matrices des sorties

Choisir la technologie de matérialisation

Aléas ?

Fin

10/05/2020 22