Systèmes embarqués sur Puce

Responsable

Couloir 24-25 bureau 308

Brève description

Le Département est un acteur académique français majeur dans le domaine des « Systems On Chip » (SOC). Il rassemble une centaine de personnes, dont une trentaine d’enseignants-chercheurs de l’UPMC et chercheurs du CNRS, autour de quatre axes de recherche principaux :

les architectures manycores contiennent plusieurs centaines ou milliers de cœurs hétérogènes. Elles sont étudiées au niveau logiciel (modélisation des flots de données et conception conjointe du logiciel et du matériel), au niveau des environnements d’exécution (systèmes d’exploitation adaptés aux architectures manycores) et au niveau des architectures matérielles.
les systèmes dynamiques voient leur structure évoluer dans le temps. Le département étudie en particulier la conception des réseaux de capteurs sans fil à basse consommation et les récepteurs pour la Radio Logicielle. Les architectures reconfigurables sont également abordées par leur intégration dans des puces et pour des applications spécifiques telles que la cryptographie.
les systèmes hétérogènes regroupent, dans un contexte multi-physique, logiciels et fonctions numériques, analogiques, MEMS et RF. L’étude de leur modélisation et de leur simulation en SystemC-AMS et de leur prototypage est un axe transverse du département.
la sécurité et la fiabilité des systèmes sur puce sont abordées en particulier par la vérification du matériel par Model-Checking, l’étude du bruit d’alimentation et de la synchronisation des horloges.

Ces axes trouvent des applications transverses dans les domaines du transport et de la santé.

Les équipes

ALSOC - Architectures et Logiciels pour Systèmes Embarqués sur Puce : systèmes multiprocesseurs intégrés sur puce, temps réel, vérification formelle des systèmes et génération de code optimisé pour l'architecture cible.

CIAN - Conception de circuits Intégrés Analogiques et Numériques : architectures, méthodes et outils pour la modélisation, la simulation, la conception et la vérification des circuits mixtes et hétérogènes.

QI - Quantum Information : informatique quantique, physique théorique et expérimentale, cryptographie, photonique.

SYEL - SYstèmes ELectroniques : modélisation des performances des systèmes hétérogènes - consommation et intégrité du signal -, réseaux de capteurs sans fil basse consommation, applications radio logicielle et santé.