Etude et réalisation d'un compilateur E-LOTOS à l'aide du générateur de compilateurs SYNTAX/FNC-2

Bruno Vivien

Mémoire d'ingénieur CNAM, Grenoble, December 1997.

Résumé :

Le développement de systèmes informatiques complexes induit des exigences fortes en termes de logiciels certifiés. Dans ce contexte, on assiste a l'émergence de nouvelles méthodes de génie logiciel, basées sur les techniques de descriptions formelles et de vérification de programmes. Dans les années 1980 et au début des années 1990, trois techniques de descriptions formelles (LOTOS, ESTELLE et SDL) ont été définies au sein des organismes de normalisation. Plus récemment, afin de surmonter les diverses lacunes de ces trois techniques, l'ISO/IEC a entrepris une révision majeure du langage LOTOS, qui doit déboucher sur un nouveau langage appelé E-LOTOS. Notre travail concerne l'étude et la réalisation d'un prototype de compilateur (nommé TRAIAN) pour le langage E-LOTOS. La définition de ce langage n'étant pas encore stabilisée, et pour obtenir un premier prototype de compilateur facilement modifiable, nous avons choisi de baser nos développements sur l'outil SYNTAX/FNC-2, un système moderne pour la génération de compilateurs. La production du compilateur TRAIAN repose sur les grammaires BNF et sur l'utilisation de plusieurs langages spécialisés pour la description d'arbres abstraits, la construction d'arbres, l'écriture des grammaires attribuées et la production de code cible. Comme sous-produits de notre travail, deux paragrapheurs pour LOTOS et E-LOTOS ont été réalisés.

150 pages, in French

PDF

PostScript