La thématique de recherche de l'équipe ALSOC porte sur les méthodes de conception des systèmes multiprocesseurs intégrés sur puce qui répondent aux besoins en performance de nombreuses applications embarquées (traitement de flux vidéo et multimédia dans les équipements nomades, traitement de paquets dans les équipements télécoms). La conception de ces systèmes nécessite la mise en oeuvre de méthodes de conception conjointe du matériel et du logiciel. Les problèmes à résoudre portent sur 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 l'architecture cible.