Cas ascenseur

I.U.T. de Nantes
Département informatique
Première année
Module Spec 2
Cas ascenseur
Rédigé par H. Habrias
Version n° 1 du 13-04-2004


1- Un ascenseur est composé d’une cabine pourvue d’une porte et de portes palières à chaque étage (on comptera dans les étages le rez-de-chaussée) desservi par la cabine.
2 - La cabine dispose à l’intérieur de boutons, un bouton par étage desservi.
3 - Les utilisateurs appuient sur le bouton intérieur qui indique l’étage où ils veulent aller. Le bouton est alors éclairé.
4 - Plusieurs boutons intérieurs peuvent être éclairés en même temps.
5 - Quand la cabine arrive à un étage demandé par un des utilisateurs, le bouton intérieur cesse d’être éclairé. La porte de la cabine s’ouvre en même temps que la porte palière.
6 - Au bout de 20 secondes, la porte de la cabine et la porte palière se referment en même temps.
7 - La porte palière d’un étage ne doit pas être ouverte si la cabine n’est pas à l’étage.
8 - La cabine ne doit pas être déplacée si la porte de la cabine est ouverte et si la porte palière est ouverte.
9 - Il y a deux boutons par étage. Ils sont situés à droite de la porte palière : un pour demander (en appuyant sur le bouton) la cabine pour descendre, un pour demander la cabine pour monter. Bien sûr le rez-de-chaussée et le dernier étage n’ont qu’un seul de ces deux boutons.
10 - Une fois qu’un utilisateur a appuyé sur un bouton, ce bouton s’éclaire. L’éclairage du bouton cesse lorsque la cabine qui va dans la direction du bouton s’arrête à l’étage.
11- On peut avoir les deux boutons de l’étage éclairés en même temps.
12 - Des capteurs permettent de savoir si une porte est fermée, si la cabine est arrivée à tel étage.
13 - Bien sûr des actionneurs permettent à la cabine de se déplacer, aux portes d’être ouvertes ou d’être fermées.


Question n°1

Listez les entrées (les événements) du système de contrôle de l’ascenseur.

Question n°2

Listez les commandes émises par le système de contrôle de l’ascenseur.

Question n°3

Faire l’automate de l’interface homme/système ascenseur.

Question n°4

Ecrire formellement les deux exigences suivantes :

- La porte palière d’un étage ne doit pas être ouverte si la cabine n’est pas à l’étage.
- La cabine ne doit pas être déplacée si la porte de la cabine est ouverte et si la porte palière est ouverte.

Question n°5

Enoncez une propriété :
d’absence de verrou fatal
de famine