Thèse soutenue

Génération automatique de modèles de simulation pour la validation de systèmes hétérogènes embarqués

FR  |  
EN
Auteur / Autrice : Adriano Augusto De Moraes Sarmento
Direction : Ahmed Amine JerrayaWander Oliveira Cesario
Type : Thèse de doctorat
Discipline(s) : Microélectronique
Date : Soutenance en 2005
Etablissement(s) : Université Joseph Fourier (Grenoble ; 1971-2015)

Résumé

FR  |  
EN

La pression de qualité et de mise sur le marché de systèmes embarqués monopuces fait que la validation de tels systèmes devient le point clé du processus de conception. La validation répond pour plus de la moitié du temps de conception. Mais à chaque jour la validation devient plus difficile Cal les systèmes sont de plus en plus hétérogènes. Cette hétérogénéité touche plusieurs aspects du système, comme les niveaux d'abstraction, les APIs et protocoles de communication, les langages de spécification, entre autres. Les points clés pour réduire le temps de validation sont: (1) maîtriser l'intégration des composants hétérogènes à travers de l'adaptation de la communication, (2) et générer automatiquement le modèle de simulation du système. Ainsi, les contributions apportées par ce travail pour accélérer le temps de validation sont: (1) la proposition d'un modèle d'adaptateur de communication basé sur les services pour la cosimulation des systèmes hétérogènes embarqués; (2) la proposition et l'implémentation d'un flot de génération automatique de modèles de simulation pour les systèmes hétérogènes embarqués. Les approches proposées ont été validées sur deux systèmes hétérogènes embarqués: un modem VDSL et un encodeur MPEG-4.