Inria
Inria.fr
Inria Channel
Recherche
Trois thématiques prioritaires
Depuis sa création, le centre de recherche développe une politique de collaboration extrêmement étroite avec les institutions majeures des régions où elle est implantée, par constitution d'équipes ou de laboratoires communs.
Nos défis scientifiques
Le plan stratégique de l’institut oriente les recherches du centre de Saclay vers trois thématiques prioritaires :
Sécurité et fiabilité des logiciels
Dans les transports, la santé, l'énergie, les télécommunications…, les logiciels sont de plus en plus complexes. Les méthodes formelles permettent d’éliminer toute erreur pour certifier des logiciels de confiance.
Rendre plus sûrs les composants critiques des systèmes informatiques requiert le développement de modèles avancés pour la sécurité et de méthodes d'analyse de programmes qui soient supportées par des outils permettant le passage à l'échelle. Les travaux s'appuient sur des connaissances mathématiques avancées : courbes elliptiques pour la cryptographie, théorie des types comme support pour des preuves par ordinateur, modèles probabilistes... L'objectif est de proposer des méthodes et outils permettant d'augmenter la confiance des utilisateurs dans les technologies numériques en s'appuyant sur une approche mathématique rigoureuse.
Calcul haute-performance et connaissances distribuées sur le web
Migrer vers un web de connaissances structurées demande de fournir des services à partir d’informations hétérogènes, et d’extraire des connaissances du texte. L’exploitation de données complexes pour le calcul haute-performance exige de développer des modèles de calcul avec des réseaux adaptés.
La miniaturisation et la multiplicité des composants de calcul ou de stockage sont sources de profonds changements dans la manipulation de données ou les modèles de calcul. Les données peuvent venir de réseaux de capteurs ou de ressources distribuées sur le Web. Retrouver et organiser ces données demande de concevoir de nouvelles méthodes d'exploration, de restitution, d'interaction et de visualisation, en s'appuyant en particulier sur des techniques d'apprentissage. Les capacités de calcul s'accroissent mais reposent sur des composants hétérogènes, dynamiques et distribués. Leur exploitation pour le calcul haute-performance requiert de développer de nouveaux modèles de calcul, en particulier ceux basés sur les grilles de calcul, ainsi que de nouvelles architectures, et des techniques de compilation adaptées. Elle soulève de nouvelles questions : efficacité, tolérance aux pannes, nouveaux algorithmes et modèles de programmation, nouveaux protocoles de communication.
Modélisation, simulation et optimisation de systèmes dynamiques complexes
Cette simulation permet par exemple la construction de modèles mathématiques d'évolution pour les plantes ou la compréhension du fonctionnement du cerveau.
Les systèmes dynamiques complexes apparaissent dans de nombreux domaines naturels (physique, biologie) ou artificiels (internet). Leur modélisation peut être réalisée par des approches variées (équations aux dérivées partielles, systèmes évolutionnaires, modèles discrets ou continus, déterministes pu stochastiques, résolution numérique ou algébrique). Les principaux champs d'investigation concernent le traitement d'images, en particulier médicales, la reconnaissance de formes, la construction de modèles d'évolution pour les plantes, le vieillissement des organes ou la compréhension du fonctionnement du cerveau. Par ailleurs les questions d'optimisation et de contrôle robuste de ces systèmes, ainsi que leur tolérance aux fautes restent des problèmes difficiles.
Mots-clés : Recherche Saclay - Île-de-France
