• Share
  • Email
  • Embed
  • Like
  • Save
  • Private Content
Inria - Catalogue logiciels
 

Inria - Catalogue logiciels

on

  • 2,156 views

Extrait du catalogue des logiciels libres d'Inria

Extrait du catalogue des logiciels libres d'Inria

Statistics

Views

Total Views
2,156
Views on SlideShare
1,789
Embed Views
367

Actions

Likes
2
Downloads
26
Comments
0

3 Embeds 367

http://www.inria.fr 359
https://twitter.com 7
http://www.linkedin.com 1

Accessibility

Categories

Upload Details

Uploaded via as Adobe PDF

Usage Rights

© All Rights Reserved

Report content

Flagged as inappropriate Flag as inappropriate
Flag as inappropriate

Select your reason for flagging this presentation as inappropriate.

Cancel
  • Full Name Full Name Comment goes here.
    Are you sure you want to
    Your message goes here
    Processing…
Post Comment
Edit your comment

    Inria - Catalogue logiciels Inria - Catalogue logiciels Presentation Transcript

    • 00 MOIS 2011EMETTEUR - NOM DE LA PRESENTATION - 1
    • Inria, institut public de recherche créé en 1967, a pour missions de produire une recherche d’excellence dans les champs informatiques et mathématiques des sciences du numérique et de garantir l’impact de cette recherche. L’institut couvre l’ensemble du spectre des recherches au cœur de ces domaines d’activités, et intervient sur les questions, en lien avec le numérique, posées par les autres sciences et par les acteurs économiques et sociétaux. En tant que sponsor Diamond de cette 6e édition de l’Open World Forum, Inria réaffirme son soutien et son implication dans le logiciel libre considéré au sein de l’institut, à la fois comme un formidable vecteur de diffusion scientifique et comme un outil de création de valeur sociétale et/ou économique. Ce forum européen de l’open source est aussi l’occasion pour Inria de faire mieux connaître sa production logicielle. Ainsi, ce catalogue vous offre un extrait de ses logiciels « phares », s’inscrivant dans les thématiques de l’OWF 2013 telles que l’infrastructure et le Cloud, le Big Data et les plateformes Hadoop, le Web de demain et la Mobilité. Vous pouvez retrouver l’ensemble de ces fiches logiciels, et bien d’autres, dans la rubrique Patrimoine technologique d’iCOMMUNITY : https://www.icommunity.fr/patrimoine-technologique-inria Patrick Moreau - Responsable du patrimoine logiciels Tél. : +33 01 39 63 78 40 Mail : patrick.moreau@inria.fr
    • Alt-Ergo Alt-Ergo est un démonstrateur automatique de formules mathématiques utilisant la technologie SMT. Il est tout particulièrement conçu pour prouver les formules issues des logiciels de vérification de code, comme Frama-C pour C ou Spark pour Ada. Développé dans l'équipe de recherche Toccata, la distribution et le support en sont assurés par OCamlPro. Aspects innovants: - Langage d'entrée polymorphe - Interface graphique interactive - Qualification DO-178 B/C (avionique) Langage, standard, environnement: OCaml (Linux, Windows, MacOS) Mots clés: fiabilité de logiciels - méthodes formelles - preuve - vérification - test Licence: CECILL-C Principaux domaines d’applications: - Preuve de programmes - Test basé sur les méthodes formelles - Transport, énergie, santé http://alt-ergo.lri.fr Partenaires: Toccata & Contact: Sylvain.Conchon@inria.fr Principaux utilisateurs: - Airbus & Atos Origin (projet de l'A350) - AdaCore & Altran (preuve de code Ada) - CEA (preuve de programmes C)
    • ATL ATL (AtlanMod Transformation Language) est un outil dédié à la transformation de modèles, complet, intégré à Eclipse et incluant le langage ATL en lui-même, son environnement de développement & d’exécution, des exemples concrets ainsi que la documentation associée. Langage, standard, environnement : Eclipse, EMF, Java. http://www.eclipse.org/m2m/atl/ Aspects innovants : Support pour tous les types de modèles (e.g., UML2), syntaxes déclarative (QVT-like) et impérative. Mots clés : MDA, MDE, ATL, QVT, modèle, transformation. Licence: Eclipse Public License (EPL). Partenaires académiques : Principaux domaines d’applications : Préparation à la génération de code, rétro- ingénierie de systèmes existants, interopérabilité entre outils, etc. Plus généralement, tout processus impliquant le traitement de modèles. Contact : jordi.cabot@inria.fr
    • BlobSeer BlobSeer est un service de stockage de données distribuées à grande échelle pour la gestion avancée de données massives. Il a été validé sur des clouds Nimbus, OpenNebula et Microsoft Azure. Aspects innovants : BlobSeer utilise le versioning et des techniques de gestion décentralisée des données pour assurer un haut débit dans les conditions d’accès massivement concurrent aux données. Pour les applications MapReduce affiche un gain de performances jusqu’à 30% par rapport à Hadoop. Langage : C++, Python, Ruby Mots clés : stockage sur clouds, versioning, gestion distribuée des métadata-données, MapReduce Licence : LGPL Principaux domaines d’applications : Services de stockage avancés pour les applications gourmandes en masses de données. Partenaires académiques : Contact : Gabriel.Antoniu@inria.fr http://blobseer.gforge.inria.fr/
    • Bocop Toolbox for optimization of controlled dynamical systems. Features powerful solvers and user- friendly GUI. Fit for both academic and industrial use. Innovative aspects: highly flexible toolbox, with state-of-the-art algorithms, advanced and user-friendly GUI Language, environment: C++, Linux / Mac / Windows Keywords: control, optimization, toolbox License: EPL (core) Possible proprietary modules Main fields of application: transportation, energy, process optimization, and biology http://www.bocop.org Academic partners : Contact : pierre.martinon@inria.fr
    • CGAL The Computational Geometry Algorithms Library Bibliothèque de structures de données et algorithmes géométriques : 120 composants modulaires, fiables et génériques. Langage, standard, environnement : C++ (Windows, Linux, MacOS), STL, Qt. Mots clés: triangulations, enveloppes convexes, maillages, calcul géométrique. Licence : Open-source (LGPL et QPL) et propriétaire. Principaux domaines d’applications : géophysique, télécoms, CAD/CAM, SIG, CAO, VLSI, traitement d’images, effets spéciaux, biologie. http://www.cgal.org Excellente robustesse des algorithmes. Programmation générique C++/STL = flexibilité car pas de conversion des données d’entrée requise. CGAL couvre une large gamme de problématiques en géométrie computationnelle. Partenaires académiques : Contact : pierre.alliez@inria.fr
    • Coccinelle Coccinelle est un outil de recherche et de transformation de programmes C. Il est utilisé pour trouver des bugs et réaliser des évolutions dans le code du noyau Linux. Barrière technologique Spécifications faciles a écrire en termes de règles reposant sur du code C. Passage à l’échelle sur des millions de lignes Langage, standard, environnement Linux, Windows, Mac. Distribué avec Ubuntu, Debian, Fedora, etc. Mots clés: qualité du code, évolution, logiciel d’infrastructure Domaine d’applications possibles Développement de grands logiciels, Recherche de bugs, Évolution et rénovation du code, Métriques, Analyse de logiciels. Partenaires académiques @@ expression E; constant C; @@ – !E & C + !(E & C) Licence : GPLv2 http://coccinelle.lip6.fr Contact: Julia.Lawall@inria.fr
    • CMA-ES For solving numerical optimization problems for non-differentiable, non convex functions. Implements the Covariance Matrix Adaptation Evolution Strategy algorithm Innovative aspects: parameter free optimizer, solve a wide range of difficult numerical problems (non-convex, non-differentiable, multi-modal, …) Language, environment: C, C++, Fortran, Java, Matlab and Octave, Python, R, Scilab, Keywords: numerical optimization, stochastic optimization, black-box optimization License: GPL Main fields of application: Optimize highly- complex numerical problems, arising for example in parameter calibration in biology, physics. For engineering design (launcher, placement of petrol wells, ...) http://www.lri.fr/~hansen/cmaes_inmatlab.html Contact : Nikolaus.Hansen@inria.fr
    • Coccinelle Coccinelle est un outil de recherche et de transformation de programmes C. Il est utilisé pour trouver des bugs et réaliser des évolutions dans le code du noyau Linux. Aspects innovants : spécifications faciles a écrire en termes de règles reposant sur du code C. Passage à l’échelle sur des millions de lignes Langage, standard, environnement : Linux, Windows, Mac. Distribué avec Ubuntu, Debian, Fedora, etc. Mots clés : qualité du code, évolution, logiciel d’infrastructure Principaux domaine d’applications : développement de grands logiciels, Recherche de bugs, Évolution et rénovation du code, Métriques, Analyse de logiciels. Partenaires académiques : @@ expression E; constant C; @@ – !E & C + !(E & C) Licence : GPLv2 http://coccinelle.lip6.fr Contact : Julia.Lawall@inria.fr
    • COCO Choose your Optimizer! COmparing Continuous Optimizers is a platform for benchmarking numerical optimization algorithms in order to determine the best optimizer for a given class of problem. Innovative aspects: Tedious task of running experiments, postprocessing and visualization entirely automatized. Database of different benchmarked algorithms with the platform available. Language, environment: C, Java, Matlab and Octave, Python Keywords: benchmarking, numerical optimization, black-box optimization. License: BSD Main fields of application: Any field where one needs to solve numerical optimization problem in black-box scenario, such as biology, physics (for parameter calibration), engineering design (launcher, airplane, car, ...). http://coco.gforge.inria.fr/doku.php Academic partners: Contact : Nikolaus.Hansen@inria.fr
    • Coq Coq offre tout à fois un langage de programmation fonctionnelle à types dépendants et un formalisme logique qui, ensemble, permettent tout autant le développement de théories mathématiques que la spécification et la certification de propriétés de programmes. Coq fournit aussi un ensemble vaste et extensible de méthodes de preuve. Les programmes de Coq sont extractibles vers OCaml, Haskell, Scheme, ... Aspects innovants : Coq a reçu le prix ACM- SIGPLAN 2013 du meilleur langage de programmation pour son langage hybride programmation/logique original et pour ses outils de preuve et de spécification de haut niveau (langages de tactiques, systèmes de notations, ...) Principaux domaines d’application : Formalisation des mathématiques, certification de propriétés des programmes, enseignement de la logique et des langages de programmation à l'université Exemple d’applications clés : formalisation complète du théorème de l'ordre impair en théorie des groupes, certification d'un compilateur C Langage : multi-plateformes, écrit en OCaml, bibliothèques elles-mêmes écrites en Coq Mots clés : certification, formalisation, preuves Licence : LGPL Partenaires académiques : CNRS, ENS Lyon, U. Paris-Sud, U. Paris-Diderot Contact : coqdev@inria.fr http://coq.inria.fr
    • CORESE est un moteur de recherche web sémantique implémentant des langages de base tels que RDF, RDFS et SPARQL. Aspects innovants : CORESE travaille grâce à une représentation en graphes conceptuels. Les opérations sont effectuées en mémoire vive = rapidité. Mots clés : web sémantique, moteur de recherche, RDF, SPARQL Licence : CeCILL-C Principaux domaines d’applications : Totalement générique et indépendant du domaine: e-learning, biologie, géologie, ingénierie, etc Partenaires académiques : I3S, CSTB, INRA, IFP, IGN Langage, standard, environnement : Java disponible sous Linux, MacOS et Windows Contact : olivier.corby@inria.fr http://www-sop.inria.fr/edelweiss/software/coreseCORESE
    • Distem Distem est un émulateur pour systèmes distribués. Il permet de transformer un cluster homogène (composé de nœuds identiques) en une plate-forme expérimentale où les nœuds ont des performances différentes, et sont reliés par un réseau de topologie complexe. Cela en fait l'outil idéal pour évaluer des applications visant ce type d'environnements. http://distem.gforge.inria.fr Principaux domaines d’applications : test d'applications Cloud, P2P ou HPC Langage, standard, environnement : Ruby, Linux Mots-clés : expérimentation, large échelle, émulation, virtualisation Licence : GPLv3 Contact : lucas.nussbaum@loria.fr
    • Eztrace L'amélioration des performances des applications parallèles (simulation numérique par exemple) est une phase importante du développement. Pour cela il est nécessaire de détecter les différentes phases de l'application et d'en comprendre les performances. La génération automatique de traces d'exécution permet au développeur de détecter simplement et rapidement les différentes phases de l'application et d'en comprendre le comportement. Aspects innovants : - Ne nécessite pas de modification de l'application (à l’heure actuelle pour générer des traces d’exécution il faut recoder dans le code source) - Permet d'analyser les applications mélangeant plusieurs paradigmes (MPI+thread) - Surcoût de la génération de traces très faible Principaux domaine d’applications : calcul parallèle Langage, standard, environnement : C/C++/Fortran Mots clés : HPC Licence : GPL (distribution sous licence privative possible) http://eztrace.gforge.inria.fr/ Contact: francois.rue@inria.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. Frama-C propose un langage dédié pour l'écriture de spécifications, ACSL. Différents greffons au sein de Frama-C utilisent des techniques complémentaires pour vérifier la concordance entre le code et les spécifications écrites dans ce langage. Mots clés : Vérification de programme, preuve de programme, logiciel de confiance. http://frama-c.com/ Principaux domaines d’applications : Transports, énergies, santé, sécurité. Langage, standard, environnement : Langage Ocaml Partenaires : Licence : GNU LGPL v2 Contact : claude.marche@inria.fr
    • FraSCAti FraSCAti est une plate-forme middleware pour les architectures orientées services (SOA) conformes au standard OASIS/OpenSOA Service Component Architecture (SCA). Aspects innovants : FraSCAti est la première plate-forme réflexive pour SCA. Elle apporte un modèle unifié pour le développement de composants applicatifs et middleware SOA. Principaux domaines d’applications : applications réparties large échelle, back- office, applications Web, applications mobiles sur SmartPhones. Langage : Java, disponible pour Windows, Unix and MacOS X. Mots clefs : SCA, SOA, composant, middleware. Licence : LGPL. Projet du consortium OW2. http://frascati.ow2.org Partenaires académiques : Contact : philippe.merle@inria.fr
    • Gazelle Plateforme Web pour la gestion de test d’interopérabilité dans le domaine de la santé. Mettre une image représentative des fonctions du logiciel Langage, standard, environnement : Java, Jboss, Seamframework Mots clés : IHE, Dicom, HL7, Test Management, Interoperability Licence : Apache2 http://gazelle.ihe.net Partenaires Contact : eric.poiseau@inria.fr
    • Langage de programmation utilisant le web comme plate-forme d’exécution visant des applications multimédia interactives Langage, standard, environnement : - C (Linux, MacOS, Windows, Android) - Java virtual machine Mots clés : Web 2.0, domotique, multimédia, bureautique Licence : logiciel libre sous GPL Aspects innovants : HOP offre, dans une syntaxe unique, toutes les fonctionnalités nécessaires à la programmation d’applications multimédia depuis les protocoles de communication jusqu’à l’algorithmique classique en passant par la génération de pages HTML hop.inria.fr HOP Contact : jeremy.fidelak@inria.fr
    • HWLOC Portable Hardware Locality HWLOC découvre la topologie de vos ordinateurs et la représente de manière intelligible, hiérarchique et portable. Aspects innovants : L’utilisateur peut visualiser la topologie graphiquement et la manipuler dans ses programmes pour consulter différents paramètres de l’ordinateur. Langage, standard, environnement: C, Python, Perl. Mots clés: Simulation numérique, topologie, hiérarchie, multicoeur, NUMA, réseau, HPC Licence: new BSD licence, Open MPI consortium Principaux domaine d’applications : L’objectif principal d’HWLOC est d’aider les applications à obtenir des informations facilement compréhensibles sur l’architecture des machines modernes de calcul afin de les exploiter de manière plus adaptée et efficace. http://www.open-mpi.org/projects/hwloc/ Contact: brice.goglin@inria.fr
    • Jade Aspects innovants : Reconfiguration de systèmes distribués et coordination de boucles de contrôle Principaux domaines d’applications : Jade est utilisé pour implanter des logiciels capables de s'auto-réparer de s'auto- dimensionner pour ajuster le niveau de performance ou la consommation énergétique. Licence : Logiciel libre. http://proton.inrialpes.fr/~depalma/JADEWEB/jade.html Jade est un système distribué capable de s'auto-observer et de s'auto-reconfigurer. Mots clés : Système autonome. Langage et environnement : Java et logiciels patrimoniaux, Grappes de machines. Partenaires académiques : Contact : Noel.De_Palma@inria.fr
    • Kadeploy Kadeploy est un système de déploiement scalable, efficace et fiable pour les clusters de grande taille et les grilles. Il fournit un ensemble d'outils pour cloner, configurer et gérer des nœuds d'un cluster. Il peut déployer un cluster de 300 nœuds en quelques minutes, sans intervention de l'administrateur système. Linux, *BSD, Windows et Solaris sont supportés. Aspects innovants : Sur la plate-forme expérimentale Grid'5000, Kadeploy3 permet aux utilisateurs de reconfigurer leur environnement expérimental en installant leur propre pile logicielle sur les nœuds, pour la durée d'une expérience. Principaux domaines d’applications : datacentres, clusters HPC, Clouds privés http://kadeploy3.gforge.inria.fr Licence : CECILL V2.0 Langage, standard, environnement : Ruby, Linux Mots-clés : déploiement de clusters Contact : lucas.nussbaum@loria.fr
    • KERMETA Kermeta est un langage de métamodélisation permettant de décrire la structure ainsi que le comportement des métamodèles. Aspects innovants : Kermeta permet de définir et d’outiller de nouveaux langages en améliorant la manière de spécifier, simuler et tester la sémantique opérationnelle des métamodèles. Langage, standard, environnement : Java, Kermeta. Mots clés : MOF (Meta Object Facility) de l’OMG (Object Management Group) exécutable, Métamodélisation. Licence : logiciel Libre sous EPL. Principaux domaines d’applications : développement agile de logiciels. http://kermeta.org/ Partenaires académiques : Contact : didier.vojtisek@inria.fr
    • LimSee3 LimSee3 est un outil auteur pour la création de documents multimédias guidé par des templates. Particulièrement adapté au web. LimSee3 peut produire des documents au format SMIL, standard pour le web, mais aussi dans d'autres formats. Son modèle interne de haut niveau permet de s'abstraire des formats de publication pour s'adapter à l'auteur et au type de document à produire. Mots clés : Multimédia, Édition, Publication, Web. http://limsee3.gforge.inria.fr/ Développé avec le soutien du programme IST de la Commission Européenne. Licence : CeCILL Langage, standard, environnement : Langage Java, disponible pour Windows, Unix et Mac OS X. Contact : vincent.quint@inria.fr
    • MoDisco MoDisco est un outil/framework Eclipse générique et extensible fournissant aux développeurs un ensemble de composants de base réutilisables et dédiés à l ’ élaboration de solutions de rétro-ingénierie dirigée par les modèles. http://www.eclipse.org/MoDisco/ Contact : hugo.bruneliere@inria.fr Langage, standard, environnement : Eclipse, EMF, Java, OMG ADM. Aspects innovants : Support possible pour tous les types de systèmes existants (e.g., JEE), gestion de leur taille et de leur complexité. Mots clés : MDA, MDE, rétro-ingénierie, modernisation, découvreur, modèle. Licence: Eclipse Public License (EPL). Partenaire académique : Principaux domaines d’applications : Tout projet nécessitant la conception, le développement, la mise en place et l’utilisation de solutions de rétro-ingénierie de systèmes existants (e.g., pour la modernisation d’applications).Support for multiple legacy technologies •Documentation •Impact analysis •Models •Viewpoints •Upgrade •Migration •Metrics •Quality Assurance Eclipse Modeling Source code Databases Configuration files MoDisco Other sources Support for multiple scenarios/results Models of the system(s) Discoverers Generators Transformations
    • Moose accélère la production d'analyses logicielles en fournissant des modèles extensibles et des librairies réutilisables. Divers modèles sont proposés pour l'analyse statique ou dynamique des programmes, l'historique de développement, le code procédural ou aspect. Smalltalk (open-source Pharo) Windows, Linux, Mac. Mots clefs : Rétro-ingénierie, Méta- modélisation, Visualisation du logiciel. Licence : BSD http://www.moosetechnology.org Partenaires académiques : 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: stephane.ducasse@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). Aspects innovants : NS-3 permet de simuler des modèles réseau en temps réel (mode émulation) et d’échanger des paquets réels avec le protocole simulé. Mots clés: simulateur réseau, évènements discrets, émulation, protocoles internet Licence : GPL v2 avec communauté de développeurs Principaux domaines d’applications : Réseaux, Télécommunications, Militaire, Transport, etc. http://www.nsnam.org/ Partenaires académiques : Langage, standard, environnement : C++ disponible sous Linux, MacOS et Windows (via Cygwin ou une machine virtuelle) Contact : walid.dabbous@inria.fr
    • OAR Aspects innovants : Polyvalence, personnalisation, passage à l'échelle, maîtrise de la complexité, ordonnanceur adaptable pour optimiser la consommation Langage : Perl, Ruby, Ocaml, Bash, SQL. Disponible pour UNIX : Debian, Centos, RedHat. Licence : GPL Utilisé (entre autre) par Grid’5000, SensLAB, le mésocentre CIMENT, BRGM. Partenaires académiques : Principaux domaines d’applications : Exploitation des infrastructures pour le calcul à haute performance. Gestionnaire de ressources et de tâches pour les infrastructures de calcul. Mots clés : gestionnaire de ressources, clusters, grille légère, cloud, HPC. Contact : pierre.neyron@inria.fr http://oar.imag.fr
    • OCaml Aspects innovants : OCaml est l'un des trois langages fonctionnels les plus utilisés au monde, et le seul qui combine les styles de programmation fonctionnels, impératifs et par objets au sein d'un même système de types. Langage, standard, environnement : Programmé en OCaml et en C, OCaml est compatible avec les environnements Linux, BSD, MacOS X, et Microsoft Windows. Mots clés : programmation fonctionnelle, typage statique, calcul symbolique, compilation, analyse statique. Licence : logiciel libre distribué sous licences QPL et LGPL. Une licence spécifique de type BSD est offerte aux membres du Consortium Caml. Principaux domaines d’applications : Calcul symbolique : compilateurs, générateurs automatiques de code, analyseurs statiques, vérificateurs de programmes, démonstration automatique, assistants de preuve, etc. Programmation système, réseau et Web de haut niveau. OCaml est aussi utilisé dans l'industrie financière, notamment pour la modélisation et le pricing de produits financiers complexes. http://caml.inria.fr/ http://ocaml.org/ Contact : Xavier.Leroy@inria.fr Le langage OCaml est un langage de programmation fonctionnelle qui combine expressivité et sûreté de programmation au moyen d'un système de types précis et souple, avec inférence automatique des types. Le système OCaml est une implémentation très complète de ce langage, incluant deux compilateurs (un vers une machine virtuelle, pour le prototypage rapide et l'utilisation interactive, l'autre produisant du code machine très efficace pour x86, ARM, PowerPC et SPARC), un débogueur, un générateur de documentation, un gestionnaire de compilation, un gestionnaire de packages, et de nombreuses bibliothèques développées par la communauté des utilisateurs.
    • Ocsigen Framework de développement d'applications Web et mobiles Aspects innovants : Ocsigen permet de programmer l'ensemble d'une application Web client-serveur avec un seul et même langage, avec des concepts de haut- niveau conçus spécialement pour ce nouveau style de programmes. Il utilise la puissance du langage OCaml pour améliorer la fiabilité et la sécurité des applications et réduire considérablement le temps de débogage. Mots clés : Web 2.0, HTML5, Cloud, fiabilité, sécurité Licence : LGPL Principaux domaines d’application : Ocsigen s'adresse à tous ceux qui veulent développer des applications Web et mobiles : jeux, réseaux sociaux, forums, bureautique, webmails, organisation personnelle, etc. Ocsigen est utilisé par de plus en plus de startups Web (BeSport, Rambugo, Ashima Arts, Pumgrana, Xprime, NYU CGSB Genomics Core...) http://ocsigen.org Partenaires académiques : Contact : vincent.balat@inria.fr Exemple d’application Web de dessin collaboratif
    • OMiSCID Construction d'application peer-to-peer ou client/server. Facilite le design d'application avec une architecture orientée service. Middleware cross-platforme cross-langage pour les communications réseaux et la découverte dynamique de services. Aspects innovants : Construction d'applications réparties dans des environnements hétérogènes et dynamiques. Langage, standard, environnement : Java, C++, Python sous Windows, Linux, Mac OSX, Android. Mots clés : Architecture Orientée Service, Informatique Ubiquitaire, Middleware. Licence : MIT Principaux domaines d’applications : Applications ubiquitaires, calcul distribué, environnements intelligents. Partenaire académique : Contact : james.crowley@inria.fr http://omiscid.gforge.inria.fr/
    • OpenMASK OpenMASK (Modular Animation and Simulation Kit) 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. Aspects innovants : L’unité de modularité d’OpenMASK est l’objet de simulation. Il sert à modéliser aussi bien une entité, un comportement ou le contrôle d’un mouvement qu’un périphérique d’interaction. Language, standard, environment : C++, Windows et Linux. Mots clés : Réalité virtuelle, simulation, interfaces homme-machine. Licence : Logiciel libre sous licence QPL Principaux domaines d’applications : Industrie manufacturière, sport, éducation, formation. http://www.openmask.org/ Partenaires académiques : Contact : georges.dumont@irisa.fr
    • Open-MX Open-MX est l’implémentation d’une pile de protocoles qui cible les architectures de calcul haute performance (HPC) à réseau Ethernet et permet l’optimisation des communications MPI. Aspects innovants : L’utilisation des protocoles TCP/IP pour MPI limite les performances. L’apparition de nouvelles normes dédiées a fourni une alternative à ce problème mais ces normes nécessitent l’utilisation de matériels réseau spécifiques coûteux. Open-MX permet un gain en débit, multiplié par 2, et en latence, divisée par 5, par rapport à TCP/IP, l’utilisation du matériel réseau normal et est compatible avec les logiciels existants. Mots clés : calcul haute performance, calcul parallèle, communication MPI, multi- processeur. Licence : distribué sous licence libre LGPL. http://open-mx.org Langage, standard, environnement : C, Linux. Domaine d’applications : Simulation numérique. Contact : brice.goglin@inria.fr
    • OpenViBE OpenViBE est une plate-forme logicielle pour créer, tester et utiliser des interfaces cerveau ordinateur (commande des ordinateurs par l’activité cérébrale), et développer des applications de neurosciences temps-réel. Aspects innovants : OpenViBE permet le traitement des données cérébrales (EEG, MEG) en temps-réel: acquisition, filtrage, extraction de caractéristiques, classification, visualisation. OpenViBE propose une interface graphique simple pour les non-programmeurs. Principaux domaines d’applications : Handicap, Santé, Neurosciences, Robotique, Multimédia, jeux vidéo, etc. Mots clés : Interfaces cerveau-ordinateur, Neurofeedback, EEG, traitement du signal, réalité virtuelle, interactions 3D, programmation graphique. Langage et environnement : C++ disponible sous Windows et Linux. Licence : logiciel libre sous licence AGPL V3. Partenaires académiques : INSERM, CEA-List, GIPSA-Lab. Contact : anatole.lecuyer@inria.fr http://openvibe.inria.fr
    • ORCHIDS ORCHIDS est un outil de détection et de prévention d’intrusions. ORCHIDS détecte des attaques modernes complexes, par corrélation entre événements. http://www.lsv.ens-cachan.fr/Software/orchids/ Contact : serge.abiteboul@inria.fr Aspects innovants : ORCHIDS est efficace, extensible, temps réel, et se connecte sur de nombreux flux et formats d’événements, réseaux ou systèmes. Licence : Cecill 2. Partenaires académiques : Principaux domaines d’applications : Sécurité/Défense. Sécurisation des réseaux domestiques Intégration éditeurs de logiciel. Langage : C, Prolog. Mots clés : Corrélation Détection Intrusion Sécurité Systèmes.
    • 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. ParadisEO offre des implémentations de nombreuses métaheuristiques classiques de la littérature ainsi que des métaheuristiques novatrices. ParadisEO permet également la parallélisation des métaheuristiques. ParadisEO est utilisé pour la résolution de problèmes d’optimisation de grande taille issus de nombreux domaines, tels que : le transport, la logistique, les systèmes de télécommunication ou la bioinformatique. Langage, standard, environnement : Windows, Unix et MacOS X Langage C++, Cmake. Mots clés : métaheuristiques, parallélisation. Licence : libre sous licence CeCILL. Partenaires académiques : ParadisEO-PEO ParadisEO-EO ParadisEO-MO ParadisEO-MOEO EO : Métaheuristiques à population de solutions MO : Métaheuristiques à solution unique MOEO : Métaheuristiques pour l’optimisation multiobjectif PEO : Métaheuristiques hybrides, parallèles et distribuées Contact : El-Ghazali.Talbi@inria.fr http://paradiseo.gforge.inria.fr/
    • PaStiX PaStiX est un 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. Par exemple, le solveur PaStiX est capable de résoudre un problème industriel réel 3D à 80M d'inconnues. Langage : fortran, C Mots clés : Algèbre Linéaire, Calcul Hautes Performances, Factorisation, Matrices Creuses, Solveur de Systèmes Linéaires Licence : CECILL C Partenaires académiques : http://pastix.gforge.inria.fr/ Principaux domaines d’applications : Toutes applications nécessitant la résolution de systèmes de très grande taille (MHD, mécanique des fluides/structures, électromagnétisme…) Aspects innovants : PaStiX s’adapte aux différentes architectures: ses algorithmes lui permettent par exemple de s’affranchir du problème des hétérogénéités des grappes. Très évolutif, PaStiX est particulièrement bien adapté aux serveurs multicoeurs, il peut maintenant utiliser les processeurs des cartes graphiques (GPU). PaStiX réduit un point bloquant qui est le surcoût mémoire lié au parallélisme. Simulation du contrôle d’instabilité d’un plasma, application à ITER (ANR ASTER, code JOREK CEA Cadarache) Contact : pierre.ramet@inria.fr
    • Pharo Pharo est un langage et un environnement de programmation Smalltalk, dynamique, propre, innovant, gratuit et open-source avec lequel des applications professionnelles peuvent être développées. En fournissant un système stable et un noyau simple, des outils de développement excellents, et des mises à jour régulières, Pharo est une plateforme attrayante pour créer et déployer des applications critiques en Smalltalk. Fonctionnant sur Windows, Unix, MacOS X et iPhone. Mots cléfs : Programmation objet, système réflexif, Smalltalk. Licence : MIT http://www.pharo-project.org Partenaires académiques : Contact : Stephane.Ducasse@inria.fr
    • Polychrony Une boîte à outils pour le développement intégré d’applications embarquées construite autour du langage polychrone Signal. Mots clés : langage synchrone, multi-horloges, systèmes critiques, temps réel, GALS, vérification, preuve, architecture, optimisation, cosimulation, génération de code http://www.irisa.fr/espresso/Polychrony Aspects innovants : Polychrony fournit une structure formelle pour : • Raffiner des descriptions dans une approche top- down • Abstraire des propriétés de composants • Assembler des composants prédéterminés • Valider une application à différents niveaux Principaux domaines d’applications : Systèmes temps réel, commande de processus, traitement du signal, avionique, contrôle automobile. Licence : logiciel libre sous licences GPL-v.2 et EPL Langages, environnements : C, C++, Java. Linux, Solaris, MacOS, Windows. Intégré dans les plates-formes OpenEmbeDD, TopCased, Spacify. Partenaire académique : Contact : jean-pierre.talpin@inria.fr
    • Intergiciel Java portable pour le calcul multi-core parallèle et distribué. Il permet la programmation et l’exécution d’applications parallèles ainsi que le management de ressources (stations, serveurs, clusters, grilles ou cloud) Langage, standard, environnement : Java (Linux, MacOS, Windows) Mots clés : calcul distribué, grilles de calcul, cloudcomputing Licence : - Libre (AGPL) - Propriétaire via Principaux domaines d’applications : systèmes et services distribués Aspects innovants : Objets actifs distribués, migration transparente de processus, composants logiciels communicants à grande échelle proactive.inria.fr Contact : eric.madelaine@inria.fr ProActive
    • (PT-)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. Ces sous-problèmes peuvent éventuellement être résolus en parallèle. Aspects innovants : Scotch calcule des partitionnements sur machine séquentielle, et PT- Scotch sur machine parallèle. PT-Scotch peut manipuler de très grands graphes (2 milliards de sommets et au delà), sur plusieurs dizaines de milliers de processeurs. La qualité des solutions fournies par PT-Scotch ne dépend pas du nombre de processeurs sur lesquels il s'exécute. Langage : C Mots clés: calcul haute performance, algorithmique de graphes, décomposition de domaines, partitionnement de maillages, renumérotation de matrices creuses Licence: CECILL C Partenaires académiques : Principaux domaines d’applications : répartition de la charge de calcul d'un problème scientifique sur les processeurs d'une machine parallèle, placement de circuits VLSI, optimisation combinatoire, etc... http://www.labri.fr/~pelegrin/scotch/ Partitionnement arête en 8 parties. Chaque partie est attribuée à un processeur différent. Partitionnement sommet pour renuméroter les blocs d'une matrice creuse. Contact : francois.pellegrini@labri.fr
    • QuiXProc QuiXProc permet la lecture et le traitement de fichiers XML sans nécessiter le chargement de la totalité du fichier. Au lieu de manipuler un arbre XML, QuiXProc manipule les flux et utilise la suite d'événements ouverture/fermeture de balises. XProc est le langage définit par le W3C pour orchestrer les processus de données. QuiXProc est une implémentation performante de cette norme pour les flux XML. Langage : Java Mots clés: XML, Flux, XProc Licence : GPL ou propriétaire selon la version du logiciel. L'approche permet d’accélérer le traitement de documents XML volumineux et de réduire les ressources utilisées (mémoire, CPU...).. http://www.quixproc.com/ Partenaire : Contact : joachim.niehren@inria.fr
    • Innovative aspects: the added value of Scikit-Learn lies with the great quality and robustness of the functions available in its library. All functions are also extremely well documented. Language, environment : Scientific Python (Scipy) Keywords : Machine-Learning, Classification, regession , clustering License : BSD Main fields of application: Data mining, and more generaly any field requiring robust machine-learning solutions Academic partners : Telecom Paris, CEA Industrial Partners : Nuxeo, Saint Gobain, Logilab, Tinyclues Scikit-Learn http://scikit-learn.org Contact : bertrand.thirion@inria.fr Scikit-learn is a Python module integrating classic machine learning algorithms in the tightly-knit scientific Python world. It aims to provide simple and efficient solutions to learning problems, accessible to everybody and reusable in various contexts: machine- learning as a versatile tool for science and engineering.
    • SimGrid Simulateur d’environnements hétérogènes à large échelle, dédié à la conception et à l’expérimentation d’applications distribuées. SimGrid offre un cadre générique et donne accès à un environnement totalement contrôlé, assurant ainsi la complète reproductibilité des résultats. Disponible pour diverses plateformes et architectures matérielles (Linux, Windows, Mac OS X, Solaris, IRIX, …). Mots clefs : Grid Computing, Distributed Applications, Large-scale Emulators. Licence : GNU LGPL Principaux domaines d’applications : Tous domaines utilisant des ressources largement distribuées (P2P, clusters, grilles, clouds). http://simgrid.gforge.inria.fr/ Exemple de plate-forme distribuée moderne : la grille de calcul LCG fédère plus de 170 centres de calcul répartis dans 34 pays. Elle permet le stockage et l'analyse de toutes les données produites dans le cadre du Large Hadron Collider au CERN. Partenaires académiques : Contact : Martin.Quinson@inria.fr
    • Snooze Snooze : un système auto-organisant pour la gestion de l'énergie dans les clouds. Aspects innovants : - Réduction de la consommation d’énergie dans les clouds. - Placement, consolidation, migration de machines virtuelles. - Gestion décentralisée des ressources. - Tolérance aux fautes. - Auto–réparation en cas de défaillance. Langage, standard, environnement : Java Mots clés : Informatique en nuage, gestion de l’énergie, consolidation, tolérance aux fautes, auto-organisation, auto-réparation, virtualisation Licence : GPL v2 Principaux domaines d’applications : - Fournisseurs de clouds privés. - Banc d’essai pour l’évaluation d’algorithmes d’ordonnancement de VM dans un environnement réel. http://snooze.inria.fr/ Contact : christine.morin@inria.fr
    • SOFA est une plate-forme de recherche et développement dédiée aux simulations physiques interactives, et en particulier à la simulation médicale. SOFA regroupe de nombreux algorithmes issus de domaines de recherche variés. Des modèles de nature différente peuvent être combinés de façon à produire des simulations complexes qui restent compatibles avec des temps de calcul optimaux. Langage, standard, environnement : C++, Windows, Unix and Mac OS X Licence : Open Source avec certains modules propriétaires Principaux domaines d’applications : apprentissage et planification d’interventions médicales, bio-mécanique, jeux vidéos, .. www.sofa-framework.orgSOFA Partenaires académiques : Mots clés : simulation physique, biomécanique, surgétique, GPU Contact : stephane.cotin@inria.fr
    • Intergiciel Java portable pour le développement d’applications visant l’échange de données en pair-à-pair Langage, standard, environnement: Java (Linux, MacOS, Windows) Mots clés: partage, échange distribué, pair- à-pair Licence : logiciel libre sous LGPL Principaux domaines d’application: tout système fonctionnant en pair-à-pair Aspects innovants: SON permet de concevoir facilement tout type d'application bâtie sur une architecture orientée service décentralisée http://www-sop.inria.fr/teams/zenith/SON/index.phpSON Contact : jeremy.fidelak@inria.fr
    • Tom Tom est un 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. Aspects innovants : Tom ajoute des fonctionnalités de haut niveau à Java, permettant notamment la programmation par filtrage. Langage, standard, environnement : développé essentiellement en Tom et Java (entièrement bootstrappé). Indépendant de la plateforme d’utilisation. Licence : GNU GPL (noyau), BSD (librairies) Principaux domaines d’applications : compilation, transformation de modèles, sûreté et sécurité des logiciels. http://tom.loria.fr Mots clefs : pattern matching, strategies, rule- based programming, graph rewriting, compilers. Partenaires académiques: NationalBonsaiandPenjing Museum–DomainePublic PhotoAxwel-LicenceCreative CommonsAttribution2.0Generic Contact : Pierre-Etienne.Moreau@loria.fr
    • VEP Aspects innovants :VEP intègre une interface de gestion d'infrastructures IaaS privées et gère les applications en tenant compte des spécifications de QoS, des contraintes de placement et de localisation négociées via des SLAs Langage, standard, environnement : Java Mots clés : Cloud computing, IaaS, standards OVF et CIMI, SLA, sécurité Licence : open source (new BSD), exploitation possible Principaux domaines d’applications : services d'administration; allocation des resources & ordonnancement des machines virtuelles; cycle de vie des applications et des services dans les nuages informatiques privés http://vep.gforge.inria.fr Partenaires académiques : modules externes du CNR Contact : contrail-contact@inria.fr Un logiciel de gestion d'infrastructures de type IaaS • Interface REST et interface d'administration graphique • Logiciel extensible et réutilisable Déploiement automatique d'applications distribuées • Réservation en avance • Tolérance aux fautes • Prise en compte des SLA • Gestion de l'élasticité
    • Aspects innovants : solveur produisant des preuves pour les formules quantifiées ou non, avec symboles non-interprétés et de l'arithmétique linéaire sur les entiers et les réels, ainsi que leur combinaison Langage, environnement : C / Toutes plate- formes Mots clés : Déduction automatique, Vérification, Résolution de formules Licence : BSD Principaux domaines d’applications : Tous les domaines nécessitant la résolution de grandes formules logiques avec prédicats interprétés (par ex. de l'arithmétique) http://www.verit-solver.org/ Partenaires académiques : Contact : Pascal.Fontaine@inria.fr VeriT est un solveur SMT (Satisfaisabilité Modulo Théories) ouvert et efficace, avec des procédures de décision efficaces pour les symboles non-interprétés et l'arithmétique linéaire VeriT
    • ViSEvAl ViSEvAl, un outil pour la visualisation et l’évaluation d'algorithmes d’analyse vidéo. L'outil propose des métriques pour évaluer les principales étapes du traitement automatique de séquences vidéos : détection, classification, suivi et reconnaissance d’événements. Aspects innovants : ViSEvAl permet de visualiser les résultats d'algorithmes de traitement vidéo (détection, événements) ainsi que les données brutes (vidéos, accéléromètres,...) de manière pratique pour l'utilisateur (synchronisation temporelle et spatiale des différents capteurs, scène 3D virtuelle). Grâce à une implémentation interface/plugin les utilisateurs peuvent contribuer à cet outil en proposant de nouveaux critères d’évaluation. Langage, standard, environnement : ecrit en C++, le logiciel est compatible Linux Mots clés : évaluation, métrique Licence : ViSEvAl est sous licence AGPL http://www-sop.inria.fr/teams/pulsar/EvaluationTool/ViSEvAl_Description.html Contact : francois.bremond@inria.fr
    • ViSP Aspects innovants : ViSP permet le proto- typage rapide de tâches d’asservissements visuels. ViSP inclut entre autres des modules permettant de calculer les lois de commande à envoyer au robot, des algorithmes de traitement d’images et de vision par ordinateur pour réaliser le suivi d’objets, estimer une pose ou une homographie en temps-réel. ViSP inclut également des outils de visualisation et de simulation. Langage, standard, environnement : écrit en C++, le logiciel est compatible avec Linux, OSX et Windows. Mots clés : robotique, asservissement visuel, vision par ordinateur. Licence : logiciel libre sous licence GNU GPLv2. Une licence professionnelle est également disponible. Principaux domaines d’applications : robotique, vision par ordinateur, réalité augmentée, animation. http://www.irisa.fr/lagadic/ Contact : Francois.Chaumette@irisa.fr ViSP, une plate-forme logicielle pour l'asservissement visuel, est unique. Le logiciel permet le prototypage et le développement d'applications multi plates-formes exploitant les techniques de suivis visuels et d'asservissements visuels. .
    • WHY WHY est une boîte à outils pour la preuve de programmes. Elle permet de prouver, en utilisant des outils externes de démonstration automatique ou semi-automatique de théorèmes, qu'un code respecte des spécifications formelles du comportement attendu. Aspects innovants: la vraie valeur ajoutée de WHY réside dans son approche modulaire et sa capacité à disposer de plusieurs entrées (C, Java, …) et plusieurs prouveurs en sortie (automatiques, interactifs). Langage, standard, environnement: Langage OCaml Mots clés: méthodes formelles, développement de logiciels sûrs Licence: LGPL Principaux domaines d’applications : Transports, énergies, santé, finance. http://why3.lri.fr/ Partenaires académiques: Université Paris- Sud, CNRS, CEA Contact : claude.marche@inria.fr Partenaires industriels: AdaCore
    • Yarta Intergiciel pour la gestion des écosystèmes sociaux qui offre des interactions sociales riches dans les environnements mobiles Aspects innovants : Mécanisme avancé de contrôle d'accès social, système d'information décentralisé omniprésent, partage et réutilisation des données entre plusieurs applications, API riche pour les capteurs sociaux mobiles. Langage, standard, environnement: Java SE/Android Mots clés: rdf, web sémantique, les réseaux sociaux Licence: Dual, LGPL v2.1 Principaux domaines d’applications : Développement d'applications sociales, interactions sociales riches http://yarta.gforge.inria.fr/ Contact : george.rosca@inria.fr