Séparation des aspects fonctionnels et non-fonctionnels dans les modèles transactionnels des systèmes sur puce

par Jérôme Cornet

Thèse de doctorat en Informatique. Systèmes et logiciels

Sous la direction de Florence Maraninchi.

Soutenue en 2008

à Grenoble, INPG .


  • Résumé

    Les travaux présentés dans cette thèse portent sur la modélisation et la formalisation de modèles de Systèmes sur Puce au niveau Transactionnel (TLM). Ces modèles viennent en complément des modèles traditionnels RTL, en permettant notamment le développement du logiciel embarqué avant la disponibilité de ces derniers. Pour d'autres activités utilisant TLM comme l'évaluation de performance, il est nécessaire de rajouter des informations supplémentaires dans les modèles, notamment du temps ou du comportement lié au temps. Nous proposons une étude portant sur une méthode originale permettant d'enrichir des modèles fonctionnels TLM avec des détails supplémentaires exprimés en SystemC, tout en les conservant séparés et en fournissant une garantie de préservation de la fonctionnalité. Cette étude s'appuie sur une formalisation originale de SystemC, ne nécessitant pas de représentation explicite de l'ordonnanceur, et permettant des raisonnements au niveau des composants.


  • Résumé

    The work presented in this dissertation deals with modeling and formalizing models of Systems-on-Chip at the Transaction Level (TLM). These models complement traditional RTL models, allowing among others the development of the embedded software before RTL or the chip is available. Other activities making use of TLM, such as performance evaluation, require additional details in the models, notably time or behavior linked to time. We propose a study covering a novel technique that allows to enrich functional TL Models with additional information, expressed in plain SystemC. This technique keeps the added information separated from the original functional model, and guarantees functionality preservation. Our study is backed by an original formalization of SystemC, that does not require an explicit model of the scheduler. This formalization also allows local reasoning, at the level of the components of the mode!.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (185 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 175-181. Index

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.
  • Disponible pour le PEB
  • Cote : TS08/INPG/0029/D
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible sous forme de reproduction pour le PEB
  • Cote : TS08/INPG/0029
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.