Aller au contenu  Aller au menu Aller à la recherche

accès rapides, services personnalisés

Rechercher

Recherche détaillée

Contact

Jacqueline Collet-Narboni
Responsable administrative

courriel : jacqueline.collet-narboni@upmc.fr

Cette page est la page de garde du site consacré à l' unité d'enseignement « Modélisation, analyse et simulation des systèmes embarqués sur puce (5I150) »

Ressources annuelles

Responsable de l'UE : ENCRENAZ, emmanuelle



Description de l'UE :

Cette UE obligatoire porte sur la modélisation, la simulation et la vérification des systèmes électroniques et informatiques à différents niveaux d'abstraction. L'utilisation des langages de modélisation sera développée ainsi que les modèles de calculs qui leur sont associés. Les étudiants seront sensibilisés à la problématique de la validation fonctionnelle d'un système complexe, et une introduction aux techniques formelles leur sera présentée. Un des langages support sera SystemC et ses dérivés pour les systèmes multi-physiques.