Ce cours donne les bases théoriques et pratiques nécessaires à une bonne compréhension et utilisation des microcontrôleurs. De nombreux exemples seront abordés. Des exercices seront proposés, compatibles avec les cartes à microcontrôleurs Arduino ou LaunchPad MSP430G.
4.6 Programmation d'une machine d'état
Loading...
En provenance du cours de École Polytechnique Fédérale de Lausanne
Comprendre les Microcontroleurs
49 notes
À partir de la leçon
Programmation et mise au point
Voici la quatrième semaine de votre MOOC. On est à mi-parcours... Bravo à tous ceux qui persévèrent : cette semaine est le dernier "gros morceau" de notre MOOC ! Durant les trois dernières semaines, nous allons surtout appliquer ce que nous avons appris et ce sera plus facile.
Rencontrer les enseignants
Jean-Daniel NicoudHon. Prof.
Informatique
Pierre-Yves RochatChargé de cours
EPFL, Génie mécanique
Bonjour.
Nous continuons le cours Comprendre les microcontrôleurs
et en particulier, ces exemples que nous
voulons vous présenter pour pouvoir expérimenter ce
que nous avons appris au début du cours.
Aujourd'hui, nous parlerons de programmation de machines
d'état, les machines d'état, c'est un vieux souvenir.
Vous vous souvenez certainement que lorsque
nous avons présenté les systèmes séquentiels,
nous avions pris un exemple avec une perceuse qui monte et qui descend.
Un exemple très simple, mais qui nous a permis
de trouver les méthodes pour résoudre ce type de problème.
Nous allons reprendre ce problème, parce que nous ne l'avions pas très bien résolu.
La solution avec les circuits logiques était lourde et
fastidieuse, et, on ne connaissait encore rien des microcontrôleurs.
Nous allons donc essayer de trouver
un algorithme pour résoudre ce problème, et ensuite nous allons
chercher une autre solution en exploitant particulièrement la variable d'état.
Alors, vous vous souvenez certainement du
problème auquel nous avions tenté de répondre.
Donc une perceuse, avec le moteur qui actionne la mèche, des
pièces ici, à percer, et finalement un moteur ici, qui entraîne
un axe et qui va faire bouger dans un sens et dans l'autre cette perceuse.
Vous vous souvenez qu'on avait placé également des
interrupteurs de fin de course en bas, et en
haut, et qu'il y avait également un bouton
start qui permettait à l'ouvrier de démarrer le cycle.
Nous avions donc un système avec trois entrées, start, bas
et haut, avec les deux sorties qui commandent le moteur,
avance" et recule et ici vous trouvez le graphe d'état avec
ces trois états qui décrivent le fonctionnement de cette machine d'état.
Je rappelle juste que nous avions trouvé une solution un peu compliquée,
avec deux bascules qui mémorisaient l'état, avec un
système combinatoire qui, à partir de l'état présent, et des entrées,
calculait les nouveaux états, et une horloge qui permettait
d'avoir ce calcul en permanence, et nous avions tenté d'écrire
un programme, je pense que vous n'aviez pas compris
grand chose puisque nous n'avions pas encore appris tout cela.
Ce programme, maintenant vous êtes capables de
le lire, il a été écrit d'une manière
un petit peu brute, ici la lecture
des valeurs, ici le calcul du système combinatoire,
ici la mémorisation des valeurs, et finalement les sorties.
C'est un programme qui en plus, n'est pas bien écrit, donc on va rapidement passer à
la suite et essayer de trouver quelque chose
de beaucoup plus lisible, de beaucoup plus clair.
Les instructions du langage C peuvent être décrites par des organigrammes et souvent
lorsqu'on a envie de programmer, on commence par réfléchir à l'organigramme.
Donc,
comment passer de notre graphe d'état à un organigramme.
Alors, voilà ici une solution qui résout le problème.
On voit bien qu'on doit mettre les valeurs 0 0
lorsqu'on est à l'arrêt, c'est ce qu'on a fait ici.
Et on doit ensuite attendre de franchir cette transition.
Pour attendre, il va falloir utiliser une
structure de ce type-là, si la condition start n'est pas réalisée,
on revient sur le test, si la condition est réalisée, on
passe à la suite. On voit bien qu'ici ça correspond à l'état
descente avec ses 2 valeurs, de la même manière, on attend
qu'on soit arrivé en bas et puis, on arrive à la montée, et on
attend qu'on soit arrivé en haut.
Il y a bien évidemment une boucle ici qui permet de revenir
au début de l'opération et qui permet à l'ouvrier de fabriquer une seconde pièce.
Vous remarquez que nous avons quatre boucles
dans ce système, oui j'ai bien dit quatre, c'est vrai qu'on voit bien la première,
la deuxième, et la troisième, mais il ne faut
pas oublier cette quatrième, qui est également une boucle.
Dailleurs vous pouvez compter les flèches montantes : 1, 2, 3 et 4, les flèches
montantes montrent systématiquement qu'il s'agit d'une boucle.
Nous avons un organigramme, nous n'avons pas encore
un programme en C, je rappelle qu'en C nous
avons un certain nombrre de structures, des structures du type boucle, avec
le while et le do while, qui se ressemblent, simplement le
test se trouve une fois au début et une fois à la
fin, et on a une structure de test qui s'appelle le if.
Il est nécessaire de trouver une analogie entre
l'organigramme que nous avons écrit et les instructions
que nous allons exécuter. Prenons, par exemple, cette boucle.
On connaît les while et les do while.
Avec les while et les do while, on a
le test d'une condition, et on a une instruction.
Dans ce cas-là l'instruction n'existe pas.
C'est pas grave, il suffira de mettre une instruction vide.
Donc, on va effectivement ici,
pour cette partie là, écrire quelque chose du type while,
mettre la condition start, et
ne rien exécuter.
C'est vraiment juste, ce que j'ai fait? Non,
c'est faux, parce que, ici, la condition
start doit ne pas être vérifiée, pour boucler,
c'est donc indispensable ici de dire, tant que on
n'a pas de start, alors, on doit
reprendre, continuer la boucle. La suite du
programme est similaire, et il faudra évidemment ne pas oublier de mettre
un while 1 pour cette boucle qui elle n'a pas
de condition, n'a pas de test, c'est une boucle permanente.
Voilà donc un programme.
On y voit les trois boucles qui correspondent à l'attente pour les
transitions et puis évidemment la boucle
principale ici, while 1, boucle permanente.
Ce que j'ai écrit ici en rose n'est pas
tout à fait du C, dépêchons-nous de corriger ça.
Avec ce
qu'on vient d'apprendre, on voit qu'on peut écrire d'une manière très semblable.
Alors voilà une solution qui maintenant est du C, j'ai
remplacé cette écriture qui n'était pas acceptable, par cette syntaxe
là, donc il va falloir créer des procédures avance et recule
auxquelles on passe des paramètres et également une procédure
qui s'appelle start, et la même chose pour bas
et haut qui sont les procédures qui vont nous
rendre une valeur qui va permettre de connaître l'état
du bouton "start" et des interrupteurs de fin de course.
Alors, étant donné les choix que j'ai faits pour
cette syntaxe, avance", "recule", start, haut et bas, et cetera.
eh bien il a fallu
auparavant donner un certain nombre de définitions,
ici la procédure avance, je lui passe
un paramètre du type entier, j'exécute un
digitalWrite avec le numéro de la patte correspondant
à avant, qui a été défini ici, mais on a décidé d'utiliser la patte P1 souligné
0 la même chose, évidemment pour recule, et puis maintenant pour les entrées j'ai
pris l'exemple de start, il s'agit aussi
d'une procédure, mais cette fois qui rend une
valeur, pour qu'elle puisse être utilisée à l'intérieur
de la condition de la boucle, et cette
procédure rend, c'est donc le paramètre de sortie, une valeur qui est la lecture de
la patte start, la patte start a été
définie ici, c'est P1 souligné 3, vous remarquez
ici le point d'exclamation qui met en évidence le
fait que le start est actif à 0, puisque
l'interrupteur est câblé contre la masse, c'est ce qu'on
fait généralement lorsqu'on utilise un
interrupteur comme entrée d'un microcontrôleur.
Voilà ici l'ensemble de ce programme.
L'essentiel se trouve ici, on peut se concentrer sur
la lecture de ce programme et comprendre comme il fonctionne, tout le reste,
ce sont des définitions, et des
initialisations, il faut bien évidemment qu'elles aient
été faites correctement pour que le programme marche, mais du point de vue
de la logique, on peut se concentrer sur cette partie-là du programme principal.
Dans le cas que nous venons de
voir, c'était relativement facile de faire l'organigramme
qui correspondait à notre graphe d'état, mais
dans beaucoup de cas, c'est extrêmement compliqué.
Imaginez un graphe d'état avec 50 états, avec des transitions dans tous les sens,
trouver l'organigramme correspondant, c'est extrêmement compliqué.
Et pire que ça, quand vous croyez
l'avoir trouvé, êtes-vous vraiment sûr qu'il est correct?
On va donc chercher une toute autre méthode, qui va
nous permettre de réaliser une machine
d'état, je dirais presque, les yeux fermés.
Alors, je reprends mon graphe d'état, et cette fois
je vais tenter de passer directement à un programme.
Alors qu'est-ce que je vais faire?
Je vais essayer de faire une boucle, dans laquelle je me pose la
question : est-ce que je suis dans l'état arrêt, est-ce que je dans l'état
descente, est-ce que je suis dans l'état montée, et, selon que je
suis dans l'un ou l'autre de ces états, je vais alors faire
ce qui doit être fait au niveau des sorties, et tester ce
qui doit être testé au niveau des entrées pour effectuer les transitions.
Première chose, je n'ai pas du tout envie d'appeler les états,
l'état 0, l'état 1, l'état 2, je préfère utiliser la symbolique qui
nous est proposée par le C, avec la fonction enum.
Je vous rappelle que une constante a été déclarée, une deuxième constante, une
troisième constante, qui s'appellent arrêt, descente,
et montée, elles vont prendre des valeurs,
probablement la valeur 0, la valeur 1, et la valeur 2, mais ça n'a aucune importance
pour celui qui programme, et alors ici, j'ai une variable
d'état, cette variable d'état, elle va être initialisée à
arrêt, au début, le système doit être arrêté au démarrage.
Je trouve ensuite cette boucle infinie, notez
qu'elle est totalement différente de la boucle infinie
que nous avions tout à l'heure, parce que
cette boucle va s'exécuter à très grande vitesse,
puisque, il n'y a que quelques if, il n'y a pas d'attente, il
n'y a pas de while dans ce programme, dans cette boucle while 1.
Alors, je vais ensuite donc regarder si je
suis à l'arrêt, il faudra faire un certain nombre
de choses, à la descente, il faudra faire un
certain nombre de choses, ou encore, à la montée.
Entrons maintenant un peu plus dans le détail
de ce qui se passe, par exemple, pour l'état descente, je dois,
évidemment, m'occuper des sorties qui prennent les valeurs qui
sont notées ici, et la deuxième chose qui sera à faire,
ce sera de s'occuper de la transition qui quitte la descente.
Les autres transitions ne nous concernent pas, mais,
cette transition-là, comme elle a sa source dans
la descente, elle part de descente, eh bien je dois m'en occuper, et
ici il s'agit d'un test, si on est arrivé en bas, alors on
va changer d'état et j'assigne état à la nouvelle valeur
montée, qui donc est une constante qui a été déclarée par l'enum qui se trouve ici.
Voilà maintenant l'ensemble de notre programme, remarquez que j'ai utilisé une
autre syntaxe que cette succession de if qui était un petit peu lourde, c'était une
excellente occasion d'essayer le switch case, avec
ici les trois états possibles, Vous
remarquez que je n'ai pas utilisé le default, je sais
en effet que la variable état ne prendra jamais d'autres valeurs
que arrêt, descente et montée, puisqu'elle est complètement contrôlée
par notre programme, elle est initialisée à l'arrêt au départ, elle prend,
la valeur descente, la valeur montée, ou la valeur arrêt
dans le cours du programme, donc le default n'est pas nécessaire.
Par contre, je mets bien en évidence
la nécessité d'utiliser les break, sinon, si j'oubliais
ce break, alors j'exécuterais toutes ces instructions, même
dans le cas où je me trouve à l'arrêt.
C'est une curiosité de cette structure switch, et on l'utilise presque toujours
avec les break, qui permettent de sortir de la structure switch.
Voilà ici le programme complet, qui donc fonctionne avec
un Arduino, ici je l'ai programmé pour l'Energia, donc avec le MSP430
étant donné que j'ai fait le choix d'utiliser le main et de faire moi-même le
while 1, je dois rajouter cette instruction
mystérieuse dont nous avons déjà parlé, et
dont, simplement, il faut se souvenir qu'elle
est indispensable dans la plupart des programmes.
Nous sommes donc parvenus à programmer notre machine d'état,
avec une technique qui, cette fois, est beaucoup plus simple.
Tout l'effort doit être fait pour dessiner le graphe
d'état, par contre, ensuite, partir du graphe d'état pour écrire
le programme, c'est tout à fait simple, il faut énumérer
les états, il faut faire une structure dans la boucle
principale, du type switch qui permet de choisir chacun
des états, il faut ensuite actionner les sorties pour
chacun des états, et il faut ensuite programmer les
transitions pour chacune des transitions qui concernent chaque état.
Explorer notre catalogue
Rejoignez-nous gratuitement et obtenez des recommendations, des mises à jour et des offres personnalisées.
Coursera propose un accès universel à la meilleure formation au monde,
en partenariat avec des universités et des organisations du plus haut niveau, pour proposer des cours en ligne.
© 2018 Coursera Inc. Tous droits réservés.
