SSEQ Cours - Décrire Le Comportement Des Systèmes Séquentiels

SCIENCES INDUSTRIELLES DE L'INGENIEUR
Décrire le
SCIENCES INDUSTRIELLES DE L'INGENIEUR
comportement des
systèmes
séquentiels
CPGE 1ère et 2ème années
Stéphane Génouël
SSEQ Cours - Décrire le comportement des systèmes à événements discrets CPGE 1re année
Sommaire
1 Modéliser le comportement dynamique des SSEQ par diagramme d'état 4

1.1 Présentation du diagramme d’état : state machine diagram ou stm 4
1.2 État, et ses actions et activités associées 5
1.3 Transition, et ses événement, condition de garde et action associés 6
Événement 6
Condition de garde 7
Action dans une transition 9
1.4 Évolution d’un diagramme d’état par franchissement des transitions 9
Chronologie du franchissement d’une transition 9
Situations couramment rencontrées 10
Structures algorithmiques de base 11
1.5 Pseudo-états 12
Pseudo-état initial 12
Pseudo-état final 12
Pseudo-état jonction 12
Pseudo-état décision 12
1.6 Démarche de modélisation du comportement d’un SSEQ par diagramme d’état 13
2 Modéliser le comportement dynamique des SSEQ par diagramme d'état avec état composite 13
2.1 Notion de hiérarchisation : état composite et point de connexion 13
2.2 État composite orthogonal 15
2.3 Historique d’un état composite 16
3 Modéliser le comportement dynamique des SSEQ par diagramme de séquence 17

3.1 Rappel : diagramme des cas d’utilisation : Use case ou uc 17
3.2 Diagramme de séquence : Sequence Diagram ou sd 17
3.3 Déduction d’un diagramme d’état à partir d’un diagramme de séquence 19
QUIZ 20
Sciences industrielles de l’ingénieur Page 2 sur 20 10/06/2022

On a étudié plus tôt dans l’année la façon dont se comportaient les systèmes continus usuels (plus
(1) Échelon, rampe ou particulièrement les SLCI) lorsqu’ils étaient soumis à des entrées, elles aussi usuelles(1). Dans ce cours,
sinusoïde. on s’intéresse au comportement des systèmes séquentiels (SSEQ).
Pour rappel, les SLCI évoluent de manière continue dans le temps et peuvent être
modélisés par des équations différentielles, ou des fonctions de transfert.
En revanche, les SSEQ évoluent de manière discontinue dans le temps. Cette évolution
est cadencée par des événements ponctuels.
Contrairement aux SLCI où les informations traitées sont de nature analogique, les
SSEQ manipulent des informations logiques ou numériques.
La ou les sorties des SSEQ dépendent souvent de la combinaison des entrées ET de

l'état précédent des sorties.
Exemple : télécommande de téléviseur

Un appui sur le bouton entraine soit l’allumage ou soit
l’extinction du téléviseur.
Ainsi, dans le cas d’un SSEQ :

− une même cause (même combinaison des entrées)
peut produire des effets différents ;
− le temps peut être une cause déclenchante ;
− l'effet peut persister si la cause disparaît.
L’unité de commande des SSEQ est très souvent réalisée à partir de

circuits logiques et de calculateurs.
Elle est programmée à partir de l’analyse d’un cahier des charges avec
comme objectif, d’aboutir à un fonctionnement du système conforme
aux attentes de ses utilisateurs. Carte Arduino
Unité de commande : fonction, entrée et sorties
Tout comme les SLCI, les entrées des SSEQ sont des informations en provenance de
l’IHM et des capteurs et les sorties sont des commandes vers les IMH et les
préactionneurs des différentes chaînes de puissance.

Comme pour toutes les autres étapes de conception d’un nouveau système, il se révèle plus efficace
techniquement et économiquement de modéliser la structure du programme et de la simuler, avant
tout choix de langage de programmation et réalisation du programme.
Cette démarche structurée

s’inscrit dans un contexte plus
large d’ingénierie système.
Elle peut être mise en œuvre via le

(1) Notons qu’il existe langage SysML et plus
d’autres outils pour particulièrement grâce à
modéliser le programme l’utilisation des diagrammes Ingénierie système : diagramme du langage SysML et logiciels
d’un système à
événement discret ou
d’état(1). de simulation associés
décrire son
comportement
séquentiel.
1 Modéliser le comportement dynamique des SSEQ par diagramme
d'état
1.1 Présentation du diagramme d’état : state machine diagram ou stm
En langage SysML, un diagramme d’état (stm) est nécessairement associé à un bloc du
diagramme de définitions de blocs (bdd) ou du diagramme de blocs internes (ibd). Ce
bloc peut être le système complet (en général), un sous-système ou un constituant.
On utilisera le mot « système » et non pas « bloc » même si le bloc isolé est un sous-
système ou un constituant.
NB : Chaque bloc d’un bdd ou d’un ibd ne conduit pas nécessairement à un diagramme d’état.
Le diagramme d’état décrit les différents états pris par le bloc ainsi que les transitions
possibles entre ces différents états.
Exemple : dispositif de vidéo surveillance

Le diagramme ci-dessous décrit le fonctionnement d’un système de vidéo-surveillance. On y
trouve :
− 5 états : Repos, Initialisation, Diagnostic, Arrêt et Fonctionnement ;
− des transitions entre les états, représentées par des flèches, et qui précisent sous quelles
conditions le système passe d'un état à un autre.

Avec cet exemple, on remarque que dans les diagrammes d’état, la représentation du comportement
est en générale fonctionnelle. Aucune information technique sur la manière dont sont transmises les
informations, ni sur la façon dont sont réalisées les actions ou activités, n’est précisée.
1.2 État, et ses actions et activités associées

(1) Représenté
graphiquement par un Un état(1) modélise une phase du fonctionnement du système (le bloc isolé du bdd ou
rectangle aux bords
arrondis.
de l’ibd).
Un état est dit actif lorsque le système se retrouve dans la phase de fonctionnement
associée. En dehors de cette phase de fonctionnement, l'état est dit inactif. Ainsi :
− il n’y a qu’un seul état actif à chaque instant ;
− un état possède un titre unique dans le diagramme.
Lorsqu’un état est actif, le système :

− accomplit une ou une séquence (suite) d’actions ou d’activités ;
− OU est en attente.
Une action(2) est considérée comme instantanée, et donc non interruptible.

(2) Instantanée : allumer
Une activité possède une certaine durée. Elle peut-être :
un voyant, incrémenter − continue et n’est interrompue que lorsque l’état cesse d’être actif ;
un compteur, éteindre un
voyant… − finie si elle s’arrête d’elle-même au bout d’un certain temps.
Le lancement des actions et activités à l'intérieur de l'état actif est organisé selon des mots réservés :
entry Pour une action à exécuter lors de l’activation de l’état.
Pour une ou plusieurs activités à exécuter dans l'ordre

do de leur écriture, après l’exécution de l’action associée à
entry
Pour une action à exécuter lors de la désactivation de
exit
l’état, juste avant la sortie de l’état.
Pour une action à exécuter lorsque l’événement event
survient. Si l’événement se produit plusieurs fois
event
pendant que l’état est actif, l’action correspondante est
réalisée autant de fois.
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 (seulement
entry par exemple) ;
− si aucun mot réservé n'est utilisé, cela correspond à un do ;
− un état vide (sans activité) indique un état d’attente.
NB : À chaque état est associée la variable interne IN ETAT qui vaut 1 si l’état « ETAT » est actif et 0 sinon.

1.3 Transition, et ses événement, condition de garde et action associés

(1) Représentée Une transition(1) modélise la possibilité d'un passage instantané d'un état vers un autre.
graphiquement par une
flèche. On appelle état source l'état de départ d'une transition, et état cible l'état d'arrivée
d’une transition.
La transition :
− n'a pas de durée ;
− n'est évaluée que si l'état source est actif.
Son franchissement est conditionné par un événement et une condition de garde.
Cet événement et condition de franchissement ainsi que l’éventuelle action associée à la transition
sont indiqués le long de la flèche qui la symbolise suivant la notation :
événement [condition de garde] / action
Événement
(2) Supposé instantané. Un événement correspond au changement d’état(2) 0 ou 1 d’une variable observée. Il
est daté dans le temps et est traité instantanément lors de son apparition.
Exemples : appui sur un bouton, arrivée en fin de course

d’un mécanisme, dépassement d’une valeur seuil…
Un événement n’est jamais mémorisé et est donc perdu s’il ne mène à aucune
évolution du diagramme d’état.
Il est possible d’utiliser des variables internes (compteurs ou horloge) pour spécifier un événement :
L’événement apparaît lorsque la variable interne N devient égale à 3. Il permet par
when(N==3)
exemple d’utiliser un compteur.
L’événement apparaît après une durée T passé dans l’état d’amont. Il permet de
after(T)
réaliser une temporisation.
L’événement apparaît à la date D dans un référentiel de temps dont l’origine

at(D)
correspond généralement au démarrage du fonctionnement du système.
(3) Cette activité doit Si une transition n’a pas d’événement spécifié, l’événement implicite est :
donc avoir une fin.
− la fin de la dernière activité(3) de l’état source ;
− ou l’entrée dans l’état source s’il n’y a pas d’activité.

Condition de garde
(1) Vrai ou faux,

généralement notée 1 ou La condition de garde est une condition de franchissement de la transition. C’est une
0. condition logique(1) évaluée à l’instant de l’événement.
Contrairement à l’événement qui, lui, est localisé dans le temps, la condition de garde
traduit une condition qui dure dans le temps.
Exemple 1 : Variable logique b

(2) Qui revient, grâce à un Associée par exemple à l’état logique d’un bouton poussoir monostable(2) :
ressort situé à l’intérieur,
en position initiale
- l’événement est associé à l’instant où le bouton est enfoncé ou relâché ;
lorsque l’on appui pas - la condition de garde est associée à l’état du bouton : enfoncé ou relâché.
dessus.
Notée : Évolution temporelle

Événement Condition
bouton b 
enfoncé  
enfoncement
du bouton
b
bouton b 
relâché  
relâchement
du bouton b
Exemple 2 : Variable interne (compteur) ou variable continue

Associée par exemple à la mesure d’un capteur de température :
- l’événement peut être associé à l’instant où la température
dépasse une valeur seuil ;
- la condition de garde peut être associée à la condition T  seuil .
Notée : Évolution temporelle

température
supérieure au T
  seuil 
seuil
dépassement
when(T  seuil)
du seuil
when sera donc utilisé pour les événements à variables internes ou continues.
Si une condition de garde n’est pas présente le long d’une transition, elle est considérée
comme toujours vraie.
La syntaxe d’une condition vérifiant si l’état ETAT est actif est : [in ETAT].

Équation logique
La condition logique évaluée
peut-être le résultat d’une
combinaison de l’état de
plusieurs grandeurs logiques, on
parle alors du résultat d’une
équation logique.
Dans ce type d’équation, on utilise des opérateurs logiques selon les règles de l’algèbre de BOOLE.
Ces 4 opérateurs logiques sont : OUI, NON, OU, ET. Ils permettent de réaliser les opérations de base :
Entrées : a et b résultat : S(1)
OUI notée S = a a =1
NON
notée S = a a=0
(appelé aussi « complément ») qui donne à S la
(1) Remarque : le symbole OU valeur 1 si et
« = » ne traduit pas une notée S = a + b a = 1 OU b = 1
(appelé aussi « somme logique ») seulement si
égalité mais une identité
d’état (0 ou 1, Vrai ou ET
Faux). notée S = a  b a = 1 ET b = 1
(appelé aussi « produit logique »)
Quelques règles et propriétés de l’algèbre de Boole :

Propriétés de la somme logique : OU Propriétés du produit logique : ET
a +1 =1 a 1 = a
a+0=a a0 = 0
a+a=a aa = a
a+a =1 aa = 0
commutativité associativité distributivité

ab = ba a  (b  c) = (a  b)  c = a  b  c a  (b + c) = a  b + a  c
a+b = b+a a + (b + c) = (a + b) + c = a + b + c a + (b  c) = (a + b)  (a + c)
Toutes ces règles ne sont pas à apprendre par cœur

mais plutôt à retrouver en faisant preuve de
« logique ».
On peut s’aider d’une représentation mentale de type
schéma électrique dans laquelle :
• la variable dont on calcule l’état est une ampoule ;
• les variables qui interviennent dans l’équation
sont des interrupteurs de type bouton poussoir ; Représentation « électrique » de S = a + b
• l’opérateur logique OU correspond à un montage
en parallèle ;
• l’opérateur logique ET correspond à un montage
en série.
Remarque : différentes écritures des équations logiques

Selon le logiciel ou le langage de programmation utilisé, il existe de nombreuses façons d’écrire les
équations booléennes qui interviennent dans les conditions de garde.

Action dans une transition

Une action peut-être réalisée(1) au moment du franchissement de la transition.

C’est plutôt rare en pratique. Il peut s’agir éventuellement de l’incrémentation d’un
compteur pour connaître le nombre de passage par cette transition.
(1) Ce sera souvent le cas

en pratique, les actions Une transition peut ne pas avoir d’action associée(1).
étant plutôt associées aux
états.
1.4 Évolution d’un diagramme d’état par franchissement des transitions

Chronologie du franchissement d’une transition
On peut formuler le principe de fonctionnement de base d’un diagramme d’état de la façon suivante :
Dès qu'un état est actif, la transition située entre cet état source et l’état cible est
franchissable.
Lorsque l'événement apparaît, ET si la condition de garde est vraie :
l’éventuelle activité en cours de l’état source est

interrompue
l’éventuelle action de sortie de l’état source est exécutée

l'état source devient inactif

l’éventuelle action associée à la transition est exécutée

l'état cible devient actif

l’éventuelle action d’entrée de l’état cible est exécutée

Situations couramment rencontrées
À l'apparition de l'événement, la transition est

franchie, sans condition.
À l’apparition de l'événement, si la condition

de garde « cond » est vraie, la transition est
franchie.
Sinon, l'événement est « perdu » et il faut

attendre une nouvelle apparition de
l’événement pour éventuellement franchir la
transition.
Si la condition de garde « cond » est vraie, la

transition est :
- immédiatement franchie s’il n’y a pas
d’activité associée à l’état 1 ;
- franchie dès la fin de l’éventuelle dernière
activité de l’état 1. Cette fin d’activité
constitue l’événement implicite de la
transition. Il faut donc que cette activité ait
une fin.
La transition est dite automatique. Elle est :

- immédiatement franchie s’il n’y a pas
d’activité associée à l’état 1 ;
- franchie dès la fin de l’éventuelle dernière
activité de l’état 1. Cette fin d’activité
constitue l’événement implicite de la
transition. Il faut donc que cette activité ait
une fin.
Une transition réflexive entraîne une sortie de

l'état puis un retour dans ce même état, avec
appel des éventuelles actions associées à exit
et entry.
Plusieurs transitions peuvent quitter un même

état.
Une seule d'entre elles doit être franchie à un
instant donné.
Les événements et/ou les

conditions de garde doivent
donc être exclusives.

Structures algorithmiques de base

Les structures algorithmiques de base(1) vues en informatiques peuvent être modélisées sous la forme
(1) If, boucle while, boucle des portions de diagrammes d’état suivants :
for…
Si cond, alors activer Etat1, sinon Etat2 :
Répéter Etat1, jusqu’à cond :
Tant que cond, activer Etat1 :
Pour n variant de min à max, activer Etat1 :

1.5 Pseudo-états
Un pseudo-état est un état ne pouvant pas avoir d’action ou activité.
Pseudo-état initial
Unique et obligatoire, il est activé au lancement de la machine à états et marque le

début de l’exécution du diagramme d’état. Il n’a aucune transition entrante.
Pseudo-état final
(1) Il peut y en avoir plusieurs Optionnel(1), il signe la fin de l’exécution du diagramme d’état. Il n’a aucune transition
car différents scénarios sortante.
peuvent être possibles pour
mettre fin à un diagramme
d’état.
Pseudo-état jonction
Regroupe (« factorise ») des conditions de franchissement de transition, en particulier

des gardes communes à un événement, afin d’aboutir à une notation plus lisible.
L’évaluation des conditions de garde en aval du pseudo-état jonction est réalisée avant
que ce pseudo-état ne soit atteint.
Exemples ci-dessous de 2 diagrammes d’état identiques : l’un sans pseudo-état jonction, et l’autre avec :
Exemple sans pseudo-état jonction Exemple avec pseudo-état jonction
On passe de l’état 1 à l’état 3 si l’événement e1 apparait et que les conditions a>0 et b<0 sont vrais.
Pseudo-état décision
Utilisé pour une sélection de séquences exclusives. C’est un pseudo-état d’attente.

(2) Contrairement au L’évaluation des conditions de garde en aval du pseudo-état décision est réalisée au
pseudo-état jonction.
moment(1) où il est atteint.
Les conditions de garde doivent être exclusives.
L'utilisation d'une clause [else] est recommandée après un pseudo-état décision, car elle garantit un
modèle correct en englobant tout ce qui n’est pas décrit dans les autres expressions logiques et en
assurant ainsi qu’au moins un segment en aval est franchissable.
Etat 1
Exemple 1 :
Ci-contre, dès que l’événement apparaît, le pseudo-état décision est atteint. Si la Etat 3
condition est vraie, c’est l’état 2 qui devient actif, sinon, c’est l’état 3.
Etat 2
Exemple 2 :
Les 2 représentations ci-dessous sont donc strictement équivalentes.
Ici, dès que l’événement event
apparaît, Etat0 est désactivé
et le pseudo-état de décision
est activé. Il reste actif tant
qu’aucune des conditions
cond1, cond2, cond3 n’est
vraie. Dès que l’une d’elle
l’est, le système évolue.

1.6 Démarche de modélisation du comportement d’un SSEQ par diagramme d’état

Une bonne modélisation du comportement séquentiel d’un système, en vue de programmer son unité
(1) Le programme de de commande, nécessite de respecter la démarche suivante(1) :
CPGE précise que la
• Définir la frontière du système, recenser les variables d’entrée (consignes de l'utilisateur,
réalisation d’un
diagramme d’état n’est
grandeurs physiques acquises par les capteurs) et de sortie (messages à destination de
pas exigible au concours,
Étape 1 l'utilisateur ou d'autres systèmes, et commandes vers les préactionnneurs).
mais uniquement son
interprétation. Cela dit,
• Recenser, nommer et tracer les différents états dans lesquels peut se retrouver le système lors
nous serons amenés à
de son utilisation. Identifier les actions et activités associées à chaque état.
mettre en œuvre cette Étape 2
démarche dans le cadre
des activités dirigées ou
pratiques. • Identifier et tracer les transitions possibles entre les états en fonction du comportement
séquentiel souhaité ou observé.
Étape 3
• Définir les événements et conditions associés à chaque transition et qui autorisent son
franchissement.
Étape 4
2 Modéliser le comportement dynamique des SSEQ par diagramme

d'état avec état composite
2.1 Notion de hiérarchisation : état composite et point de connexion
Un état composite décrit les évolutions internes d’un état à l’aide d’un autre
diagramme d’état.
Pour repérer un état composite, un signe symbolisant des lunettes est
apposé sur l’état.
Cette structure qui englobe plusieurs sous-états exclusifs considérés comme hiérarchiquement
inférieur au diagramme principal, permet de rendre ce dernier plus lisible en entrant séparément dans
le détail des évolutions internes du système.
Exemple : radio-réveil
Équivalent à :

Une transition qui atteint la bordure d’un état composite est équivalente à une
transition qui atteint le pseudo-é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 UNIQUEMENT si elle contient
un événement.
Dans le cas d’une transition sans événement, l’événement implicite est :
− la fin de la dernière activité(1) susceptible d’être réalisée dans le diagramme d’état
(1) Cette activité doit
encapsulé ;
donc avoir une fin. − ou l’activation du pseudo-état final du diagramme d’état encapsulé s’il existe.
Les points de connexion d’entrée et de sortie, respectivement représentés par un cercle

vide et un cercle barré, permettent d’indiquer que des transitions concernent
uniquement un seul état du diagramme d’état encapsulé.
Exemple :
Imaginons que Etat111 est actif :

- lorsque l’événement b survient, Etat111 est désactivé et Etat112 s’active et activité112 débute ;
- puisque la transition de sortie de Etat112 est automatique, lorsque la fin de activité112 survient, Etat112 est
désactivé et le pseudo-état final de Etat11 s’active ;
- puisque la transition de sortie de Etat11 est automatique, cet état est désactivé, Etat12 est alors activé et
activité12 débute ;
Imaginons que Etat1 est actif (=Etat111 ou Etat112 ou Etat12 actif) :

- lorsque l’événement c survient, Etat1 est désactivé (=Etat111 ou Etat112 ou Etat12 désactivé) et Etat2 s’active ;

- si au cours de activité12, l’événement d survient avant la fin de activité12, Etat12 est désactivé, et Etat1
également, activant Etat2 ;
- si activité12 se termine avant que d ne survienne, la transition de sortie de Etat1 étant automatique, Etat12
est désactivé, et Etat1 également, activant Etat2.

2.2 État composite orthogonal

Dans un état composite orthogonal, plusieurs diagrammes d'états peuvent évoluer
simultanément dans des régions séparées par des pointillés.
(1) Dans ce cas de figure Les différentes régions de l’état orthogonal fonctionnent en parallèle sans
plusieurs états sont actifs généralement, aucune influence les unes sur les autres (1).
en même temps (un seul
par région).
Exemple : distributeur de boissons
Les transitions qui pointent vers un état composite orthogonal sont soumises aux mêmes règles que
celles décrites précédemment, ainsi :
Une transition qui atteint la bordure d’un état composite orthogonal est équivalente
à une transition qui atteint les pseudo-états initiaux de toutes ses régions internes.
Pour assurer la synchronisation de la sortie de toutes les régions d’un état composite
orthogonal, il est commun de prévoir un pseudo-état final pour chaque région et une
transition automatique en sortie de l'état composite.
Ainsi, toutes les régions d’un état composite orthogonal doivent atteindre leur pseudo-
état final pour que l’état composite soit considéré comme terminé. Ce n’est qu’à cette
condition que la transition de sortie de l'état composite devient franchissable.
D’autres comportements peuvent se rencontrer. Leur interprétation repose sur le

comportement général des états composites.
Exemple :

- lorsque l’événement c survient,
- Etat112 est désactivé et Etat1
également (et donc la seconde
région de l’état composite
orthogonal aussi).

Il est possible d’effectuer une synchronisation entre les régions internes en cours
d’exécution de l’état composite orthogonal à l’aide d’une variable interne d’état (IN
ETAT).
Exemple :

- lorsque l’événement d survient,
- si Etat111 est actif, le système
évolue vers Etat123 ;
- sinon, il évolue vers Etat122.
2.3 Historique d’un état composite
L’état actif au moment de la sortie d’un état composite peut être mémorisé par
l’indication historique.
Lors de la réactivation de l’état composite, celui-ci se réactive à cet état.
Exemple :
L’historique est utilisé ici pour permettre
à un système de recommencer dans l’état
où il était, après un appui sur l’arrêt
d’urgence (ARU).

3 Modéliser le comportement dynamique des SSEQ par diagramme de

séquence
Un autre diagramme du langage SysML permet de décrire le comportement séquentiel d’un système.
Il s’agit du diagramme de séquence.
3.1 Rappel : diagramme des cas d’utilisation : Use case ou uc

Le diagramme SysML des cas d'utilisation (Use Case Diagram –uc-) définit :
(1) Ces acteurs peuvent − les différents types d’utilisateurs, nommés acteurs(1) ;
être des humains ou non,
principaux ou − et les fonctions attendues par ces acteurs.
secondaires. Il permet de formaliser le besoin.
Ces acteurs sont placés à
l’extérieur de la frontière
d’étude. L’énoncé d’un cas d’utilisation est purement fonctionnel. Il est défini en termes de résultats attendus
et est donc totalement indépendant des solutions technologiques choisies pour pouvoir le réaliser.
Exemple : système de vente de repas en ligne « Dinner now » (à Rennes « Just eat »)
Le système est conçu pour permettre aux clients de sélectionner des éléments dans un menu, et aux
restaurants proposant ce service de mettre le menu à jour.
3.2 Diagramme de séquence : Sequence Diagram ou sd

Un diagramme de séquence est rattaché à un cas d’utilisation et décrit ce dernier en entier ou en
partie, ce qui correspond à un scénario de fonctionnement possible, défini dans un cadre précis.
(2) Appelés messages.
Il décrit, dans l’ordre chronologique, l’enchaînement des interactions(2) entre les
acteurs du système ou entre des composants du système eux-mêmes.
Les principaux éléments sont :

Ligne de Ligne verticale en pointillée. Une pour chaque élément dialoguant (acteur, système, sous-
vie système ou composant).
Période
Bande verticale sur une ligne de vie. Optionnelle, elle facilite la lecture du diagramme.
d’activité
Flèche horizontale unidirectionnelle entre deux lignes de vie représentant un élément de
communication. Elle déclenche une période d’activité (un comportement) chez le receveur
du message, pour qui, l'arrivée d'un message est un événement.
Ce message peut être :
• synchrone : l'émetteur attend une réponse, son comportement est
Message bloqué pendant l’attente ;
• asynchrone : l'émetteur n'attend pas de réponse, son comportement
continu ;
• une réponse.
Il est possible d'avoir un message réflexif correspondant à une interaction interne au
composant.
Cadre englobant une partie de la séquence
Boucle. Le fragment est
maintenu pendant une
loop
durée qui dépend de la
condition de garde.
Séquences en parallèle.
Les régions peuvent être
Fragment par exécutées
simultanément.
Séquences alternatives
conditionnées. Seule la
alt
région dont la condition
est vraie s’exécute.
Exemple : système de vente de repas en ligne

3.3 Déduction d’un diagramme d’état à partir d’un diagramme de séquence

À partir d’un diagramme de séquence, il est possible de construire un diagramme d’état d’un bloc.
Dans ce cas, les messages reçus deviennent des événements qui déclenchent le franchissement des
transitions entre états et les messages émis correspondent à des activités. Notons cependant que
cette démarche conduit à obtenir un diagramme d’état décrivant le comportement d’un bloc pour un
cas d’utilisation particulier.
Exemple : réseau informatique

L’utilisateur d’un réseau informatique souhaite accéder à un serveur de
données au moyen d’un ordinateur client.
On donne le diagramme de séquence montrant les interactions entre l’acteur et le système :
On en déduit le diagramme d’état du

comportement de l’ordinateur client lors de la
phase de connexion d’un utilisateur.

QUIZ
SSEQ1 : Modéliser le comportement dynamique des SSEQ par

diagramme d'état
- expliquer les termes état, action, activité, transition, événement, condition de garde ;
- donner les différentes étapes de la chronologie du franchissement d’une transition ;
- expliquer les pseudo-états de jonction et de décision.

diagramme d'état avec état composite
- expliquer les différentes possibilités d’évolution d’un diagramme d’état, lorsqu’une transition atteint ou sort
d’une bordure d’un état composite ou d’un état composite orthogonal ;
- expliquer l’historique d’un état composite.

diagramme de séquence
- expliquer les différents types de message et fragment d’un diagramme de séquence.

SSEQ Cours - Décrire Le Comportement Des Systèmes Séquentiels

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

SSEQ Cours - Décrire Le Comportement Des Systèmes Séquentiels

Transféré par

Droits d'auteur :

Formats disponibles

SCIENCES INDUSTRIELLES DE L'INGENIEUR

CPGE 1ère et 2ème années

1 Modéliser le comportement dynamique des SSEQ par diagramme d'état 4

3 Modéliser le comportement dynamique des SSEQ par diagramme de séquence 17

Sciences industrielles de l’ingénieur Page 2 sur 20 10/06/2022

La ou les sorties des SSEQ dépendent souvent de la combinaison des entrées ET de

Exemple : télécommande de téléviseur

Ainsi, dans le cas d’un SSEQ :

L’unité de commande des SSEQ est très souvent réalisée à partir de

Unité de commande : fonction, entrée et sorties

Sciences industrielles de l’ingénieur Page 3 sur 20 10/06/2022

Cette démarche structurée

Elle peut être mise en œuvre via le

Exemple : dispositif de vidéo surveillance

Sciences industrielles de l’ingénieur Page 4 sur 20 10/06/2022

1.2 État, et ses actions et activités associées

Lorsqu’un état est actif, le système :

Une action(2) est considérée comme instantanée, et donc non interruptible.

entry Pour une action à exécuter lors de l’activation de l’état.

Pour une ou plusieurs activités à exécuter dans l'ordre

Sciences industrielles de l’ingénieur Page 5 sur 20 10/06/2022

1.3 Transition, et ses événement, condition de garde et action associés

Exemples : appui sur un bouton, arrivée en fin de course

L’événement apparaît à la date D dans un référentiel de temps dont l’origine

Sciences industrielles de l’ingénieur Page 6 sur 20 10/06/2022

(1) Vrai ou faux,

Exemple 1 : Variable logique b

Notée : Évolution temporelle

Exemple 2 : Variable interne (compteur) ou variable continue

Notée : Évolution temporelle

Sciences industrielles de l’ingénieur Page 7 sur 20 10/06/2022

Quelques règles et propriétés de l’algèbre de Boole :

commutativité associativité distributivité

Toutes ces règles ne sont pas à apprendre par cœur

Remarque : différentes écritures des équations logiques

Sciences industrielles de l’ingénieur Page 8 sur 20 10/06/2022

Action dans une transition

Une action peut-être réalisée(1) au moment du franchissement de la transition.

(1) Ce sera souvent le cas

1.4 Évolution d’un diagramme d’état par franchissement des transitions

l’éventuelle activité en cours de l’état source est

l’éventuelle action de sortie de l’état source est exécutée

l’éventuelle action associée à la transition est exécutée

l’éventuelle action d’entrée de l’état cible est exécutée

Sciences industrielles de l’ingénieur Page 9 sur 20 10/06/2022

Situations couramment rencontrées

À l'apparition de l'événement, la transition est

À l’apparition de l'événement, si la condition

Sinon, l'événement est « perdu » et il faut

Si la condition de garde « cond » est vraie, la

La transition est dite automatique. Elle est :

Une transition réflexive entraîne une sortie de

Plusieurs transitions peuvent quitter un même

Les événements et/ou les

Sciences industrielles de l’ingénieur Page 10 sur 20 10/06/2022

Structures algorithmiques de base

Répéter Etat1, jusqu’à cond :

Tant que cond, activer Etat1 :

Pour n variant de min à max, activer Etat1 :

Sciences industrielles de l’ingénieur Page 11 sur 20 10/06/2022

Unique et obligatoire, il est activé au lancement de la machine à états et marque le

Regroupe (« factorise ») des conditions de franchissement de transition, en particulier

Exemple sans pseudo-état jonction Exemple avec pseudo-état jonction

Utilisé pour une sélection de séquences exclusives. C’est un pseudo-état d’attente.