Transfert technologique

Patrimoine logiciel d'Inria

© INRIA / Photo Kaksonen - Extraction des données cryptographiques d'une carte bancaire

Inria est à l’origine d’une importante production de logiciels. Ci-dessous nos logiciels phares classés par secteur.

Aéronautique, espace, spatial, sécurité

AXEL

Axel est un logiciel permettant la construction et la modélisation de formes géométriques algébriques.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
CORESE

Corese est un moteur de recherche web sémantique implémentant des langages de base tels que RDF, RDFS et SPARQL.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
DIASUITE

DiaSuite est une suite logicielle qui permet d’orchestrer entre eux un ensemble d’appareils communicants. DiaSuite intervient à toutes les étapes du projet, de sa conception à sa réalisation.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
DIET

Diet est une boîte à outils pour l’utilisation et le portage d’applications de calcul intensif sur des architectures hétérogènes.

  • Contact rev@Inrialpes.fr
FRAMA-C

FRAMA-C est une plateforme d'analyse de programmes C. Frama-C aide aux activités de mise au point et de vérification, ainsi qu'à la rétro-ingénierie au niveau du code source.

  • Contact : sriv-saclay@Inria.fr
GASPARD2

Gaspard 2 est un environnement de développement intégré pour co-modéliser, simuler, tester et générer du code logiciel et matériel pour des applications intensives sur SoC (System-on-Chip).

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
GRAPHITE

Graphite est une plateforme logicielle dédiée géométrie numérique, permettant entre autres la modélisation 3D et le plaquage de textures.

  • Contact : Catherine Lucquiaud- Tél : +33 3 83 59 30 59
HIPS

Hips est un logiciel hybride « à la carte » qui permet de résoudre des systèmes d’équations linéaires creux avec le degré de précision et l’engagement en temps/mémoire nécessaire et souhaité par l’utilisateur.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
JADE

Jade est un système distribué capable de s'auto-observer et de s'auto-reconfigurer.

  • Contact rev@Inrialpes.fr
JITS

JITS, Java In The Small est une plateforme logicielle qui permet de migrer automatiquement des applicatifs Java vers divers matériels embarqués tel que des cartes à puce, des capteurs en réseau ou encore une console de jeu minimaliste.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
KADEPLOY

Kadeploy est la réécriture complète de l’outil Kadeploy 2 initialement développé à l’IMAG.

  • Contact : sriv-saclay@Inria.fr
KERRIGHED

Kerrighed est un Système d'exploitation à image unique qui offre les fonctionnalités et l'interface Linux à l'échelle d'un groupe d'ordinateurs.

  • Contact : sriv-saclay@Inria.fr
OAR

Oar est un gestionnaire de ressources et de tâches pour les infrastructures de calcul.

  • Contact : rev@Inrialpes.fr
OPENMASK

OpenMask est une plate-forme de développement et d'exécution pour des applications modulaires, hétérogènes et distribuées dans les domaines de l'animation, la simulation et la réalité virtuelle.

  • Contact : Chantal Le Tonqueze - Tél. :  02 99 84 75 33
POLYCHRONY

Polychrony est une boîte à outils pour le développement intégré d’applications embarquées construite autour du langage polychrone Signal.

  • Contact : Chantal Le Tonqueze - Tél. :  02 99 84 75 33
PROLAND

Proland est un logiciel de rendu réaliste, d'animation et d'édition temps réel de scènes naturelles (terrain, nuages, atmosphère, océan...) de très grande taille, jusqu'à une planète entière.

SCOTCH

Scotch est un partitionneur de graphes. Il permet d'optimiser le découpage d'un problème, modélisé par un graphe, en un ensemble de sous-problèmes les plus indépendants possibles et de tailles équivalentes.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
SHOOT

Shoot est un logiciel de résolution des problèmes de commande optimale pour systèmes dynamiques.- Approche indirecte, méthode de tir.

SICONOS

Siconos est une plateforme dédiée à la modélisation, la simulation et l’analyse des systèmes dynamiques non linéaires et non réguliers.

  • Contact : rev@Inrialpes.fr
SOFA

Sofa est une plate-forme de recherche et développement dédiée aux simulations physiques interactives, et en particulier à la simulation médicale.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
SYNDEX

Syndex est un environnement logiciel scientifique pour l'ingénierie et les applications scientifiques.

  • Contact : Amine Hassim -Tél : +33 1 39 63 55 08
TIMESQUARE

TimeSquare est un plugin Eclipse permettant de mettre en oeuvre le temps logique (spécification)et de simuler un ordonnancement du système modélisé. Il est basé sur le langage CCSL (fortement lié au profil UML MARTE) qui spécifie des relations temporelles entre des événements.

  • Contact : Jérémy fidelak - Tél : +33 4 92 38 76 49
TOM

Tom est un logiciel de langage de programmation orienté pattern-matching, basé sur l’utilisation de règles et de stratégies, adapté en particulier à la manipulation de structures arborescentes.

  • Contact : Catherine Lucquiaud - Tél : +33 3 83 59 30 59
ViSP

Visp est une plate-forme logicielle modulaire permettant de développer des applications de robotique en exploitant les techniques d’asservissement visuel.

  • Contact : Chantal Le Tonqueze - Tél. :  02 99 84 75 33

Edition de logiciels, systèmes embarqués

ALT-ERGO

Alt-Ergo combine le raisonnement logique avec quantificateurs et des procédures de décision spécialisées pour certaines théories comme l'arithmétique ou l'égalité. Ce prouveur est spécialement mis au point pour la vérification de programmes et il est utilisable depuis les plates-formes Frama-C, Why ou CAVEAT.

  • Contact : sriv-saclay@Inria.fr
CGAL

CGAL est une bibliothèque de structures de données et algorithmes géométriques: 120 composants modulaires, fiables et génériques.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
CORESE

Corese est un moteur de recherche web sémantique implémentant des langages de base tels que RDF, RDFS et SPARQL.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
FlOPOCO

FloPoCo est un générateur de coeurs arithmétiques non standard pour le calcul reconfigurable.

  • Contact rev@Inrialpes.fr
FRAMA-C

Frama-C est une plateforme d'analyse de programmes C.

  • Contact : sriv-saclay@Inria.fr
GAPARD2

Gaspard 2 est un environnement de développement intégré pour co-modéliser, simuler, tester et générer du code logiciel et matériel pour des applications intensives sur SoC (System-on-Chip).

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
KERMETA

Kermeta est un langage de métamodélisation permettant de décrire la structure ainsi que le comportement des métamodèles.

  • Contact : Chantal Le Tonqueze - Tél. :  02 99 84 75 33
MOOSE

Moose est une plate-forme ouverte et extensible pour l'analyse logicielle, intégrant des modèles de langages, des métriques, d’algorithmes, des moteurs de visualisation et de navigation.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
MPFR

MPFR est une bibliothèque de calcul sur des nombres à virgule flottante en précision arbitraire, avec arrondi correct, basée sur la bibliothèque GMP.

  • Contact : Catherine Lucquiaud - Tél : +33 3 83 59 30 59
PARADISEO

Paradiseo est une plate-forme logicielle facilitant l’utilisation, le développement et la comparaison de métaheuristiques (algorithmes d’optimisation visant à résoudre des problèmes d’optimisation difficiles) classiques, multiobjectifs, parallèles et hybrides.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
PHARO

Pharo est un langage et environnement de programmation Smalltalk, dynamique, propre, innovant, gratuit et open-source avec lesquels des applications professionnelles peuvent être développées.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
POLYCHRONY

Polychrony est une boîte à outils pour le développement intégré d’applications embarquées construite autour du langage polychrone Signal.

  • Contact : Chantal Le Tonqueze - Tél. :  02 99 84 75 33
SCOTCH

Scotch est un partitionneur de graphes.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
SOLLYA

Sollya est une boîte à outils de routines numériques pour le développement de codes numériques sûrs.

  • Contact rev@Inrialpes.fr
SYNDEX

Syndex est un environnement logiciel scientifique pour l'ingénierie et les applications scientifiques.

  • Contact : Amine Hassim -Tél : +33 1 39 63 55 08
TIMESQUARE

TimeSquare est un plugin Eclipse permettant de mettre en oeuvre le temps logique (spécification) et de simuler un ordonnancement du système modélisé. Il est basé sur le langage CCSL (fortement lié au profil UML MARTE) qui spécifie des relations temporelles entre des événements.

  • Contact : Jérémy fidelak - Tél : +33 4 92 38 76 49
TOM

Tom est un logiciel de langage de programmation orienté pattern-matching, basé sur l’utilisation de règles et de stratégies, adapté en particulier à la manipulation de structures arborescentes.

  • Contact : Catherine Lucquiaud - Tél : +33 3 83 59 30 59

Energie, transport, développement durable

AXEL

Axel est un logiciel permettant la construction et la modélisation de formes géométriques algébriques.

  • Contact : Jérémy fidelak - Tél : +33 4 92 38 76 49
GRAPHITE

Graphite est une plateforme logicielle dédiée géométrie numérique, permettant entre autres la modélisation 3D et le plaquage de textures.

  • Contact : Catherine Lucquiaud - Tél : +33 3 83 59 30 59
HIPS

Hips est un logiciel hybride « à la carte » qui permet de résoudre des systèmes d’équations linéaires creux avec le degré de précision et l’engagement en temps/mémoire nécessaire et souhaité par l’utilisateur.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
MUMPS

MUMPS, Multifrontal Massively Parallel Solver résout des systèmes linéaires creux de la forme A x = b.

  • Contact rev@Inrialpes.fr
OPENMASK

OpenMask est une plate-forme de développement et d'exécution pour des applications modulaires, hétérogènes et distribuées dans les domaines de l'animation, la simulation et la réalité virtuelle.

  • Contact : Chantal Le Tonqueze - Tél. :  02 99 84 75 33
PASTIX

PaStiX est  Solveur direct qui s’utilise pour résoudre des systèmes numériquement difficiles en parallèle. En gardant les qualités intrinsèques d’une méthode directe (robustesse), il consomme moins de mémoire ce qui lui permet de résoudre des problèmes de très grande taille.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
TAPENADE

Tapenade est un moteur de différentiation automatique permettant d’obtenir les dérivées exactes d’une fonction représentée dans un programme.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49

Santé, sciences de la vie, biotechnologie

DROP

Drop est un logiciel de mise en correspondance d’images provenant de même ou plusieurs modalités en calculant un champ de déformation non
 rigide / déformable d’une manière rapide et efficace.

  • Contact : sriv-saclay@Inria.fr
HANDNAVIGATOR

HandNavigator est un périphérique immersif pour le contrôle d’une main virtuelle dans des mondes virtuels

  • Contact rev@Inrialpes.fr
LIBQGLViEWER

LibQGLViewer est une librairie C++ basée sur QT pour faciliter la création de viewers 3D Open GL.

  • Contact rev@Inrialpes.fr
LOCUS

Locus analyse en quelques minutes une image IRM 3D d’un cerveau et  identifie automatiquement les tissus et un grand nombre de structures.

  • Contact rev@Inrialpes.fr
ND-SAFIR

ND-SAFIR est un logiciel de restauration (ou débruitage) d’images 2D, 3D et de séquences d’images 2D+T(emps) ou 3D+T(emps).

  • Contact : Chantal Le Tonqueze - Tél. :  02 99 84 75 33
OPENViBE

OpenVIBE est une plate-forme logicielle pour créer, tester et utiliser des interfaces cerveau ordinateur (commandes des ordinateurs par l’activité cérébrale) et des applications de neurosciences temps-réel.

SAMSON

SAMSON est une plateforme logicielle pour la modélisation et la simulation de nanosystèmes, naturels ou artificiels.

  • Contact : rev@Inrialpes.fr
SOFA

Sofa est une plate-forme de recherche et développement dédiée aux simulations physiques interactives, et en particulier à la simulation médicale.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43

Télécoms, réseaux, multimedia

AMAYA

Amaya est un éditeur de pages web qui tire parti des technologies web les plus récentes et qui permet de créer et de mettre à jour des documents directement sur le web.

  • Contact : rev@Inrialpes.fr
DIASUITE

DiaSuite est une suite logicielle qui permet d’orchestrer entre eux un ensemble d’appareils communicants. DiaSuite intervient à toutes les étapes du projet, de sa conception à sa réalisation.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59
DYNAMIC SOLID TEXTURES

Shaders pour la stylisation d'animation.

  • Contact : rev@Inrialpes.fr
FRASCATI

FraSCAti est une plate-forme middleware pour les architectures orientées services (SOA) conformes au standard OASIS/OpenSOA Service Component Architecture (SCA).

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
FREESTYLE

Freestyle est un logiciel de rendu artistique de scènes 3D avec un style de dessin artistique.

  • Contact : rev@Inrialpes.fr
HOP

Hop est un logiciel de langage pour le développement et une plate-forme pour l’exécution d’applications pour le Web diffus.

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
JITS

JITS, Java In The Small est une plateforme logicielle qui permet de migrer automatiquement des applicatifs Java vers divers matériels embarqués tel que des cartes à puce, des capteurs en réseau ou encore une console de jeu minimaliste.

  • Contact : Sylvain Karpf - Tél : +33 3 59 57 78 43
LIMSEE3

LimSee3 est un outil auteur pour la création de documents multimédia guidé par des templates. Particulièrement adapté au web.

  • Contact : rev@Inrialpes.fr
MILLEFEUILLE

Millefeuillle est une plate-forme utilisée pour éditer un document historique dans le cadre d’un projet avec les Archives Nationales. Les documents sont présentés à gauche et les indexes à droite.

  • Contact : sriv-saclay@Inria.fr
NS-3

NS-3 est un simulateur réseau qui permet la validation et l’optimisation de protocoles réseau (WiFi, WiMAX, TCP/IP, LTE, etc).

  • Contact : Jérémy Fidelak - Tél : +33 4 92 38 76 49
OPEN-MX

Open-MX est une implémentation d’une pile de protocole qui cible les architectures de calcul haute performance (HPC) à réseau Ethernet et permet l’optimisation des communications MPI.

  • Contact : Marianne Lamour - Tél : +33 3 83 59 30 59

Haut de page

Siège et centres de recherche Inria

Accès direct

Social