Génération du modèle AADL

Table des matières

INTRODUCTION
CHAPITRE 1 REVUE DE LITTÉRATURE 
1.1 L’ingénierie basée sur les modèles
1.2 Langages de modélisation
1.2.1 AADL
1.2.2 SystemC
1.2.3 DSL
1.2.4 Langage synchrone
1.3 Flots de conception
1.3.1 Modélisation avec l’outil AADS
1.3.2 Approche de modélisation de l’environnement Polychrony
1.3.3 Approche de modélisation AADL vers BIP
1.4 Limites observées
CHAPITRE 2 APPROCHE DE MODÉLISATION PROPOSÉE 
2.1 Environnement et outils de développement
2.1.1 OSATE2
2.1.2 Space Studio
2.2 Description du flot de conception proposé
2.2.1 Spécification de l’application
2.2.2 Modélisation de l’architecture à haut niveau
2.2.3 Transformation de modèle
2.2.4 Conception conjointe matérielle et logicielle (Co-Design)
2.2.4.1 Prototypage virtuel
2.2.4.2 Processus d’assignement
2.2.4.3 Interconnexion des composants
2.2.5 Raffinement d’architecture
2.2.5.1 Évaluation des performances
2.2.5.2 Exploration architecturale
2.2.6 Génération du modèle AADL
2.3 Limitations de l’approche proposée
CHAPITRE 3 ÉTUDE DE CAS 
3.1 Spécification de l’application
3.2 Modèle AADL
3.3 De AADL vers SystemC
3.4 Modèle de la plateforme matérielle
3.4.1 Configuration du prototype virtuel
3.4.2 Mise en correspondance de l’application sur la plateforme
3.4.3 Interconnexion des composants de la plateforme
CHAPITRE 4 RÉSULTATS ET DISCUSSION 
4.1 Évaluation des performances
4.1.1 Temps de simulation
4.1.2 Taux d’occupation du processeur
4.1.3 Statistiques d’utilisation du bus de communication
4.1.4 Accès mémoire
4.2 Raffinement d’architecture
4.2.1 1er facteur d’exploration : type de processeur
4.2.1.1 Processeur Leon3
4.2.1.2 Processeur µBlaze
4.2.2 2e facteur d’exploration fréquence
4.2.3 3e facteur d’exploration : partitionnement
4.3 Discussion
CONCLUSION