Abstract:
Face à la complexité croissante des processus de conception des systèmes
sur puce (SoC) dynamiquement et partiellement reconfigurables, il devient essentiel
d'élever le niveau d'abstraction utilisé pour leur modélisation. Un tel niveau d'abstraction permet de s'affranchir des contraintes liées aux détails d'implémentation bas
niveau. Dans ce contexte, l'Ingénierie Dirigée par les Modèles (IDM) s'impose comme
une approche méthodologique robuste, offrant un cadre formel pour la création, la
transformation et le raffinement progressif de modèles structurés à différents niveaux
d'abstraction. Ce travail s'inscrit dans cette démarche en se plaçant au niveau système
(ESL), et plus spécifiquement au niveau transactionnel (TLM). Il propose un framework
de modélisation facilitant la génération automatique de code SystemC/TLM à partir
de modèles UML/MARTE étendus. Afin de pallier l'absence de support natif de la Reconfiguration Dynamique Partielle (DPR) dans MARTE et SystemC, une extension du
profil est introduite, intégrant des stéréotypes, constructions et valeurs étiquetées spécifiques, organisés en trois sous-profils : MARTE4DPR, MARTE4SCTLM et MARTE4AF.
La validation expérimentale, conduite sur un système crossover actif 3-voies reconfigurable, montre un gain significatif en temps de conception et une amélioration notable
de la productivité par rapport aux méthodes manuelles.
