Conception de SoC à Base d'Horloges Abstraites

Univ Europeenne - EAN : 9786131579646

adolf abdallah

Skip to the end of the images gallery

Skip to the beginning of the images gallery

Édition papier

EAN : 9786131579646

Paru le : 1 juin 2011

69,00 € 65,40 €

Epuisé

Pour connaître votre prix et commander, identifiez-vous

Manquant sans date

Notre engagement qualité

Livraison gratuite
en France sans minimum
de commande
Manquants maintenus
en commande
automatiquement
Un interlocuteur
unique pour toutes
vos commandes
Toutes les licences
numériques du marché
au tarif éditeur
Assistance téléphonique
personalisée sur le
numérique
Service client
Du Lundi au vendredi
de 9h à 18h

Détails

EAN13 : 9786131579646
Réf. éditeur : 5613905
Editeur : Univ Europeenne
Date Parution : 1 juin 2011
Disponibilite : Manque sans date
Barème de remise : NS
Nombre de pages : 208
Format : H:220 mm L:150 mm E:12 mm
Poids : 313gr
Interdit de retour : Retour interdit

Résumé

Résumé : Les applications embarquées hautes performances sont de plus en plus complexes et exigeantes en termes de ressources de calcul. L'augmentation des performances des puces monoprocesseur n'est plus une solution adaptée. Nous proposons l'utilisation du profil MARTE pour la modélisation de systèmes. Ce profil est suffisamment expressif pour décrire des applications hautes performances et des architectures parallèles. Nous abstrayons ensuite ces modèles via des horloges. Ces dernières représentent l'activité des processeurs durant l'exécution de fonctionnalités. Une technique d'analyse permet de vérifier des contraintes temporelles telles que l'ordre d'exécution de tâches, et d'analyser des contraintes non fonctionnelles telles que les temps d'exécution. Ces propriétés sont liées au nombre de processeurs impliqués dans l'exécution ainsi qu'à leurs fréquences. La contribution de cette thèse est la définition d'un cadre de travail, à base d'horloges, qui facilite l'exploration de l'espace de conception à haut niveau d'abstraction. Le travail a été mené dans un environnement, Gaspard2, dédié à la conception de systèmes embarqués hautes performances.
Biographie : L'auteur est titulaire d'un doctorat en Informatique de l'Université de Lille. Les travaux publiés dans cet article ont été présentés dans le cadre de sa préparation de thèse. Il s'intéresse aux aspects de conception et de vérification de systèmes embarqués en général, et ceux qui traitent des applications hautes performances en particulier