| Version imprimable |
Ressource documentaire
| Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1/2) (en Français,Anglais) | |||
Droits : Droits réservés à l'éditeur et aux auteurs Auteur(s) : Moy Matthieu, Minazio Mathieu Éditeur(s) : INRIA (Institut national de recherche en informatique et automatique) ,Région PACA 29-01-2014 Description : La complexité grandissante des circuits intégrés modernes a donné lieu à de nouveaux types de circuits, qu'on appelle "systèmes sur puces". Il n'est aujourd'hui plus possible d'attendre les premiers prototypes physiques pour valider la bonne intégration de leurs composants et développer le logiciel embarqué, souvent de taille considérable. Il est donc nécessaire d'utiliser des prototypes virtuels des cirtuits tôt dans le flot de conception du système global. Dans cet exposé bicéphale, nous présenterons les techniques de prototypage virtuel basées sur l'environnement de programmation standard du domaine : SystèmC/TLM. La première partie présentera les techniques établies et leur utilisation dans le contexte industriel de STMicroelectronics. Nous présenterons les différentes plates-formes industrielles utilisées pour l'anticipation du développement logiciel embarqué et la vérification fonctionnelle de son fonctionnement sur plates-formes, et décrirons leurs catactéristiques et leurs limitations. Nous étudierons la représentativités des modèles ainsi construits, y compris pour les nouveaux besoins liés à la validation de propriétés extra-fonctionnelles devenues essentielles comme la consommation d'énergie. La seconde partie présentera des techniques de programmation et d'implémentation développées recemment pour répondre aux besoins précités et aussi pour exploiter efficacement le parallélisme des machines hôtes de la simulation. Séminaire associé au 3e cours à l'extérieur de Gérard Berry pour le collège de France intitulé "Urgences scientifiques posées par l'industrie". Mots-clés libres : synchronisation | TECHNIQUE Type : image en mouvement Format : video/x-flv Source(s) : rtmpt://fms2.cerimes.fr:80/vod/fuscia/prototypage.virtuel.de.syst.me.sur.puce.pour.une.simulation.rapide.et.fid.le_19451/2014.01.29.matthieu.moy.29.janvier.2014.mp4 | ||
Entrepôt d'origine : Canal-u.fr Identifiant : oai:canal-u.fr:19451 Type de ressource : Ressource documentaire | |||
| Exporter au format XML |
Ressource pédagogique
| Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1/2) (en Français, Anglais) | |||||||
Identifiant de la fiche : 19451 Schéma de la métadonnée : LOMv1.0, LOMFRv1.0 Droits : libre de droits, gratuit Droits réservés à l'éditeur et aux auteurs. Auteur(s) : MOY MATTHIEU Éditeur(s) : INRIA (Institut national de recherche en informatique et automatique), Région PACA, Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique), Mathieu Minazio 29-01-2014 Description : La complexité grandissante des circuits intégrés modernes a donné lieu à de nouveaux types de circuits, qu'on appelle "systèmes sur puces". Il n'est aujourd'hui plus possible d'attendre les premiers prototypes physiques pour valider la bonne intégration de leurs composants et développer le logiciel embarqué, souvent de taille considérable. Il est donc nécessaire d'utiliser des prototypes virtuels des cirtuits tôt dans le flot de conception du système global. Dans cet exposé bicéphale, nous présenterons les techniques de prototypage virtuel basées sur l'environnement de programmation standard du domaine : SystèmC/TLM. La première partie présentera les techniques établies et leur utilisation dans le contexte industriel de STMicroelectronics. Nous présenterons les différentes plates-formes industrielles utilisées pour l'anticipation du développement logiciel embarqué et la vérification fonctionnelle de son fonctionnement sur plates-formes, et décrirons leurs catactéristiques et leurs limitations. Nous étudierons la représentativités des modèles ainsi construits, y compris pour les nouveaux besoins liés à la validation de propriétés extra-fonctionnelles devenues essentielles comme la consommation d'énergie. La seconde partie présentera des techniques de programmation et d'implémentation développées recemment pour répondre aux besoins précités et aussi pour exploiter efficacement le parallélisme des machines hôtes de la simulation. Séminaire associé au 3e cours à l'extérieur de Gérard Berry pour le collège de France intitulé "Urgences scientifiques posées par l'industrie". Mots-clés libres : synchronisation
| PEDAGOGIQUE Type pédagogique : cours / présentation Niveau : master, doctorat TECHNIQUE Type de contenu : image en mouvement Format : video/x-flv Taille : 1.68 Go Durée d'exécution : 45 minutes 52 secondes RELATIONS Cette ressource fait partie de : | ||||||
Entrepôt d'origine : Canal-u.fr Identifiant : oai:canal-u.fr:19451 Type de ressource : Ressource pédagogique | |||||||
| Exporter au format XML |