INRIA - Thème 1

En savoir plus

Sur les autres thèmes

Thème 2 :
Génie logiciel et calcul symbolique

Thème 3 :
Interaction homme-machine, images, données, connaissances

Thème 4 :
Simulation et optimisation de systèmes complexes

Sur les activités de développement

Actions de développement

Sociétés de technologie

La plupart des processus de production de biens et de services font appel à des systèmes informatiques où de multiples unités de traitement sont réparties autour de réseaux de communication, avec des contraintes particulières de performance telles que le temps réel, de fiabilité et de disponibilité. De tels systèmes doivent traiter de grandes quantités d'informations complexes et multimédias.

L'INRIA étudie et expérimente les méthodes de conception, les outils de réalisation et d'évaluation de tels systèmes, depuis la modélisation de très grands réseaux de télécommunications jusqu'à la conception de circuits intégrés spécifiques.

Les projets et avant-projets du thème

Thème 1A : Parallélisme et architecture
A3 - Analyse avancée appliquée à l'optimisation de code
APACHE - Algorithmique parallèle et partage de charge
CAPS - Compilation, architectures parallèles et systèmes
COSI - Conception de systèmes sur silicium
ReMaP - Régularité et parallélisme massif
SLOOP - Simulation, langages à objets et parallélisme
TROPICS - TRansformations et Outils Informatiques Pour le Calcul Scientifique

Thème 1B : Réseaux, systèmes, évaluation de performances
ARMOR - Architecture et modèles de réseaux
HIPERCOM - Communication haute performance
MÉVAL - Modélisation et évaluation de systèmes informatiques
MISTRAL - Modélisation en informatique et systèmes de télécommunication : recherche et applications logicielles
PARIS - Programmation des systèmes pARallèles et dIstribués pour la Simulation numéri que à grande échelle
REFLECS - Systèmes informatiques répartis temps réel et tolérant les fautes
RÉSÉDAS - Outils logiciels pour les télécommunications et les systèmes distribués
RODEO - Réseaux à hauts débits, réseaux ouverts
SIRAC - Systèmes informatiques répartis pour applications coopératives
SOLIDOR - Langages et systèmes parallèles
SOR - Systèmes d'objets répartis

Thème 1C : Programmation distribuée et temps réel
ADP - Algorithmes répartis et protocoles
EP ATR - Environnement de programmation pour applications temps réel
MEIJE - Parallélisme, synchronisation et temps réel
MOSCOVA - Mobilité, sécurité, concurrence, vérification et analyse
PAMPA - Modèles et outils pour la programmation des architectures parallèles réparties
PARA - Parallélisme
PARAGRAPHE - Parallélisme et graphes
VASY - Validation de systèmes - Recherche & applications

Les actions du thème

Thème 1A : Parallélisme et architecture
PLANETE - Protocoles et applications pour l'Internet

Thème 1B : Réseaux, systèmes, évaluation de performances
IPv6 - IPv6 - RSVP - ATM
LORIASI - Loria dans la société de l'information

Thème 1C : Programmation distribuée et temps réel
MIMOSA - Migration et Mobilité: Sémantique et Applications
TICK - Étude et implémentation des systèmes réactifs synchrones
TRIO - Temps réel et interopérabilité