Exemples de statecharts
Exemple 1. Le diagramme d'états-transitions associé au comportement d’une
machine à laver les voitures.
En phase de lustrage ou de lavage, le client peut appuyer sur le bouton d'arrêt
d'urgence. S'il appuie sur c e bouton, la machine se met en attente. Il a alors
deux minutes pour reprendre le lavage ou le lustrage (la machine continue en
l'état dans lequel elle a été
phase de lavage ou de lustrage, suivant
interrompue), sans quoi la machine s'arrête. En phase de séchage, le client peut
aussi
la machine s'arrêtera
définitivement (avant de reprendre un autre cycle entier).
interrompre la machine. Mais dans ce cas,
1
Exemples de statecharts
2
Exemples de statecharts
Publicité
Exemple 2. Le diagramme d'états-transitions associé au lancement d’une
commande
3
Exemples de statecharts
Exemple 3. Feu clignotant contrôlé par une horloge
tm(en(A), n) : le timeout est déclenché n unités à partir du début d’entrée
dans A.
4
de
Un
Exemples
système de contrôle d’un bruleur
d’une chaudière à gaz
statecharts:
Le système de contrôle est initialement à l’état Idle. Si une demande de chauffe (HeatRequest)
est activée alors le système ouvre le robinet d’air ensuite le robinet du gaz et enfin il active
l’allumeur.; il passe à un état igniting (allumage) et ensuite ignited (allumé). L’allumeur est
Publicité
après désactivé et le système se trouve dans un état burning (de combustion) et reste dans
cet état tant la flamme existe et il n’ya pas de demande d’arret de chauffe (NoHeatRequest).
En l’occurrence de cette demande ou de l’absence de flamme le système passe à un état
NotBurning. Apres 1 s, le gas est suspendu en fermant le robinet et le système de contrôle
passe à l’état Idle.
5
Exemples de statecharts: bruleur
d’une chaudière à gaz
6
Exemples de statecharts :
train passage à niveau
7
Exemple d’automate temporisé:
Digicode pour l’ouverture de portes de contrôle passe à l’état 4 si :
-
-
La saisie n’a pas dépassé 2 mn sinon le système passe à un état d’échec (5).
Publicité
Le 1er A de la bonne séquence (ABA) est suivi d’un B au bout d’un temps qui ne dépasse pas 10s. De
même le B de la bonne séquence (ABA) est suivi de A au bout d’un temps qui ne dépasse pas 10s.
B, C
B, C
Ht:=0
1
0
A
Ht:=0
Hs:=0
B, HS>10
A
HS:=0
A
HS :=0
2
B, Hs<11
Publicité
Hs:=0
3
A, HS<11
4
C
B, C
Ht:=120
Ht:=120
Ht:=120
HS>10
5
8