feux de carrfour
983 mots
4 pages
EPF-Lausanne - LABORATOIRE DE MODELISATION SYSTEMTIQUETemps réel - manipulation
Gestion de feux de carrefour
Introduction
d.
La méthode NorthSouthVehicleDetected vous indique si, au moment où vous l’invoquez, le bouton gauche de la souris est appuyé alors que le curseur est sur un des deux détecteurs de la voie nord-sud. public static boolean NorthSouthVehicleDetected()
e.
La méthode EastWestVehicleDetected vous indique si, au moment où vous l’invoquez, le bouton gauche de la souris est appuyé alors que le curseur est sur un des deux détecteurs de la voie est ouest (horizontale). public static boolean EastWestVehicleDetected()
f.
La méthode PedestrianRequest vous indique si, au moment où vous l’invoquez, le bouton gauche de la souris est appuyé alors que le curseur est sur le bouton de demande à côté du passage piéton public static boolean PedestrianRequest()
g.
La méthode SetLights vous permet d’allumer les diverses lampes du panneau (les préfixes ont la signification suivante : ns : north-south, ew : east-west, p : pedestrian) public static void SetLights( boolean nsred, boolean nsyellow, boolean nsgreen, boolean ewred, boolean ewyellow, boolean ewgreen, boolean pred, boolean pgreen);
h.
La méthode Timeout donne l’état du temporisateur périodique (période 100ms). L’état passe à 1 tous les
100ms. Il y reste tant qu’il n’a pas été mis à zéro par invocation de la méthode ClearTimeout() public static int Timeout() public static void ClearTimeout()
i.
Cette manipulation va vous permettre de faire la conception d'un système de commande en temps réel en utilisant le formalisme
GRAFCET. Vous allez pratiquer la traduction en un langage de programmation et voir que l’on peut implanter du parallélisme sous forme d’un programme séquentiel. Ceci sera illustré par l’automatisation des feux d'un carrefour en gérant les séquences des feux et les détections de véhicules et de piétons.
Le fichier