Innovation

Logiciels & technologies à suivre

Triangulations 3D de CGAL © INRIA / Projet GEOMETRICA

Notre Centre est actif dans le domaine du transfert et de l'innovation. Nos équipes de recherche sont ainsi à l'origine de nombreuses technologies phares parmi lesquelles HOP et ns-3. Le langage HOP permet de développer des applications pour le Web diffus. Quant à ns-3, il s'agit d'un simulateur de réseau qui permet la validation et l’optimisation de protocoles réseau tels que le WiFi ou le WiMAX.

Mathématiques appliquées, calcul et simulation

TAPENADE

TAPENADE est un moteur de différenciation automatique développé au sein de l'équipe de recherche TROPICS. Il permet d’obtenir les dérivées exactes d’une fonction représentée par un programme informatique dans le but d’optimiser les performances dudit programme. TAPENADE fonctionne par transformation de programme et génère à partir du code de la fonction un nouveau code qui calcule les dérivées et qui devra être exécuté. L’intérêt de ce modèle est que le code calculant la dérivée peut être réutilisé dans un autre code, tel qu’un optimiseur par exemple. TAPENADE est distribué gratuitement pour un usage académique et sous licence propriétaire payante pour exploitation industrielle. Il est en passe de devenir le logiciel de différenciation automatique le plus utilisé dans le monde.

Contact : laurent.hascoet@Inria.fr

PRESTO-HF

PRESTO-HF est une boîte à outils dédiée à l’identification de paramètres passe-bas de filtres hyperfréquences développée au sein de l'équipe de recherche APICS. Elle permet de récupérer les paramètres de couplage d’un circuit électrique passe-bas équivalent au filtre étudié. PRESTO-HF intervient donc dans des processus d’ajustements permettant de réduire le coût matériel et optimiser la conception assistée par ordinateur (CAO).

Contact : fabien.seyfert@Inria.fr

DEDALE-HF

DEDALE-HF est un logiciel développé par l’équipe de recherche APICS permettant la synthèse de circuits équivalents pour les filtres hyperfréquences en résolvant le problème de la synthèse de la matrice des couplages électromagnétiques. Pour une topologie de filtres donnée, DEDALE-HF permet de trouver toutes les valeurs de couplages électromagnétiques possibles qui mènent à la réalisation des caractéristiques dudit filtre. La résolution de ce problème est cruciale durant le développement et l’optimisation d’un filtre hyperfréquence.

Contact : fabien.seyfert@Inria.fr

Algorithmique, programmation, logiciels et architectures

TIMESQUARE

TIMESQUARE est un plugin Eclipse développé par l'équipe de recherche AOSTE permettant de mettre en œuvre le temps logique et de simuler un ordonnancement du système modélisé. Il est basé sur le langage CCSL (lui même fortement lié au profil UML MARTE) qui spécifie des relations temporelles entre des évènements. TIMESQUARE est personnalisable en fonction des contraintes et intègre de la sémantique formelle. Il permet de réconcilier les modèles théoriques et ceux de l’ingénierie et peut être appliqué aux systèmes embarqués au sens large (aéronautique, automobile, informatique, etc.). Il est diffusé sous licence open source EPL.

Contact : charles.andre@Inria.fr

AXEL

AXEL est un logiciel développé par l’équipe de recherche GALAAD permettant la construction et la modélisation de formes géométriques algébriques. Il combine des fonctionnalités de CAO et de représentation algébrique et possède une architecture modulaire sous forme de plugins. Les domaines d’applications possibles sont très vastes (ie, tout domaine nécessitant la construction de formes algébriques). AXEL est diffusé sous licence open source GPL.

Contact : bernard.mourrain@Inria.fr

CGAL

CGAL est un projet open source visant à mettre à disposition des algorithmes géométriques robustes et efficaces sous la forme de bibliothèque C++. La librairie CGAL (Computational Geometry Algorithms Library) développée par l’équipe de recherche GEOMETRICA propose des structures de données ainsi que des algorithmes tels que les triangulations, les diagrammes de Voronoï, la génération de maillages 2D et 3D, l’interpolation, ... CGAL est utilisé dans de nombreux domaines nécessitant la modélisation géométrique tels que la visualisation scientifique, l’imagerie médicale, la robotique, le design assisté par ordinateur, etc. CGAL est distribué sous un schéma de double licensing: open source (LGPL/QPL) et licence commerciale via la start-up Inria Geometry Factory.

Contact : pierre.alliez@Inria.fr

Réseaux, systèmes et services, calcul distribué

HOP

HOP est un kit de développement logiciel pour le Web 2.0 développé par l'équipe de recherche INDES. Il permet la programmation d’applications Web interactives variées : multimédias (galerie photos, lecteur de musique, …), bureautique (agendas, client de courrier électronique, …), ou domotique, par exemple en utilisant de manière optimale les outils Web existants. Les applications ainsi créées peuvent ensuite être utilisées sur de nombreuses architectures (ordinateur, PDA, téléphone mobile) et de systèmes d’exploitation (Linux, MacOS, Maemo, Windows). Grâce à HOP, le Web est vu comme une machine virtuelle portable et universelle. HOP est distribué sous licence open source GPL.

Contact : manuel.serrano@Inria.fr

ProActive Parallel Suite

ProActive Parallel Suite est un intergiciel Java portable pour le calcul multi-core parallèle et distribué développé par l’équipe de recherche OASIS. Il permet la programmation et l’exécution d’applications parallèles sur Linux, Windows et MacOS ainsi que le management de ressources (stations, serveurs, clusters, grid ou encore cloud). Cette technologie a été brevetée par l’Inria et l’Université de Nice-Sophia Antipolis en 2004. Brevet et logiciel ont fait l’objet d’une concession de licence d’exploitation exclusive à la start-up ACTIVEEON en 2008. En parallèle, ProActive Parallel Suite est distribué sous licence open source GPL et des projets collaboratifs de recherche mettant en œuvre ce logiciel se poursuivent avec des partenaires académiques et industriels.

Contact : denis.caromel@Inria.fr

ns-3

ns-3 est un simulateur réseau développé par l’équipe de recherche PLANETE permettant de valider et d’optimiser les protocoles réseau tels que WiFi, WiMAX, TCP/IP, LTE, etc. NS3 simule des modèles réseau en temps réel (mode émulation) et peut échanger des paquets réels avec le protocole simulé. Les domaines d’application sont vastes : réseaux, télécommunications, militaire, transport, etc. ns-3 possède une communauté de 70 développeurs et est distribué sous licence open source GPL. En 2010, un consortium ns-3 a été créé à l’initiative de l’Inria, en partenariat avec l’Université de Washington avec laquelle un accord de consortium a été signé. Le but de ce consortium est de pérenniser ns-3 et de regrouper sa communauté de développeurs, d’en améliorer la visibilité dans l’industrie et de lui permettre de devenir un standard dans le domaine de la simulation de réseaux.

Contact : walid.dabbous@Inria.fr

Perception, cognition, interaction

CORESE

CORESE est un moteur de recherche web sémantique développé par l’équipe de recherche EDELWEISS qui implémente des langages standards (W3C) tels que RDF, RDFS et SPARQL. Le logiciel travaille via à une représentation en graphes conceptuels et se distingue notamment par sa rapidité grâce à une exécution d’opérations effectuées en mémoire vive. CORESE est totalement générique et permet ainsi des applications dans à peu près tous les domaines nécessitant une analyse sémantique (web, e-learning, biologie, géologie, ingénierie, télécommunications, etc.). Le logiciel est distribué sous la licence open source CeCILL-C.

Contact : olivier.corby@Inria.fr

SUP

SUP est une plateforme de vidéosurveillance intelligente développée par l’équipe de recherche PULSAR permettant une détection et un suivi des objets mobiles (personnes, véhicules), une analyse de leurs comportements dans l’espace 3D observé par la ou les caméras au cours du temps et la reconnaissance de scénarios prédéfinis. De récentes améliorations de SUP ont permis à l’équipe de recherche PULSAR d’aborder le domaine de la reconnaissance d’activités médicales, en particulier pour le maintien à domicile de personnes âgées.

Contact : francois.bremond@Inria.fr

STIC pour les sciences de la vie et de l'environnement

MedInria

MedInria est un ensemble de logiciels d’imagerie médicale et de visualisation, développés par l’équipe de recherche ASCLEPIOS. MedInria est doté d’une interface utilisateur conviviale et permet d’analyser un grand nombre de clichés d’imagerie de résonance magnétique (format standard DICOM) tels que l’IRM anatomique, l’IRM fonctionnelle ou encore l’IRM en tenseur de diffusion. MedInria est en téléchargement libre sur la forge Inria et dispose d’un site web de diffusion sur la page de l’équipe de recherche. MedInria se distingue de ses concurrents par son transfert de connaissances issues de la recherche et de la confrontation clinique.

Contact : olivier.clatz@Inria.fr

OPEN ALEA

OPEN ALEA est un ensemble de bibliothèques Python et d’outils développés par l’équipe de recherche VIRTUAL PLANTS destinés à la communauté scientifique de recherche sur les végétaux. Il concerne essentiellement la modélisation de l’architecture de la plante à différents niveaux et permet de représenter, analyser et modéliser la croissance végétale. OPEN ALEA est distribué sous licence open source (CeCILL/CeCILL-C) et il est le logiciel le plus téléchargé des logiciels accessibles depuis la forge Inria.

Contact : christophe.godin@Inria.fr

ODIN

ODIN est une plateforme développée par l’équipe de recherche COMORE dans le but de superviser et d’optimiser des bioréacteurs (contrôleurs, observateurs, diagnostic). Elle fait l’objet d’une action de développement technologique qui a pour but d’optimiser la plateforme pour pouvoir être utilisée dans un cadre industriel et loin de toute expertise informatique. Bien qu’exclusivement développé au sein de l’Inria, ODIN fait l’objet d’une forte collaboration avec le Laboratoire de Biotechnologies de l’Environnement de l’INRA-Narbonne et le Laboratoire d’Océanographie de Villefranche (CNRS-Paris6). De manière générale, ODIN intéresse les développements en biotechnologies mobilisant des bioréacteurs instrumentés laissant ainsi un champ d’applications très vaste. Il peut donc être utilisé au niveau recherche ainsi qu’au niveau industriel pour lequel il n’existe pas de produit comparable dès qu’il s’agit d’implémenter des algorithmes complexes.