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.
|