OCaLustre : une extension synchrone d'OCaml pour la programmation de microcontrôleurs - Archive ouverte HAL
Communication Dans Un Congrès Année : 2017

OCaLustre : une extension synchrone d'OCaml pour la programmation de microcontrôleurs

Résumé

Les microcontrôleurs sont des circuits intégrés programmables dont le domaine d'application se concentre essentiellement dans le contrôle d'objets interagissant avec leur environnement. En effet, les programmes exécutés sur microcontrôleurs ont souvent pour rôle de réagir rapidement avec les composants qui les entourent, et de modifier leurs signaux de sortie dès lors que les signaux qu'ils reçoivent en entrée changent. Ainsi, la programmation synchrone à flots de données semble être un candidat de choix pour le développement de tels systèmes qui peuvent être parfois critiques. Nous proposons alors une extension du langage multi-paradigmes OCaml offrant la possibilité de manipuler des noeuds synchrones inspirés du langage Lustre tout en conservant les caractéristiques avantageuses du langage hôte. Destinée à être exécutée sur des microcontrôleurs aux capacités mémoires limitées, cette extension produit un code OCaml de faible taille, et peu gourmand en ressources mémoire. Nos travaux tirent particulièrement profit de la machine virtuelle OCaPIC permettant l'exécution de code-octet OCaml sur les microcontrôleurs de la famille PIC18 qui possèdent des ressources matérielles particulièrement faibles.
Fichier principal
Vignette du fichier
JFLA_2017_paper_21-2.pdf (475.39 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01446225 , version 1 (25-01-2017)

Identifiants

  • HAL Id : hal-01446225 , version 1

Citer

Steven Varoumas, Benoît Vaugon, Emmanuel Chailloux. OCaLustre : une extension synchrone d'OCaml pour la programmation de microcontrôleurs. JFLA 2017 - Vingt-huitièmes Journées Francophones des Langages Applicatifs, Jan 2017, Gourette, France. ⟨hal-01446225⟩
332 Consultations
344 Téléchargements

Partager

More