Chapitre 2
Présentation du logiciel
2.1
Mission
La mission du logiciel Traducteur est de réaliser une traduction automatique des implémentations
B0 d’un projet en code source cible. Le code cible produit peut soit être compilé afin de
réaliser un projet indépendant, soit être intégré à un développement en langage cible natif1 .
Le Traducteur est capable de traduire en langage cible l’ensemble du langage B0. Il n’y
a aucune restriction, notamment en ce qui concerne le nommage des identificateurs : les
éventuels identificateurs qui entreraient en conflit avec le langage cible sont renommés par
le traducteur.
Remarque importante : le traducteur HIA travaille sur la base d’un language B0 qui
possède quelques spécificités qui sont détaillées dans l’annexe B
Ainsi, tout composant qui est analysé avec succès par le vérificateur de B0 peut être traduit
en langage cible.
Dans la suite de ce manuel, on appellera implémentation B0 toute implémentation de
composant pour laquelle le vérificateur de B0 s’exécute avec succès.
2.2
Environnement recommandé
Le Traducteur est destiné à être exécuté sur les mêmes plate-formes que l’Atelier B.
Le Traducteur génère un code cible portable, conforme aux normes en vigueur.
Des options du logiciel permettent de paramétrer le code généré pour s’adapter au système
et au compilateur cible2 .
Dans sa version 4.6, le code produit par ce logiciel a été testé avec un compilateur GNU
dans les environnements suivants :
–
–
–
–
Station de travail Sun sous Solaris 2.5.1.
Station de travail Sun sous Solaris 2.6.
Station de travail HP sous HP-UX 10.20
Micro-ordinateur type PC sous Linux 2.2.
1
Cette fonctionnalité permet d’intégrer à un projet écrit en langage cible la traduction des éléments
sécuritaires réalisés en B.
2
On peut ainsi réaliser une activité de “traduction croisée”
5
">
