Alix Munier Campus Pierre et Marie Curie 24-25/418
La conception de systèmes multiprocesseurs intégrés sur puce nécessite la mise en oeuvre de méthodes de conception conjointe des aspects matériel et logiciel. Parmi les problèmes à résoudre, on peut citer l'architecture matérielle, les protocoles de communication, les systèmes d'exploitation embarqués ; et plus généralement, les techniques de déploiement des applications, la prise en compte des contraintes temps réel, la vérification formelle des systèmes, le test après fabrication, et la génération de code optimisé pour différentes architectures cibles.