Modélisation et évaluation de performances d'architectures matérielles numériques

par Frédéric Mallet

Thèse de doctorat en Sciences. Informatique

Sous la direction de Fernand Boeri.

Soutenue en 2000

à Nice .


  • Résumé

    SEP est une méthode incrémentale orientée-composant de Simulation et d'Evaluation de Performances d'architectures matérielles numériques. Les modèles d'architectures sont construits par un agencement structurel de composants et de connecteurs suivant des règles de composition. L'évaluation de performances d'une architecture par rapport à une application est effectuée dans un environnement de simulation à événements discrets adapté. Le modèle construit peut être utilisé comme référence pour la mise au point de code synthétizable [sic]. Dans une première partie, nous définissons un modèle générique décrit en UML (Unified Modelling Language) qui permet une modélisation unifiée d'architectures hétérogènes et la construction d'un environnement graphique d'aide à la conception et non spécifique d'une architecture. Le comportement des composants élémentaires à partir de méthodes Java est construit par une spécification active. L'utilisation de l'approche par composants autonomes rend possible la mise en place de nombreux mécanismes intéressants pour améliorer la réutilisation et la lisibilité des modèles, pour modéliser le jeu d'instructions, pour intégrer des modèles Esterel. Dans une deuxième partie, nous montrons comment notre modèle permet l'intégration de techniques de validation dans l'environnement de simulation. En particulier, nous validons la composition des composants et les services de haut niveau construits. Un mécanisme de liaison dynamique évolué est alors mis en place pour valider fonctionnellement les modèles.

  • Titre traduit

    Object-oriented modelling and performances evaluation of digital hardware architectures


  • Pas de résumé disponible.

Consulter library

La version de soutenance existe sous forme papier

Informations

  • Détails : VI-127-18 f.
  • Annexes : Bibliogr. f. 124-127. Résumé en français et en anglais

Où se trouve cette thèse ?

  • Library : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 00NICE5481
  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Disponible pour le PEB
  • Cote : 00NICE5481bis
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.