Logique séquentielle — 4ᵉ Sciences Techniques 10 Sections52 Lessons9 Quizzes16 Hours
8.1 Traduire un GRAFCET en langage mikroC
Objectifs
- Traduire un GRAFCET synchronisé en langage mikroC
- Simuler le fonctionnement du système de tri sous Proteus
- Vérifier le fonctionnement et en rendre compte
| Élément du GRAFCET | Traduction en mikroC | Exemple (GT1) |
|---|---|---|
| Étape i | une variable binaire xi | bit x5, x6, x7, x8; |
| Étape initiale | xi = 1 au démarrage, les autres à 0 | x5 = 1; x6 = 0; … |
| Transition i → j | si xi actif ET réceptivité vraie : désactiver i, activer j | if (x6 && SQ6) { x6 = 0; x7 = 1; } |
| Action continue | sortie = variable d’étape (OU des étapes concernées) | YV1 = x6; |
| Synchronisation | la variable d’étape d’un autre GRAFCET dans la condition | if (x5 && x2) { x5 = 0; x6 = 1; } |
| Un GRAFCET | une fonction appelée à chaque tour de la boucle while(1) | void tache1() { … } |
AttentionOn écrit d’abord toutes les transitions, puis toutes les actions. Une sortie commandée par plusieurs étapes s’écrit avec un OU :
KA1 = x3 || x10; (par exemple).Je m’entraîne : la tâche GT1
GT1 : 5 (initiale) —X2→ 6 (YV1) —SQ6→ 7 —SQ5→ 8 —X3→ 5.
Et ensuite ? Leçon 8.2 : le programme complet du tri.