Extraction de modèles pour la conception de systèmes sur puce

Jean-François Le Tallec 1
1 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Résumé : La conception des systèmes sur puce s'appuie souvent sur SystemC/C++ qui permet des descriptions architecturales et comportementales à différents niveaux d'abstraction. D'autres approches se tournent vers l'automatisation de l'assemblage de plates-formes dites virtuelles (format IP-Xact). L'utilisation des techniques de l'ingénierie des modèles est une voie plus récente avec des profils UML tels que MARTE. Dans cette thèse, nous étudions les possibilités de modélisation de ces différentes approches et les passerelles disponibles entre elles. Motivés par la disponibilité de modèles SystemC et opar les facilités offertes par MARTE, nous traitons de l'export des modèles SystemC. Au-delà de la simple conversion entre formats, nous décrivons la mise en œuvre d'une passerelle entre l'implémentation SystemC d'un design et sa version modèle dans le format IP-Xact. La représentation IP-Xact peut ensuite être de nouveau transformée en modèles MARTE par des outils déjà existants. Nous présentons les travaux connexes avant d'exposer notre vision et sa réalisation au travers de l'outil SCiPX (SystemC to IP-Xact). Dans un second temps, nous présentons plus en détail les possibilités permises par le profil UML-MARTE, son modèle de temps et le langage de spécifications de contraintes temporelles CCSL. Nous abordons les problèmes liés à la modélisation de protocoles à différents niveaux d'abstraction et plus spécialement ceux posés par le raffinement entre les niveaux TLM et RTL. Cette étude met en évidence des insuffisances de CCSL concernant la spécification des priorités. Nous proposons un enrichissement de CCSL pour lui permettre de manipuler ce concept de priorité.
Type de document :
Thèse
Systèmes embarqués. Université Nice Sophia Antipolis, 2012. Français
Liste complète des métadonnées

Littérature citée [52 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00767040
Contributeur : Team Aoste <>
Soumis le : mercredi 19 décembre 2012 - 13:51:21
Dernière modification le : lundi 5 octobre 2015 - 16:59:12
Document(s) archivé(s) le : dimanche 18 décembre 2016 - 05:54:50

Identifiants

  • HAL Id : tel-00767040, version 1

Collections

Citation

Jean-François Le Tallec. Extraction de modèles pour la conception de systèmes sur puce. Systèmes embarqués. Université Nice Sophia Antipolis, 2012. Français. 〈tel-00767040〉

Partager

Métriques

Consultations de
la notice

269

Téléchargements du document

551