FrançaisEnglish

Équipe ALSOC

  • Architectures numériques
  • Many Cores, OS, Compilateurs
  • Sécurité, Vérification

Équipe CIAN

  • Système hétérogènes intégrés
  • CAO & Circuits, FPGA, RF
  • Fiabilité et Sécurité des systèmes intégrés
  • Logiciel Libre et Circuits Ouverts

Équipe QI

  • Informatique Quantique
  • Calcul Quantique
  • Communication, Cryptographie
  • Réseaux

Équipe SYEL

  • Achitecture des Systèmes: e-Santé
  • Transports

Accès à distance

La procédure d'accès à distance au réseau, en mode texte ou graphique, est décrite ici: Master SESI / Réseau SESI.

Ce document a été écrit pour le réseau enseignement. Pour l'adapter au réseau recherche, seuls les noms des machines doivent être changés:

  • durian.lip6.fr devient ducas.lip6.fr ou barder.lip6.fr.
  • mozart devient n'importe quelle machine du reseau recherche, par exemple le serveur bop ou votre machine de bureau (si vous l'avez laissée allumée).

Offres d'emploi (Nouveau Septembre 2022 !)

Consultez la page Offres de stages, thèses, Ingénieurs et PostDoc

Logiciels Développés par les équipes ALSOC, CIAN, QI et SYEL (Nouveau Février 2022)

Accessit est décerné au logiciel CORIOLIS VLSI CAD TOOLS, OSEC 2022 (Open Science European Conference), February 2022 available on MESR page

Logo Alliance
Chaîne de CAO numérique
Coriolis
Digital CAD P&R toolchain
Logo TSAR
Tera-Scale ARchitecture
Oceane
Conception Analogique
Tas/Yagle
Analyseur de Timing Statique

Contact

Marie-Minerve Louërat

Couloir 24-25, bureau 308.

Brève description

Le LIP6 (équipes ALSOC, CIAN, QI et SYEL principalement) est un acteur académique français majeur dans le domaine des «Systems On Chip» (SOC). Les équipes ALSOC, CIAN? QI et SYEL rassemblent 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. Les équipes étudient 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 des équipes.
  • 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

  • Équipe 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.
  • Équipe 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 sécurité des circuits mixtes et hétérogènes.
  • Équipe QI - Quantum Information : informatique quantique, physique théorique et expérimentale, cryptographie, photonique.
  • Équipe 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é.