Modélisation et validation des systèmes hétérogènes : définition d'un modèle d'exécution

par Lobna Kriaa

Thèse de doctorat en Informatique

Sous la direction de Ahmed Amine Jerraya.

Soutenue en 2005

à l'Université Joseph Fourier (Grenoble) .

    mots clés mots clés


  • Résumé

    Les systèmes sur puces sont un ensemble de composants hétérogènes. La conception des ces systèmes peut être vue sous deux aspects : la conception des composants et leurs intégration dans le même système. La conception des composants nécessiterait des compétences de différentes équipes de développement selon les besoins, les compétences et, les fonctionnalités, etc. L'intégration de ces composants requerrait alors (1) des connaissances multidisciplinaires des différents concepts utilisés par les composants, (2) des modèles globaux du système pour la description des composants et de leurs interactions et (3) un modèle de validation tout au long du flot de conception par assemblage de composants. Toutefois, la diversité des descriptions et de modélisations des différents composants rendent l'intégration un processus très complexe et laborieux. L'objectif de cette thèse est de généraliser le concept de modélisation et de validation globale des systèmes embarqués sur puce afin de faciliter le processus d'intégration et d'assemblage de composant de système sur puce. Cette généralisation concerne (1) les concepts communs pour la modélisation des systèmes hétérogènes avant la synthèse de leurs circuits notamment pour la simulation, l'exécution, etc. Et (2) la définition d'un modèle de d'exécution global pour la validation des systèmes hétérogènes par composition d'autres modèles. Les concepts proposés dans cette thèse sont validés à travers trois applications complexes : un centre d'informations automobile, un modem d'une chaîne audio 802. 16 et un système de radio définie par logiciel.


  • Pas de résumé disponible.

  • Titre traduit

    Modeling and validation of heterogeneous system : execution model definition


  • Résumé

    Systems on chip are an assembly of heterogeneous components. Their design needs two steps: components design and components integration. The integration process needs (1) a multidisciplinary and deep conceptual skills, (2) a global model for the description of the components and their integration and (3) a suitable global environment that allows fast and effective validation of heterogeneous systems. However, this design seems to be complicated and tedious work. Our work is to generalize concepts of modeling and validation process of heterogeneous systems on chip in order to assist integration process and components assembly. This generalization is focused on (1) common concepts of modeling heterogeneous systems before synthesizes process (for simulation, execution etc. ) and (2) definition of global execution model for validation of heterogeneous systems. The proposed concepts were validated using complex applications: a car information card, an audio tool chain 802. 16 modem and a software defined radio system.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (146 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 138-146

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : TS05/GRE1/0198
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS05/GRE1/0198/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.