Séminaire Intech'Sophia :

L'approche modèle (model-based) de la conception des
systèmes embarqués

21 novembre 2003, de 14h à 17h

Les systèmes embarqués connaissent actuellement un développement explosif dans de nombreux domaines (télécommunications sans fil, convergence entre téléphonie et internet, automobile et transports, "consumer electronics"). La conception de tels systèmes, dans lesquels figurent des éléments informatiques et électroniques toujours plus importants, demande des méthodes puissantes et fiables pour s'adapter à des contraintes en temps et coût de développement toujours plus critiques. L'objectif de cette session d'InTech'Sophia sera de présenter certains défis à venir, ainsi que des réponses venant du monde industriel ou de la communauté scientifique à certains des problèmes actuels de la conception fiable de systèmes embarqués.

Responsable scientifique du séminaire : Robert De Simone, Inria Sophia Antipolis

Présentations (format 25mn + 5mn de questions)

Ouverture par Michel Cosnard (Inria Sophia Antipolis, Directeur)

• Les systèmes sur puces : vers l'exploration en milieu complexe
  • Michel Auguin, laboratoire I3S, Sophia Antipolis
    • Résumé:
      Les systèmes sur puces (SoC : System on Chip) intègrent des fonctionnalités de plus en plus variées et à caractère hétérogène. La conception de ces SoC est soumise à de nombreuses contraintes qualitatives et quantitatives auxquelles viennent s'ajouter paradoxalement celles induites par les approches empiriques de conception système actuelles. Face à cette situation il y a un besoin accru de méthodes s'appuyant sur des modèles bien définis et d'approches globales d'exploration afin d'identifier des solutions optimisées dans un vaste espace de conception fortement contraint.
• Qui tire l'innovation dans la conception des System on Chip : le Silicium ou la Méthodologie ?
  • Pierre Bricaud, Synopsys Inc, Sophia Antipolis
    • Résumé :
      Cet exposé illustrera :
      . La problématique de l'industrie de conception et fabrication des circuits System on Chip
      . Pourquoi sommes nous dans cette course effrénée de la nanotechnologie ?
      . Comment la méthodologie de conception s'est adaptée autour :
      - du bloc IP Reuse avec toute la problématique de la qualité,
      - de la plateforme de conception applicative à une structure microprocesseur-DSP-Bus standard
      . Les défis pour les nouvelles applications en conception et surtout vérification.

• Projet d'abstraction fonctionnelle pour l'exploration d'architecture système et le raffinement
  • Renaud Pacalet, GET/ENST/COMELEC/LabSoC, Sophia Antipolis
    • Résumé:
      L'exploration d'architecture système modélise l'application avec une finesse de détails pénalisante (coûts et temps de développement des modèles, vitesse de simulation, taille des problèmes incompatible avec certaines approches formelles, etc.). L'exposé présentera les pistes que le laboratoire SoC de l'ENST Sophia se propose d'explorer et qui reposent sur l'abstraction fonctionnelle.
• Heurs et malheurs de la conception par modèles en automatique
  • Paul Caspi, Laboratoire Verimag (UJF, INPG, CNRS), Grenoble
    • Résumé:
      Cet exposé cherchera à illustrer les succès et les difficultés rencontrées par la conception par modèles en automatique. On montrera comment ce domaine d'activité a réussi sans doute à pousser très loin ce concept, allant même jusqu'à la génération automatique de code, mais on montrera aussi comment les outils disponibles n'ont pas toujours la rigueur requise. Cela peut servir dans d'autres domaines pour identifier les éléments favorables et les écueils à éviter dans la mise en oeuvre de cette approche.