Modélisation en langage VHDL-AMS des systèmes pluridisciplinaires

Heterogeneous system modeling in VHDL-AMS language

• Auteur / Autrice : David Guihal
• Direction : Daniel Estève
• Type : Thèse de doctorat
• Discipline(s) : Conception de circuits microélectroniques et microsystèmes
• Date : Soutenance en 2007
• Etablissement(s) : Toulouse 3

Mots clés

Mots clés contrôlés

Ingénierie dirigée par les modèles

Traitement automatique du langage naturel

Ingénierie des systèmes

Modèles mathématiques

VHDL (langage de description de matériel informatique)

Mots clés libres

Modélisation de systèmes hétérogènes

Langage VHDL-AMS

Meta modèle

Transformation de modèles

Eia-632

Heterogeneous Systems modeling

VHDL-AMS language

Meta model

Model transformation

Eia-632

Résumé

Ce travail de thèse porte sur la problématique d'élaboration de modèles de systèmes hétérogènes. Il a associé le laboratoire de recherche LAAS-CNRS et la société MENTOR GRAPHICS. Il prend place au sein d'un processus de conception qui se fonde sur les recommandations de l'EIA-632 et sur une ingénierie guidée par les modèles. L'objectif de notre travail est de montrer en quoi le langage VHDL-AMS est adapté à la problématique de modélisation et de simulation de la solution physique au sens des recommandations de l'EIA-632. Dans un premier temps, ce manuscrit présente un état de l'art sur les besoins en modélisation pour la conception système, et dresse un bilan sur les différents langages de modélisation susceptibles d'y répondre. Afin de proposer la norme VHDL-AMS (IEEE 1076. 1-1999) comme solution, notre travail s'est attaché à présenter et proposer une méthode à mettre en oeuvre pour converger vers cette norme. Notre démarche s'appuie sur l'ingénierie guidée par les modèles avec une place prépondérante jouée par les transformations de modèle. Nous avons développé ce concept de transformation en vue d'une convergence vers le VHDL-AMS : nous développons la notion de meta modèle avec, entre autre, la création d'un meta modèle du langage VHDL-AMS. Celui-ci va permettre une vérification de la conformité des modèles créés, mais aussi l'écriture de règles de transformations au niveau meta modèle. L'intérêt des industriels possédant un existant de modèles écrits dans un langage de description de matériel propriétaire autre (par exemple le langage MAST) en vue d'une migration vers la norme VHDL-AMS, nous a permis d'éprouver cette méthodologie dans de nombreux cas concrets. Nous avons aussi comparé cette approche à une méthodologie que nous avions précédemment définie, nécessitant une expertise dans les deux langages source et cible. Cela nous a permis de conclure positivement sur la faisabilité d'une telle transformation avec une semi-automatisation et une expertise encore n écessaire à certaines étapes. . .

This PhD work is focusing on heterogeneous system modeling issues with the involvements from the French research laboratory LAAS-CNRS and the company Mentor Graphics. The work is part of a well defined design process based on EIA-632 recommendations and on model driven engineering. The objective is to demonstrate how behavioral language such as VHDL-AMS can answer to the modeling and the simulation problems related to the physical design under EIA-632 recommendations. The thesis starts from the state of the art of system design modeling requirements, and follows by evaluation of different modeling languages. VHDL-AMS standard (IEEE 1076. 1-1999) has been selected for being best physical solution available. In order to migrate from proprietary standards to VHDL-AMS, our work focuses on defining appropriate methodology. Our process flow is based on the model driven engineering where model transformation concept is being used. We use the transformation concept to converging to VHDL-AMS code. We also use the meta model concept to create the VHDL-AMS meta model which will be useful for checking the conformity and for defining transformation rules at the meta model level. Companies that are looking for solutions to migrating from proprietary models such as MAST to VHDLAMS provide real test cases to our transformation methodology. . .