Colloque

Traduction entre langages de spécification SDL et VHDL

Marie Clémence Amoussou

Membre a labase

Marie Clémence Amoussou

Résumé du colloque

L'ISO (International Organization for Standardisation), dans le but de résoudre la complexité des systèmes et protocoles a développé le modèle de référence OSI (Open Systems Interconnection) qui définit le service, la syntaxe et la sémantique des données échangées. L'ISO et le CCITT ont normalisé des langages de protocole de communication dont SDL. VHDL, lui, a été normalisé par l'IEEE en 1987 comme standard de description de matériel. Chaque langage possède un formalisme qui permet d'utiliser des outils automatiques pour la simulation, la validation et l'implémentation. Cependant aucun environnement complet muni d'outils pour cela n'existe jusqu'à présent. La traduction est nécessaire d'un langage à un autre afin qu'une implantation soit proposée comme base de vérification pour une faible taux d'erreurs. Notre étude porte sur la traduction de SDL en VHDL. En effet VHDL possède un environnement de normalisation (synthèse) et la propriété de description hiérarchique utile pour la spécification d'un niveau élevé d'abstraction et l'implémentation d'un très bas niveau d'abstraction). Les compilateurs VHDL transforment les descriptions en code exécutable et les outils de synthèse font la validation. L'expérience de traduction pour le SD-ISDN-ATM a présenté le grand unificateur de toutes les composantes de télécommunication (données, voix, vidéo, images, LAN, WAN et MAN) à travers le monde avec une gestion intelligente des problèmes de réseaux (la spécification) avec de grandes vitesses de transmission. VHDL spécifiquement conçu pour les circuits comporte les caractéristiques de performance que nous recherchons et est diffusé dans la communauté scientifique ainsi que le milieu industriel. Notre étude forme une méthodologie de traduction en partant des syntaxes, structures et sémantique de SDL pour obtenir une description VHDL ayant les mêmes comportements. Nous avons noté des avantages apportés de SDL en recourant directement en VHDL alors que d'autres subissent certaines contraintes. Nous concluons quand à la réalisation d'un outil automatique de traduction de SDL en VHDL.

Contexte

Section :

Informatique et recherche opérationnelle

Thème du colloque :

Informatique et recherche opérationnelle

Hôte : Université du Québec à Montréal

Découvrez d'autres communications scientifiques

Dans le même colloque
Du même congressiste

Titre du colloque :

Informatique et recherche opérationnelle

Une sémantique relationnelle démoniaque

Fairouz Tchier

Raisonnement hypothétique dans les réseaux de neurones

Jifeng Ge

Telos : création d'une méthodologie en partant des normes IEEE

Ivan Maffezzini

Voir tous les contenus de ce colloque

Autres communications du même congressiste :

Thème du colloque :

Informatique et recherche opérationnelle

Traduction entre langages de spécification SDL et VHDL

Marie Clémence Amoussou