Cosimulation multiniveaux dans un flot de conception multilangage

par Philippe Le Marrec

Thèse de doctorat en Microélectronique

Sous la direction de Ahmed Amine Jerraya.

Soutenue en 2000

à Grenoble INPG .


  • Résumé

    De nos jours, la realisation d'un systeme electronique heterogene compose de differents sous-systemes (logiciel, materiel, mecanique, etc) demarre par une specification de haut niveau qui est ensuite divisee en differentes parties modelisees en differents langages. Ces nouvelles methodes requierent donc de nouvelles techniques d'aide a la conception et de validation afin de reduire le temps de mise sur le marche. La verification par simulation de tels systemes consiste a simuler conjointement les differentes parties du systeme en utilisant les simulateurs appropries a leur type de modelisation. Ce type de simulation appele cosimulation doit etre realisable a tous les niveaux de la specification. Le sujet de cette these consiste a etudier un outil de validation par cosimulation. Cet outil doit pouvoir verifier un systeme complet tout au long de son flot de conception par simulation a l'aide de simulateurs concurrentiels communicants. Chaque partie du systeme est simulee, eventuellement sur une machine distante pour respecter la delocalisation des groupes de travail, mais surtout par un simulateur specifique a son domaine d'application. La cosimulation multiniveaux peut etre de deux types. Le premier est la cosimulation fonctionnelle. Elle permet une validation de l'interconnexion des sous systemes entre eux. Le second est la cosimulation temporelle. Elle permet d'ajouter a la cosimulation fonctionnelle une synchronisation en temps des differents simulateurs. L'interface de cosimulation a ete utilisee avec succes sur des applications industrielles, tout particulierement sur des exemples du monde automobile chez psa (peugeot citroen). Au niveau multilangage, elle permet actuellement d'inclure des langages tels que sdl, cossap, matlab, saber, vhdl et le c, beneficiant ainsi d'une variete de langages pour la specification.


  • Pas de résumé disponible.

Autre version

Cosimulation multiniveaux dans un flot de conception multilangage


Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (132 p.)
  • Annexes : 116 ref.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-2000-LEM
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.

Consulter en bibliothèque

à

Informations

  • Sous le titre : Cosimulation multiniveaux dans un flot de conception multilangage
  • Détails : 1 vol. (VI-130 p.)
  • ISBN : 2-913329-49-7
La version de soutenance de cette thèse existe aussi sous forme papier.

Où se trouve cette thèse\u00a0?

Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.