Projets financés
Validation fonctionnelle et temporelle de circuits mémoires décrits au niveau transistor par des méthodes formelles – VALMEM
Le projet VALMEM s’intéresse à la vérification fonctionnelle et temporelle de circuits mémoires. Les circuits mémoires ont la particularité d’intégrer des fonctionnalités toujours plus complexes tout en devant répondre à des objectifs de performances accrues. Pour ces raisons, ces circuits sont con
– ROMA
Dans le domaine des applications multimédia, le traitement d’images est le challenge principal auquel les systèmes embarqués sont confrontés. Il s’agit appréhender des traitements intensifs tout en satisfaisant des contraintes de faible consommation. Le traitement d’images au niveau pixel, tels le f
– PHERMA
Les systèmes embarqués et mobiles voient leur complexité croître de façon continue. Ils intègrent de plus en plus des architectures multiprocesseur sur puce (MPSOC) dont le parallélisme augmente avec les besoins de performances. Cette évolution induit des difficultés croissantes à modéliser les comp
– MORE
Le projet MORE (Multicriteria Optimization for Real-time Embedded systems) a pour objectif de développer des stratégies de recherche de compromis qui transforment le code d’une application embarquée critique pour qu’elle respecte les contraintes de temps, de taille mémoire et de consommation d’énerg
– AFANA
Le projet se situe dans le domaine des systèmes embarqués extrêmement dominés par les communications. Il défend une approche nouvelle de la conception des NOC (Network On Chip) visant l’optimisation des performances et des ressources utilisées et donc la consommation d’énergie. L’originalité du proj