Projets financés
Implantabilité et Robustesse des Systèmes Temporisés – ImpRo
Le projet ImpRo, «Implantabilité et Robustesse des Systèmes Temporisés«, s'intéresse à la relation entre les modèles formels pour la conception de systèmes embarqués communicants et leur implantation en pratique : de tels modèles abstraient en effet de nombreux détails complexes ou restrictions d
HYbridation de REseaux de Neurones pour l’exploration de fonctions de réhabilitation – HYRENE
Le but du projet HYRENE est de proposer une nouvelle génération de systèmes neuro-électroniques adaptatifs, par hybridation d’un organe entier du système nerveux central (SNC) avec des circuits électroniques intelligents constitués de neurones artificiels intégrés sur silicium. Une communication bi
Stress électrique post irradiation des transistors MOS de puissance pour les systèmes embarqués spatiaux – PiGS
L’accès au spatial constitue un enjeu stratégique tant du point de vue des applications civiles que militaires. Les procédures de qualification des technologies dédiées aux applications spatiales se révèlent donc un point technique sensible et un levier stratégique certain entre les nations. En par
Inversion hiérarchique bayésienne dédiée à la spectrométrie de masse. Application à la découverte et la validation de nouveaux marqueurs protéiques. – BHI-PRO
Les enjeux scientifiques et économiques sont d’améliorer l’efficacité des phases de découverte et de validation de biomarqueurs protéiques. Les études reposant sur la spectrométrie de masse (MS) réduisent significativement le délai par rapport à des approches standards par immunocapture. Elles donne
Résonateurs optiques et leurs applications – ORA
Les microcavités optiques à très haut facteur de qualité sont d’un grand intérêt pour des applications dans des domaines aussi différents que l’optoélectronique, la métrologie ou la physique fondamentale. Ils sont utilisés par exemple pour : le filtrage optique, la commutation tout-optique, optique
Smart-UltraSons : détection/caractérisation/contrôle de sources de non linéarité ultrasonore – Smart US
La génération maîtrisée, la détection et la caractérisation de microbulles (de tailles [0,1-150] microns) sont parfois d’importance cruciale ; dans le domaine médical nous pensons à la conception/caractérisation des Agents de Contraste Ultrasonores (ACU) et à la prévention des embolies (cardiaques,
Vérification formelle d'un générateur de code pour un langage synchrone – VeriSync
Le projet proposé ici a pour but d'améliorer considérablement la sûreté de logiciel embarqué qui est développé dans le contexte de l'Ingénierie Dirigée par les Modèles. Ce but est atteint par une preuve formelle de la correction de transformations essentielles qui interviennent lors de sa compil
Fusion multi-modale à base de modèles biophysiques pour l'identification de variables cachées de l'activité cérébrale pathologique et physiologique – MULTIMODEL
Les dernières décennies ont été le témoin de grands progrès dans les méthodes d’imagerie cérébrales non invasives, qui permettent des enregistrements à haute résolution temporelle et spatiale. Parallèlement, des progrès ont aussi été effectués dans la connaissance des mécanismes impliqués dans l
Une approche INtégrée pour l’Observation et la commande de la dynamique de VEhicules – INOVE
L’objectif de ce projet de recherche fondamentale est l’étude amont et le développement d’outils et de méthodes pour l’amélioration de l’efficience des véhicules automobiles en vue d’améliorer la sécurité routière. L’objectif, à terme, est de doter les véhicules automobiles de fonctions automatiques
Systèmes biologiques de synthèse : de la conception à la compilation – SYNBIOTIC
La réunion de lancement du projet s’est déroulée le vendredi 3 Novembre 2010 en présence des membres du projet et d’Emmanuel Sabban (représentant ANR). Les porteurs des différents Work Package ont exposé le contenu des différentes tâches et la prévision d’avancement des travaux. Les points d’orga
Mécanismes d'évaluation de la robUstesse de Réseaux de capteurs par injection de fautes PHYsiques et logicielles. – MURPHY
L’objectif du projet Murphy est de faciliter le développement d'applications pervasives sûres de fonctionnement sur des réseaux de capteurs robustes, en permettant de détecter au plus tôt dans le processus de développement les erreurs potentielles, et en offrant un support à l'évaluation de la fiabi
Vérification Formelle de Composants Distribués – PiCoq
L'utilisation croissante de systèmes informatiques rend nécessaire une analyse rigoureuse de leurs propriétés, pour spécifier et prouver des garanties sur leurs comportements. De nombreux systèmes étant distribués ou reconfigurables, leur complexité les rend quasiment impossibles à analyser direc
Electronique Quantique Microonde au Graphène – MIGRAQUEL
Ces prévisions reposent sur la haute mobilité, la grande vitesse de Fermi, les forts courants et la bonne conductivité thermique du graphène. L’aspect modulable du nombre de canaux de transport et l’accès réellement nanométrique des grilles au canal ouvrent la voie à un régime de transport où la con
EtudeS de sTructures Avancées de la filière nitRure de gallium (GaN) – STARGAN
De nos jours, les HEMTs AlGaN/GaN sont certainement les composants de type III-V les plus étudiés principalement pour les applications de puissance en hyperfréquence. Ce thème de recherche est très compétitif avec des laboratoires américains et japonais tels que CREE, NITRONEX, TOSHIBA, EUDYNA etc …
Imagerie Holographique Numérique Trichromatique Et Challenges en Acoustique et Mécanique des Fluides – IMHOTEC
A remplir A remplir A remplir A remplir Dans un certain nombre de domaines tels que l’acoustique, les vibrations ou la mécanique des fluides, la validation de modèles numériques et/ou analytiques des phénomènes étudiés nécessite de plus en plus le développement d’outils métrologiques non intrusifs p
Résilience des applications scientifiques sur machines exascales – RESCUE
L'apparition des machines exascale est attendue pour résoudre de nouveaux défis scientifiques. Mais les applications scientifiques déployées sur ces machines comportant plusieurs millions de processeurs devront pouvoir tolérer de nombreuses pannes. Le principal objectif du projet RESCUE est de déve
Transition Multi-Échelle entre régimes de polarisation de la Lumière diffuse – TraMEL
Le projet TRAMEL (Transition Multi-Echelle entre Régimes de Polarisation de la Lumière Diffuse) est consacré aux phénomènes de dépolarisation de la lumière en milieu désordonné. Des outils électromagnétiques exacts sont couplés à l’optique statistique pour relier le degré de polarisation à la micros
