Systèmes embarqués - de la conception à la programmation

L'équipe regroupe de multiples compétences indispensables pour élaborer un système complet, adapté et fonctionnel :

• Architecture : modélisation et simulation (D. Genius, A. Greiner, Q. Meunier, F. Pêcheux)
• Vérification : méthodes formelles pour la conception et la vérification (C. Braunstein, J.-L. Desbarbieux, E. Encrenaz)
• Système d’exploitation : systèmes d’exploitation embarqués adaptés (F. Wajsbürt)
• Compilation : optimisation de codes et parallélisation (N. Drach, K. Heydemann)
• Optimisation : méthodes pour dimensionnent fin et adapté du matériel (O. Marchetti, A. Munier)

Ces compétences s'articulent autour des axes de recherches suivants :

• Conception :

  • Conception d’une architecture massivement parallèle - mémoire partagée/virtuelle - homogène/hétérogène (exemple de réalisations).
  • Conception de composants performants, ouverts.
  • Conception de composants spécialisés.

• Modélisation, vérification et simulation :

  • Plateforme de modélisation et de simulation.
  • Simulation parallèle.
  • Modèle de simulation simplifié.
  • Outils de visualisation/analyse.
  • Spécification/validation de composants et assemblages de composants.
  • Passage à l’échelle par abstraction des composants.

• Programmation et optimisation :

  • Définition et développement d’un OS pour MPSoC (homogène, hétérogène, mémoire partagée, adressages physique ou virtuel).
  • Méthodes de programmation parallèle et optimisations logicielles adaptatives pour MPSOC.
  • Méthodes d’ordonnancement, placement de flots.
  • Dimensionnement du matériel.
  • Adéquation architecture MPSOC / application - pour des applications TELECOM, des applications multimédia.
  • Test/diagnostic de pannes franches sur MPSOC - reconfigurabilité, assistance de l’OS.…