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 .

mots clés

• Systèmes sur puce au niveau transactionnel (TLM) , Thèses et écrits académiques
• Sération des préoccupations , Thèses et écrits académiques
• TLM , Synchronisation , Thèses et écrits académiques
• Systèmes sur puce
• Systèmes transactionnels

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.

Titre traduit

Separation of functional and non-functional aspects in transactional level models of systems-on-chip

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!.