1. Co-conception matérielle logicielle : domaines d’application et technologies de conception. - Processeurs de jeu d’instructions. - 2. Co-conception matérielle/logicielle de processeurs : concepts et exemples. - 3. Analyse des performances des systèmes embarqués. - Systèmes embarqués de traitement du signal. - 4. Co-conception de systèmes DSP. - 5. Conception simultanée de matériel/SW pour les systèmes de télécommunication : une perspective de développement de produits. - 6. Puces programmables dans l’électronique grand public et les télécommunications : architecture et technologie de conception. - 7. Techniques de génération et d’optimisation de code pour les processeurs de signaux numériques embarqués. - 8. Conception hétérogène efficace et co-simulation. - Systèmes de contrôle embarqués. - 9. Co-conception de systèmes embarqués : synthèse et vérification. - 10. Co-conception de systèmes embarqués : vers la portabilité et l’intégration rapide. - 11. TOSCA : une approche pragmatique de l’automatisation de la co-conception de systèmes dominés par le contrôle. - 12. L’électronique automobile : un domaine d’application majeur pour la co-conception matérielle/logicielle. - Tendances en matière de co-conception. - 13. Tendances de la technologie des systèmes embarqués : une perspective industrielle. - 14. Émulation et prototypage de systèmes numériques. - 15. Une refonte des techniques de synthèse matérielle : la synthèse comportementale. - 16. Systèmes logiciels : langages, modèles et processus. - 17. L’approche Lambda de la vérification du système. - 18. Co-conception matérielle / logicielle industrielle. Langue : Anglais