Les microcontrôleurs PIC programmés en OCaml

JFLA 2011
Programmer les microcontrôleurs PIC
en Objective Caml
Benoît Vaugon
Philippe Wang & Emmanuel Chailloux

Plan Intro Réal Concl
Plan
Introduction
Réalisation
Conclusion
OCaPIC JFLA 2011 Lundi 31 janvier 2011 UPMC 2/16

Plan Intro Réal Concl
Un nouveau backend pour OCaml
Pour quelle cible ?
Les microcontrôleurs PIC
Qu’est-ce ?
ICircuit intégré programmable
IFait pour les applications embarquées
Domaines d’application
IRobotique industrielle, gadgets électroniques, domotique
(appareils électroménagers), cartes à puce...
OCaPIC JFLA 2011 Lundi 31 janvier 2011 UPMC 3/16

Plan Intro Réal Concl
Les PIC : une cible contrainte
Caractéristiques du PIC18F4620 :
1. 3968 registres de 1 octet
2. Architecture : RISC 8 bits
3. Mémoire programme : 64 Ko
Le défi : des ressources « limitées » pour :
IUn langage multi-paradigme : impératif, fonctionnel, objet
IUn système de modules de haut niveau, foncteurs
IUne gestion automatique de la mémoire
IUn mécanisme d’exceptions
IPolymorphisme et comparaisons (compare)
Jusqu’où irons-nous ?
OCaPIC JFLA 2011 Lundi 31 janvier 2011 UPMC 4/16

Plan Intro Réal Concl
La programmation sur PIC (avant)
Assembleur
IEXEMPLE_DE_CODE:
tblrd*+
addwf FSR0L, W
rcall SOUS_PRGM
btfsc STATUS, C
incf FSR0H, F
return
Compilation en natif
IBasic (BASIC84plus)
IC (sdcc, SIXPIC, MCC18, Hi-Tech C)
IForth (PicForth)
Interprètes
IBasic (BasicStamps)
IForth (FlashForth)
Utilisation d’une machine virtuelle
IPICOBIT (machine virtuelle Scheme pour PIC)
OCaPIC JFLA 2011 Lundi 31 janvier 2011 UPMC 5/16