Académique Documents
Professionnel Documents
Culture Documents
Répondre sur copie séparée pour les questions 1, 2 et 3 de l’exercice 1 et directement dans les
emplacements prévus à cet effet pour la suite.
Soit un passage à niveau constitué de deux détecteurs, d'une barrière et d'un feu. L'un des
détecteurs est placé à l’amont du passage à niveau, l'autre à l'aval. Un détecteur est à un 1 au
passage d'un train et à 0 en l'absence de train.-En l'absence de-train la barrière est ouverte-et le feu
est éteint. Si un train est présent entre les deux détecteurs, la barrière doit être fermée et le feu
allumé. Attention, un train peut en cacher un autre !!
On supposera que les trains ne circulent que dans un
sens. Questions :
1.
Identifier les différents objets participant à cette application. Préciser la classe de chaque
objet. Donner les attributs et les opérations de chaque classe. Utiliser, pour ce faire, la
notation UML.
2.
Indiquer comment gérer la possibilité que deux trains puissent se trouver entre les deux
détecteurs, que le premier puisse être sorti de la zone sécurisée et pas le second, et que la
barrière doive rester fermée tant qu’un train est présent dans la zone à sécuriser (entre le
détecteur amont et le détecteur aval).
3.
Donner les graphes d'état des différents objets en montrant d’une façon ou d'une autre
comment ils se synchronisent.
4.
Soient :
- Dv : le signal issu du détecteur aval,
- Dm : le signal issu du détecteur amont
- Ba : le signal envoyé à la barrière,
- Vo : le signal envoyé au voyant,
2/5
BU151029
En logique temporelle :
En logique temporelle :
En logique temporelle :
En logique temporelle :
5) Propriété (libre)
En langage naturel
:
En logique temporelle :
3/
BU151029
Sortie zone
détec. aval /
Dvd 0
3/
BU151029
1) Pour votre automate, les changements des signaux des détecteurs sont-ils synchrones ou
asynchrones ? Justifier votre choix.
2) Votre modèle prend-il en compte qu’un train ne peut pas dépasser un autre train ? Expliquer
rapidement.
3) Votre modèle, peut-il considérer que les 2 trains se trouvent simultanément sur le même
détecteur ? Expliquer rapidement votre choix.
4) Plus globalement, un simple produit de deux automates modélisant un seul train, est-il suffisant
pour construire ce nouveau modèle ? Justifier.
4/
BU151029
1 S 2 R Ba
Ba
Dv
Dm
5/