cours / présentation

Prototypage virtuel de système sur puce pour une simulation rapide et fidèle (1/2)

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...

Date de création :

29.01.2014

Auteur(s) :

Matthieu Moy

Présentation

Informations pratiques

Langue du document : Français, Anglais
Type : cours / présentation
Niveau : master, doctorat
Durée d'exécution : 45 minutes 52 secondes
Contenu : vidéo
Document : video/mp4
Poids : 1.68 Go
Droits d'auteur : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs.

Description de la ressource

Résumé

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".

"Domaine(s)" et indice(s) Dewey

  • Génie Logiciel : Langage de programmation en général (005.13)

Domaine(s)

  • Informatique
  • Programmation : Algorithmique, langages, conception objet, programmes
  • Informatique

Intervenants, édition et diffusion

Intervenants

Fournisseur(s) de contenus : Région PACA, UNS, CNRS - Centre National de la Recherche Scientifique, INRIA (Institut national de recherche en informatique et automatique), Mathieu Minazio

Édition

  • INRIA (Institut national de recherche en informatique et automatique)
  • Région PACA

Diffusion

Cette ressource vous est proposée par :Canal-U - accédez au site internet

Document(s) annexe(s)

Fiche technique

Identifiant de la fiche : 19451
Identifiant OAI-PMH : oai:canal-u.fr:19451
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
Entrepôt d'origine : Canal-U

Voir aussi

Canal-U
Canal-U
07.01.2016
Description : Explorations Mathématiques de l'activité du cerveau Le siècle dernier a été une période fascinante durant laquelle les recherches expérimentales ont fait des avancées majeures sur la caractérisation de l’activité du cerveau en réponse à des stimuli et leurs bases neuronales et moléculaires. ...
  • cerveau
  • modélisation mathématique
  • synchronisation des neurones
Canal-U
Canal-U
22.01.2014
Description : Pour son cycle de cours 2013/2014, Gérard Berry, titulaire de la Chaire "Algorithmes, Machines et langages" du Collège de France, a choisi de donner ses 3 premiers cours et séminaires au centre Inria à Sophia Antipolis les mercredi 15, 22 et 29 Janvier 2014.  Les trois cours sont consacrés à ...
  • synchronisation
  • systèmes temps-réels