ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 23/7 - 2004  - pp.879-903  - doi:10.3166/tsi.23.879-903
TITRE
Adaptabilité et validation de la traduction de B vers C. Points de vue et résultats du projet BOM

RÉSUMÉ
Cet article présente quelques résultats du projet RNTL BOM (B Optimisant la Mémoire). Le but était d'obtenir un traducteur du langage B vers le langage C, facilement adaptable à des contraintes mémoire (logiciels embarqués sur cartes à puce). Nous proposons une méthode d'extension des types de base permettant d'inclure certains types du langage cible. Nous présentons comment le traducteur est décrit sous forme de règles de traduction pour permettre d'adapter la traduction aux plates-formes cibles. Nous indiquons une démarche pour assurer la correction du code produit. Nous terminons par quelques mesures de taille de code généré pour la machine virtuelle Java Card.

ABSTRACT
This paper presents some results of the RNTL BOM project (B Optimizing Memory). The goal was to design and implement a translator from B to C easily adaptable to memory constraints (embedded software on smart cards). We propose an extension method of the basic data types able to include some types of the target language. We present how the translator is described by the way of translation rules and how the translation can be adapted according to the target platforms. Then, we show how to ensure that the generated code is correct. Eventually, measures of the size of the generated code for the Java Card Virtual Machine are given.


AUTEUR(S)
Frédéric BADEAU, Didier BERT, Sylvain BOULMÉ, Sylvain MÉTAYER, Marie-Laure POTET, Nicolas STOULS, Laurent VOISIN

Reçu le 10 avril 2003.    Accepté le 26 janvier 2004.

MOTS-CLÉS
méthode B, génération de code, traducteur adaptable, cartes à puce.

KEYWORDS
B method, code generation, adaptable translator, smart cards.

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (210 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier