SYSTEMES SEQUENTIELS
1
RAPPELS
❑ Variable logique :
C’est une grandeur qui ne peut prendre que 2 états possibles (Vraie ou Faux). On associe à ces deux états le nombre 0 ou 1.
• Exemples : Lampe → allumée :1 – Eteinte : 0
Moteur → En marche : 1 – A l’arrêt : 0
❑ Fonction logique :
Elle est représentée par des groupes de variables logiques reliées entre elles par des opérateurs logiques.
Une fonction logique ne peut prendre elle aussi que deux valeurs 0 ou 1.
❑ Chronogramme d’un variable (Fonction) logique:
C’est la courbe de variation de la variable (Fonction)
logique en fonction du temps.
2
❑ Opérateurs logiques de base :
• Opérateur COMPLEMENT ou NON : F(a) = 𝒂
ഥ
• Opérateur ADDITION ou OU : F(a,b) = a + b • Opérateur PRODUIT ou ET : F(a,b) = a . b
3
❑ Front montant, Front descendant d’une variable logique
Ce sont des impulsions qui auront lieu à des instants donnés en rapport avec l’état de la variable d’origine.
4
❑Introduction
Système continu :
Systèmes dans lesquels les grandeurs physiques évoluent de façon
continue en fonction du temps.
Les informations traitées sont de nature analogique et les relations
entre les grandeurs physiques sont régies par des équations différentielles
Dans un système continu, le temps est une variable continue
❑Définition d’un SED :
Par opposition aux systèmes continus, les SED évoluent seulement à certain instants lorsque
des événements ponctuels sont présents. Les SED possèdent un ensemble d'états possibles
fini, et les variables sont discrètes
5
❑Définition d’un système séquentiel :
Les SED sont souvent séquentiels, qui ne manipulent que des variables binaires,
et dont le fonctionnement peut étre décrit par un modéle logique
Un système est dit séquentiel, lorsque la ou les sorties dépendent
de la combinaison des entrées et de l’état précédent des sorties.
Une même cause (même combinaison des entrées) peut
produire des effets différents à la sortie, et l’effet peut persister
même si la cause l’ayant provoqué disparaît.
5
Le système doit connaître son passé pour décider de son futur : Ce qui est représenté
par un retour du système sur lui même. Chaque sortie , à chaque instant, est le résultat
d'une combinaison des entrées et de l'état précédents des sorties ou des variables
internes
E1 S1
E2 Système S2
E3 S3
En Sm
séquentiel
Etats précédents
Par conséquent, dans un traitement séquentiel le système doit pouvoir mémoriser certaines valeurs
pour les réutiliser.
6
Exemple d'illustration et d'étude :
❑ Description du fonctionnement d’un système séquentiel (SS):
Plusieurs outils ont été développés pour faciliter la description du fonctionnement des SS.
Il s’agit essentiellement d’outils graphiques permettant de modéliser le comportement
séquentiel en termes de déroulement d’actions temporelles.
Parmi ces outils, on peut citer :
✓ Chronogramme ;
✓ Algorigramme ;
✓Diagramme d’état (stm) ;
✓ ...
7 *
⌂ Diagramme d’état (stm)
❑ Définition :
C’est un diagramme du langage SysML permettant de décrire l’évolution des états pris
par un système (ou sous-système) en fonction d’événements extérieurs.
Ce diagramme est constitué d’états représentés par des blocs reliés par des arcs qui
représentent les transitions possibles entre ces états.
Etat 1
Ev12
Etat 2
8
❑ Etat :
➢Définition :
Un état modélise une phase de fonctionnement durant la vie d’un système, pendant
laquelle il accomplit :
✓ une simple activité ;
✓ ou une séquence d’activités ; Etat 1
✓ ou est en attente.
Ev12
Pendant cette phase de vie l’état est dit Actif.
En dehors de cette phase de vie, il est dit Inactif. Etat 2
9
↑a
2 ↑r [ ത𝐢 ] 1 ↑d [u . i ]
Exécuter retour ↑i
↑u ↑m ↑i [u . s ] / R
3 4
Choisir vitesse
10
➢Activités et actions associées à un état :
Une activité peut être considérée comme une unité de comportement. Elle prend du temps et peut
être interrompue.
Exemples : Emettre du son, déplacer un objet dans un sens ...
Une action ne prend pas de temps et ne peut pas être interrompue (une activité instantanée en général).
Exemples : incrémenter un compteur, mettre une sortie à 1 ...
Titre de l’état (Nom, N°...)
A un état, on peut principalement rattacher :
entry/ Action exécutée lors de l’activation de l’état
✓ Une action d’entrée, précédée de « entry/ » ;
do/ Activité exécutée dès que l’action entry est
✓ Une activité, précédée de « do/ » ; terminée
✓ Une action de sortie, précédée de « exit/ ». exit/ Action exécutée lors de la désactivation de
l’état
11
*
Remarques :
✓ Les trois comportements entry, do et exit ne peuvent être utilisés qu’une seule fois par état,
mais il est également possible de n’en utiliser qu’une partie ;
✓ Si aucun mot réservé n'est utilisé, cela correspond à un do ;
✓ Un état vide (sans activité ni action) indique un état d’attente.
*
Comptage
Exemple :
entry/ N=N+1
do/ Monter la vitre
12
➢Pseudo-état :
Définition
Un pseudo-état est un état ne pouvant pas avoir d’activité.
Ils servent essentiellement comme éléments de liaison et pour indiquer l’état
initial ou l’arrêt du diagramme d’état.
Pseudo-état initial
Unique et obligatoire, il indique un point d'entrée dans un diagramme d’état.
Il est activé au début de l’exécution du ce diagramme, et n’a aucune transition
entrante.
Le pseudo-état initial est représenté par un cercle plein noir.
14
Pseudo-état final
Non obligatoire (optionnel), il indique que le système décrit n'a plus d'état actif.
il signe la fin de l’exécution du diagramme d’état et n’a aucune transition sortante.
Le peudo état final est représenté par un cercle plein noir cerclé.
D’autres Pseudos-état
Seront évoqués ultérieurement.
15
❑ Transitions :
Une transition (Schématisée par un lien orienté) représente la possibilité
de passage instantané d’un état vers un autre (ou vers lui même). Etat 1
On appelle état source l’état de départ d’une transition et état destination
(cible) l’état d’arrivée. Ev12
Une transition n’est réalisable que si l'état source est actif, et son Etat 2
franchissement est conditionné par des événements déclencheurs et des
conditions de garde.
17
➢ Syntaxe :
La syntaxe d’une transition peut comporter jusqu’à trois éléments distincts et optionnels :
Le franchissement d’une transition se fait dés que son état Événement [Condition de garde] /effet
source est actif et que l'évènement déclencheur apparaît et
que la condition de garde est vraie.
Remarques :
• Si aucun événement n’est écrit, alors il est toujours vrai ;
• Si aucune condition de garde n’est écrite, alors elle est toujours vraie ;
à l'arret et accélérateur relevé]
• Une transition qui ne contient aucune condition de franchissement
est dite automatique, elle est franchie dès que l’activité à l’intérieur
de l’état source est terminée.
18
➢ Evènement :
C’est la condition principale qui déclenche le passage d’un état à un autre.
Un évènement est localisé dans le temps et n’est jamais mémorisé.
Un évènement peut-être :
✓ Le changement d’état d’une variable (Front montant ou descendant) ;
✓ La validation d’une condition notée avec le mot clef when ;
✓ Une condition temporelle avec le mot clé after ou at.
Événement [Condition de garde] /effet
20
➢ Condition de garde :
Une condition (ou condition de garde) est une expression booléenne qui doit être vraie lorsque
l’événement arrive pour que la transition soit déclenchée.
Elle se note entre crochets.
Contrairement à l’évènement, la garde traduit une condition qui dure dans le temps.
Événement [Condition de garde] /effet
➢ Effet :
L’effet associé à une transition est une action effectuée
instantanément lorsque la transition est franchie.
21
❑ Chronologie du franchissement d’une transition :
Le franchissement d’une transition se fait dés que son état source est actif et que
l'évènement déclencheur apparaît et que la condition de garde est vraie.
l’éventuelle activité do de l’état source est interrompue Etat 1
entry/ Action e1
l’éventuelle action exit de l’état source est exécutée do/ Activité 1
exit/ Action s1
l'état source devient inactif
Ev12 [Cond12] / eff12
l’éventuelle action effet de la transition est exécutée
Etat 2
l'état cible devient actif entry/ Action e2
do/ Activité 2
l’éventuelle action entry de l’état cible est exécutée exit/ Action s2
23
COMPLÉMENTS
24
❑ Autres transitions :
➢ Transition reflexive : événement 4 / effet 4
Une transition réflexive est représentée par un Arc orienté qui relie
le même état (source = destination).
Etat 4
Elle entraîne une sortie de l'état puis un retour dans ce même état. entry/ Action e4
do/ Activité 4
Cela déclenche successivement : Action s4, effet 4, Action e4. exit/ Action s4
De plus, l’activité 4 est interrompue, puis redémarrée.
stm : Lampe Temporisée [description]
➢ Exemple : Lampe temporisée Eteinte
Un éclairage extérieur est mis en route par le passage d’une entry/ L=0
after (30s) d
personne sous le détecteur (d), il fonctionne alors pendant 30 s.
Eclairée
Si une nouvelle personne se présente alors que l’éclairage est actif,
entry/ Lancer Tempo
d
celui-ci redémarre pour 30 s. do/ L=1
25
➢ Transition alternative (Conditionnelle) : Ev1 [Cond13]
Etat 3
Etat 1
Plusieurs transitions peuvent quitter un même état.
Ev1 [Cond12]
Une seule d'entre elles doit être déclenchée ; les
Etat 2
événements et/ou les conditions de garde doivent
donc être exclusives.
Ev1 [else] Etat 3
Etat 1
Il est recommandé d’utiliser le mot-clé else sur l’une des transitions
pour assurer ainsi qu’au moins un segment en aval est franchissable, Ev1 [Cond12]
lorsque les conditions des autres segments sont toutes fausses. Etat 2
Etat 1
On peut aussi préciser l’alternative en utilisant le pseudo état de décision. Ev1
Dès que l’événement Ev1 apparaît, le pseudo-état décision est atteint. Si la
[Cond12] [else]
condition12 est vraie, c’est l’état 2 qui devient actif, sinon, c’est l’état 3.
Etat 2 Etat 3
26
❑ Autres états : stm : Twizy [Renault Twizy]
➢ Etat composite :
Lorsque le comportement à décrire : : Etat composite
• risque d’être peu lisible car trop complexe ; Twizzy à l’arrêt ou en charge
• fait apparaître des parties "séparables" de l’ensemble ; [Cordon non branché]
: Démarrage moteur
alors on extrait ces parties pour en faire des sous-graphes séparés,
hiérarchiquement inférieurs au graphe principal.
[Clé en position Stop]
On englobe ces sous-graphes dans un état appelé « état composite »
ou « super état », repéré par un signe symbolisant des lunettes placé
en bas à droite de l’état. stm : Twizy [Renault Twizy]
Remarques :
✓ Une transition qui atteint la bordure d’un état composite est équivalente à une
transition qui atteint l’état initial de sa région interne ;
✓ Une transition qui sort de la bordure d’un état composite est équivalente à une
transition qui sort de tous les états de sa région interne.
27
➢ Etats orthogonaux :
Dans un état composite, plusieurs graphes d'états peuvent évoluer
Etats orthogonaux
simultanément (en parallèle) dans des régions séparées par des pointillés.
Ces graphes sont sans aucune influence les uns sur les autres. On parle
alors d’états orthogonaux. Etat 11 Etat 21 Etat 31
Ev1 [Cd1] Ev2 [Cd2] Ev3 [Cd3]
• Une transition qui atteint la bordure d’un état composite orthogonal
Etat 12 Etat 22 Etat 32
est équivalente à une transition qui atteint les états initiaux de toutes
Ev4 [Cd4]
ses régions ;
• Toutes les régions d’un état composite orthogonal doivent atteindre Etat 33
leur état final pour que l’état composite soit considéré comme
terminé ;
• La synchronisation est alors automatique et la transition de sortie de
l'état composite est déclenchée.
28
❑Autres pseudos-états :
• Les transitions automatiques qui partent d'une barre de
➢ Pseudos-états fork et join :
synchronisation fork sont franchies simultanément ;
Représentés par une barre épaisse chacune, ces deux pseudos-
• La transition qui part d’une barre de synchronisation join n’est
états fonctionnent par paire, et permettent de symboliser
franchissable qu'après le franchissement de toutes les transitions
l’activation et la sortie d’un état composite orthogonal.
automatiques qui convergent vers elle.
Etats orthogonaux fork
Etat 11 Etat 21 Etat 31 Etat 11 Etat 21 Etat 31
Ev1 [Cd1] Ev2 [Cd2] Ev3 [Cd3] Ev1 [Cd1] Ev2 [Cd2] Ev3 [Cd3]
Etat 12 Etat 22 Etat 32 Etat 12 Etat 22 Etat 32
Ev4 [Cd4] Ev4 [Cd4]
Etat 33 Etat 33
join
29
➢ Pseudo-état Jonction :
Utilisé pour regrouper (« factoriser ») des conditions de Etat 1 Ev1
[Cd1] Etat 3
franchissement de transition. [Cd2]
Etat 4
Ev2
L’évaluation des conditions de garde en aval du pseudo-état jonction Etat 2 [Cd3] Etat 5
est réalisée avant qu’il ne soit atteint (Contrairement au pseudo-état
décision).
➢ Pseudo-état History :
L’activation du pseudo-état History permet à un super-état de se souvenir du dernier sous-état séquentiel qui était
actif avant une transition sortante.
Une transition vers l’état History rend à nouveau actif le dernier sous-état actif,
au lieu de le ramener vers le sous-état initial. H
Etat 1 Etat 3
Ev
Etat 4
Etat 2
30