Corrige Decrire Le Comportement Des SED
Corrige Decrire Le Comportement Des SED
Corrige Decrire Le Comportement Des SED
docx
CORRIGÉ
1. Vrai/Faux
1. Ces deux portions de diagramme d’état décrivent-ils des comportements identiques ?
VRAI. Sur le premier diagramme d’état, l’action est effectuée à la sortie de l’état 1. La transition vers
l’état 2 est immédiate, puisqu’elle n’est associée à aucun événement ou condition de garde.
Sur le second diagramme, la transition de l’état 1 à l’état 2 est uniquement associée à un effet : l’action.
Le comportement des deux diagrammes est donc identique.
2. Ce diagramme d’état est-il correct ?
FAUX. Ce diagramme d’état n’est pas correct car le choix de séquence n’est pas exclusif. Les deux
conditions « a » et « a et b » peuvent être vraies en même temps. On se retrouverait alors avec deux états
actifs simultanément.
Rappel : dans un diagramme d’état, un seul état doit être actif à un instant donné.
3. Ces deux diagrammes d’état sont-ils équivalents ?
FAUX. Dans le premier diagramme, dès que la condition 2 ou que la condition 3 est vraie, on passe de l’état
1 à l’état 2 ou à l’état 3. Dans le second diagramme, on quitte l’état 1 pour s’arrêter au pseudo-état «
choice ». Ensuite, lorsque la condition 2 est satisfaite, le système passe dans l’état 2. Si la condition 3 est
satisfaite, le système passe dans l’état 3.
On note que le système n’est pas combinatoire. En effet pour une même combinaison des entrées, il peut y
avoir plusieurs configurations en sortie.
3. Analyser les évolutions possibles du graphe d’état lors de la mise sous tension. Justifier la présence
de la transition entre l’Etat1 (état source) et l’Etat3 (état cible).
Remarque : un strict respect des règles d’évolutions des diagrammes d’état rend normalement impossible
l’évolution de celui donné dans ce sujet.
En effet, pour qu’une transition dont le franchissement est conditionné uniquement par une garde, ici
temp 24 & !CO 2 par exemple entre l’état 2 et l’état 3, soit franchie, il faut que les activités de l’état
source soient toutes terminées, afin de provoquer l’évènement déclencheur implicite. Les activités de
l’état source doivent donc impérativement être des activités ayant une fin, ce qui n’est pas le cas ici.
La solution ici serait d’utiliser le passage de la température au-dessus de la limite de 24°C, comme
évènement déclencheur du franchissement de la transition : temp 24 ! CO 2
En complétant la fin du chronogramme, on remarque que dans le cas d’une baisse de la température
supérieure à 24°C à une température comprise entre 20°C et 24°C, le diagramme ne permet pas de
repasser de l’état 3 à l’état 2.
4. Chariot
1. Indiquer le nombre d’états possibles du système. Décrire ces états.
Les événements ou les gardes auxquels la machine d'état du tourniquet doit réagir sont les suivants :
• l'insertion et lecture d'un ticket en entrée (événement) ;
• le résultat du test de validité valide ou non valide (garde) ;
• la rotation du tourniquet correspondant à un passage (événement).
Remarque : dans cet exemple, on constate la présence de transitions dont le franchissement est
conditionné uniquement par une garde, Ticket valide par exemple entre l’état TRAITEMENT et l’état
DÉBLOQUÉ. Contrairement au cas rencontré dans l’exercice 3, cela ne pose pas de problème ici car
l’activité de l’état source est une activité ayant une fin. C’est d’ailleurs le résultat de l’activité (test de
validité du ticket) qui joue le rôle de condition de garde pour quitter l’état.
On remarque la présence d’un effet associé à la transition entre l’état DÉBLOQUÉ et l’état BLOQUÉ. Cette
activité, réalisée une fois à chaque franchissement de la transition permet de réaliser un compteur.
6. Barrière automatique
1. Après avoir identifié les différents états possibles, les transitions à prévoir entre les états et les
conditions associées à ces transitions, représenter ce comportement par un diagramme d’état.
Etats :
Etat 1 barrière fermée ATTENTE
Etat 2 barrière en montée MONTÉE
Etat 3 barrière ouverte OUVERTE
Etat 4 barrière en descente DESCENTE
Etat 5 barrière bloquée BLOQUÉE
Remarque : ici trois états différents ont été déclaré lorsque la barrière n’est pas en mouvement (E1, E3 et
E5). Il serait intéressant d’étudier la faisabilité d’un diagramme d’état avec un seul état (barrière bloquée).
Transitions :
Conditions
évènement garde
insertion d’un badge présence d’un véhicule
E1 E2
demande de l’agent d’accueil
E2 E3 détection de la position haute
E3 E4 fin d’attente de 2 s en position haute pas de présence d’obstacle
En réalisant le diagramme d’état, on réalise qu’il y a une situation que l’on n’avait pas imaginée lors du
recensement des différentes transitions possibles. Lorsque la barrière est en position ouverte et qu’il y a
présence d’un obstacle, il faut qu’elle puisse redescendre après disparition de cet obstacle tout en étant
resté ouverte au moins 2 s : E3 E5 E4 .
Avec :
Conditions
évènement garde
E3 E5 fin d’attente de 2 s en position haute présence d’un d’obstacle
3. Estimer, en nombre de véhicules par heure, le débit maximal d’une barrière automatique. Conclure
quant à l’utilisation de ce type de barrière pour gérer les entrées et sorties des deux milles employés
d’une usine.
Le temps de passage minimal d’un véhicule est de 8 s (ouverture de la barrière, attente de 2 s , fermeture
de la barrière.
Cela correspond à 450 véhicules par heure. S’il n’y a aucune perturbation, il faut jusqu’à 4,4 h le matin et
le soir pour laisser passer les 2000 véhicules en supposant que les employés ne font pas de covoiturage.
Même si tous les personnels n’arrivent pas à la même heure, ce temps est beaucoup trop important, il faut
donc que l’usine installe plusieurs barrières.
Etats :
CHARIOT
PANIER
Etat 4 Panier en attente
Etat 5 Montée
Etat 6 descente
Transitions :
Conditions
évènement garde
Panier en haut chariot en c1
E1 E2
Panier en haut chariot en c2
Chariot en c2
E2 E1
Chariot en c3
E1 E3 Panier en haut Chariot en c3
E3 E1 Chariot en c1
Conditions
évènement garde
Appui départ cycle Panier en bas et chariot en c1
E4 E5 Fin de trempage de 30 s Panier en bas et chariot en c2
Appui padech Panier en bas et chariot en c3
E5 E4 Panier en haut
Chariot en c1
E4 E6 Chariot en c2 Etat 2 actif
Chariot en c3
E6 E4 Panier en bas
L’utilisation d’une variable interne peut permettre de mémoriser le fait que l’utilisateur a appuyé sur dcyst
et ainsi « sauter » l’étape de dégraissage. Il faut bien entendu, prévoir la réinitialisation de cette variable
avant le retour du chariot en position initiale.
9. Correcteur de phare
3. Donner les « condition 1 » et « condition 2 » du diagramme d’état définie ci-dessous. On pourra
utiliser les notations de front montant () et de front descendant ().
condition1 a b a b a b a b
condition2 a b a b a b a b
Les préactionneurs sont monostables. Si l’ordre de sortie n’est pas maintenu, la tige d’un vérin rentre.
Il est possible de détailler l’état composite « maintien et compression » à l’aide de deux états disjoints «
maintien » et « compression » et en utilisant barres de synchronisation « fork » et « join ».
Depuis la phase d'attente, la première demande de l'utilisateur va faire évoluer la machine d'état,
provoquant soit un déplacement de la cabine vers le haut ou vers le bas si la cabine n’est pas au bon étage,
soit l'ouverture des portes si la cabine est déjà à l'étage visé.
Dans tous les cas, une fois l'étage atteint, les portes doivent s'ouvrir.
Lorsque les portes se sont refermées, la variable SENS est actualisée et la cabine repart (si une destination
est mémorisée) ou attend (si aucune destination n'est en mémoire). Ces transitions sont reportées sur le
diagramme ci-dessous.
L'alternance étant stricte entre l'action d'éclairage et celle de non éclairage, deux états suffisent, chacun
étant lié à une des deux actions.
2. Établir le diagramme d’état décrivant les modes de fonctionnement et le passage d’un mode à un
autre.
Un mode étant actif à chaque instant, quatre états sont nécessaires et suffisants en première approche.
Seul le bouton B (mode) permet de passer d'un état à un autre.
3. Établir le diagramme d’état décrivant le fonctionnement de l’alarme (on laissera vide l’événement
lié à l’activation ou à la désactivation de l’alarme à ce stade de l’étude).
Le fonctionnement de l'alarme est représenté par trois états : l'état d'alarme désactivée, l'état d'alarme
activée et l'état où le chronomètre sonne. L'événement permettant le passage entre les états activé et
désactivé sera décrit par la suite.
4. Sachant que ces trois diagrammes fonctionnent en parallèle, comment décrire le fonctionnement
global en un diagramme SysML unique ?
Les diagrammes d'état précédents fonctionnant en parallèle, il faut les représenter comme des états
orthogonaux d'un état composite de fonctionnement du chronomètre.
5. Proposer une modélisation du fonctionnement du réglage de l’heure sous forme d’un diagramme
d’état encapsulé (sous machine d’état incluse dans un état composite) dans le mode réglage de
l’heure.
La machine d'état de réglage de l'heure montre le passage successif du réglage des heures, des minutes et
des secondes à chaque appui sur A, ainsi qu'un événement rebouclant sur chaque état pour l'incrémentation
(ou la remise à zéro) à chaque appui de C.
6. Proposer une modélisation du fonctionnement du réglage de l’heure sous forme d’un diagramme
d’état encapsulé (sous machine d’état incluse dans un état composite) dans le mode réglage de
l’alarme. Préciser les liens entre ce diagramme d’état et celui décrivant le fonctionnement de
l’alarme.
Le réglage de l'alarme est identique au réglage de l'heure. Le basculement de l'état ON/OFF de l'alarme se
fait par le signal basculement alarme et se trouve pris en compte dans la machine d'état de fonctionnement
de l'alarme.
7. Proposer une modélisation du fonctionnement du chronomètre sous forme d’un diagramme d’état
encapsulé dans le mode chronomètre.