Notre offre technologique - Inria · La technologie a été développée par Inria. L’entreprise ... d’un programme temps-réel Dans un système temps-réel strict, il est nécessaire

CENTRE DE RECHERCHERENNESBRETAGNE ATLANTIQUE

Notre offre technologique Centre de recherche Inria Rennes - Bretagne Atlantique

Catalogue 2015 - 2016

Le numérique a transformé le monde et continue de le transformer. Aucun secteur, aucune activité humaine n’échappe à cette réorganisation générale et rapide. Les technologies issues des sciences informatiques et mathé-

matiques jouent un rôle central dans cette révolution numérique. Après avoir permis de faire « mieux et plus vite », de nombreuses ruptures ont permis de faire « autrement » et nous sommes aujourd’hui face à un nouveau défi : grâce au numérique, on fait « autre chose ».

Cet « autre chose » est de plus en plus imprévisible, l’innovation pouvant provenir de toute part : du monde de la recherche, des entreprises bien sûr, mais également du citoyen et des réseaux multiformes que le numérique a fait émerger ! Si les média ont rendu l’accès possible, pour chacun, à son quart d’heure de célébrité, le numérique rend possible la création de valeur à l’échelle universelle. Chaque micro activité est une graine potentielle capable d’engendrer une entreprise mondiale. Les opportunités pour des nouveaux produits, services, modèles économiques sont chaque jour plus importantes.

Inria est l’un des acteurs de ce changement en profondeur, connu et reconnu pour son savoir-faire dans le domaine des sciences informatiques et mathéma-tiques. Inria promeut « l’excellence au service du transfert et de la société ». L’institut invente les technologies numériques qui nous permettent de mieux créer, communiquer, protéger nos données, nous soigner, nous déplacer, ou encore de préserver notre environnement.

Son modèle ouvert et agile lui permet d’explorer des voies originales ouvrant de véritables ponts entre le monde de la recherche publique et celui de l’entreprise mais également de la société dans son ensemble. Inria répond efficacement

aux enjeux pluridisciplinaires, à la combinaison des savoirs et savoir-faire, si importants dans la transition numérique. Inria est à l’origine de nombreuses innovations créatrices de valeur et d’emplois.

Environ 1000 logiciels sont en permanence en développement chez Inria. Ce catalogue est une sélection non exhaustive de logiciels, de technologies, de savoir-faire, issus des équipes du centre Inria Rennes – Bretagne Atlantique. Il couvre un large spectre du numérique : les systèmes embarqués, le génie logiciel (langages de programmation, outils d’écriture, de vérification et de maintenance de code), les réseaux et les objets connectés, la sécurité numérique, le calcul haute-performance, le cloud, les big data, le traitement et l’analyse d’images ou vidéo. Ces technologies trouvent leurs applications dans des domaines aussi variés que l’énergie, la santé, les loisirs, l’usine du futur, la robotique, les transports, l’habitat, etc.

Ce catalogue doit être vu comme un portail d’accès à nos compétences illustrées par des réalisations technologiques. Chaque page contient des oppor-tunités de collaboration, de transfert, de modification profonde de la société.

Le centre Inria Rennes – Bretagne Atlantique, avec ses partenaires, vous propose d’exploiter ensemble ces opportunités, de découvrir ces « autres choses » à faire ensemble.

Stéphane UBÉDADirecteur du centre Inria Rennes - Bretagne Atlantique

LES DIFFÉRENTES MODALITÉSDE COLLABORATION AVEC INRIA

PROJET COLLABORATIF MULTI-PARTENAIRES

Qui ? De 3 à 15 partenaires, privés (entreprises) et publics (laboratoires ou centres de recherche).Qui finance ? L’ANR, les pôles de compétitivités (FUI) ou l’Europe (H2020).Implication de l’entreprise : L’entreprise s’investit sur sa partie.Durée indicative : 2 à 4 ans

PROJET COLLABORATIF BI-LATÉRAL

Qui ? Une entreprise et une équipe de recherche Inria.Qui finance ? L’entreprise finance tout ou une partie du projet de R&D.Implication de l’entreprise : L’entreprise affecte du personnel aux travaux de recherche.Exemples : CIFRE - laboratoire commun - Inria Innovation Lab.Durée indicative : 2 à 3 ans

CONTRAT DE RECHERCHE

Qui ? Une entreprise et une équipe de recherche Inria.Qui finance ? L’entreprise finance tout ou une partie du projet de R&D.Implication de l’entreprise : L’entreprise fournit un cahier des charges de ses besoins (les travaux de recherche sont, pour leur part, réalisés par le centre de recherche).Durée indicative : 6 mois à 2 ans

CONTRAT DE TRANSFERT / LICENSING

Qui ? Une entreprise et une équipe de recherche Inria.Qui finance ? La technologie a été développée par Inria. L’entreprise conclut un accord de licence pour pouvoir exploiter cette technologie. Si une adaptation est nécessaire, un contrat de recherche peut être conclu.Implication de l’entreprise : L’entreprise intègre la technologie dans son produit.

EXPERTISE / CONSEIL

Qui ? Une entreprise et une équipe de recherche Inria.Qui finance ? L’entreprise finance l’étude. Implication de l’entreprise : L’entreprise définit ses besoins (l’étude est réalisée par le centre de recherche).Durée indicative : 1 à 6 mois.

1. Génie loGiciel, réseaux, objets connectés p.11

> Architecture & systèmes embarqués p.12ATMI / Barra / GeCOS / Heptane / Ibex / ID.Fix / Polychrony / Tiptop

> Génie logiciel p.16Collaboro / Familiar / Kermeta / Kevoree / MoDisco / Plasma-Lab / Sawja / DAXML

> Réseaux & objets connectés p.20PSQA / PEGASE / PowWow / RFID Tag coupling / SMartSense / THEGAME / TIPI / Zyggie

2. sécurité & vie privée p.27

BlareIDS / Blink / ELVIS / GEPETO / GNG / Plasma-Lab / Sawja / Taler

3. Hpc & simulation p.35

> HPC p.36Barra / Damaris / Tiptop

> Simulation p.38GRT3D / H2OLab / Tiphoon

SOMMAIRE

4. biG data & cloud p.41

> Big data analytics p.42Choco / FASST / FrameMiner / ManageYourself / Nero / Otis / PQ Codes / QTempIntMiner / Samusa / Shanoir

> Cloud p.47BlobSeer / CONPAAS / Snooze / VEP

5. multimedia, industries culturelles & créatives p.51

> Multimedia p.52Compression d’images 2D & 3D / FASST / Fixation Analysis /Image super-resolution / MOTION2D / MS-DETECT / ND-Safir V3.0 / Nero / Otis / PQ Codes /Samusa / Suivi visuel / Video Inpainting

> Industries culturelles & créatives p.59Directors Lens / #FIVE / FlyViz / Joint Projection Filling /Joyman / OpenVibe / Populate / Simulateur haptique / The Theater / Zyggie

6. énerGie & développement durable p.67

> Énergie p.68PowWow / SMartSense / Snooze

> Développement durable p.70EcoMata / GRT3D / H2OLab / Typhoon

7. santé & bien-être p.75

> Bio-informatique et biologie des systèmes p.76AUREME / Caspo / COMPAREADSv2 / GATB-TOOLS / LOGOL / PLAST / Protomata-Learner

> Neurosciences & médecine numériques p.79ATLAS / C-CRAFT / MS-DETECT / ND-SAFIR V3.0 / MedInria 2 / OpenVibe / QTempIntMiner / Robotique médicale /Shanoir / Zyggie

8. usine du futur & robotique p.87

Asservissement visuel / Choco / Ibex / #FIVE /Simulateur haptique / Suivi visuel

9. transports & villes intelliGentes p.93

> Transport & gestion des infrastructures p.94COSMAD / ISTL / PEGASE

> Urbanisme, maquette numérique p.95Populate / The Theater / Suivi visuel

> Bâtiments intelligents p.97Kevoree / La pièce à la demande / RFID Tag coupling /SMartSense / THEGAME

10. plateformes p.102

Neurinfo / Immersia / Plateforme robotique /Allgo / GenOuest / Grid’5000

Architectures et systèmes embarqués • Compilation / optimisation de code / architectures parallèles / compilateur

optimisant / calcul numérique garanti / temps-réel / pire temps d’exécution (WCET) / garantie de performance / analyse statique / CPU / GPU / GPGPU / microprocesseur / systèmes embarqués / SoC / FPGA / low power / HPC

• Systèmes embarqués temps réel / systèmes critiques / systèmes hybrides / langage synchrone / multi-horloges / AADL

Génie logiciel • Qualité logicielle / fiabilité / déploiement / legacy / maintenance /

rétro-ingénierie / ingénierie dirigée par les modèles / méta-modélisation / génération automatique de code / lignes de produits logiciels / model@run-time / langages dédiés (DSL) / composants dynamiques / middleware

Réseaux et objets connectés • Vérification et supervision de systèmes répartis de grande taille / supervision

de réseaux définis par le logiciel (diagnostic, contrôle, optimisation, vérifica-tion) / QoS / QoE / interopérabilité / 6LoWPAN / CoAP / IPv6

• Internet des objets / objets communicants / réseaux de capteurs / réseaux de capteurs sans fil / M2M / capteurs / RFID / NFC / intégrité / informatique diffuse et ubiquitaire / fusion de données

Les équipes - projets du centre de recherche Inria Rennes - Bretagne Atlantique • Architecture et systèmes embarqués : Alf, Cairn, Estasys, Hycomes, Tasc, Tea• Génie logiciel : Ascola, Atlanmodels, Celtique, Diverse, Estasys• Réseaux et objets connectés : Asap, Cairn, Dionysos, Sumo, Tacoma

11

1. G

énie

logi

ciel

, rés

eaux

et

obje

ts c

onne

ctés

12

ATMIPour modéliser la température dans les microprocesseurs

ATMI est une bibliothèque pour la modélisation de la température des microprocesseurs (régimes transitoires et permanents). ATMI utilise une représentation simplifiée du packaging du microprocesseur.ATMI est un outil rapide et simple d’utilisation pour les ingénieurs et les chercheurs intéressés par la conception de microprocesseurs.| Inria |

Conception / microprocesseurs / température / modèle analytique.

BarraPour modéliser finement le comportement interne

d’une architecture GPU

Barra est un simulateur d’architecture du processeur graphique (GPU) commercialisé par NVIDIA qui reproduit le comportement et le temps d’exécution des applications en langage CUDA au niveau de l’instruc-tion. Barra peut intéresser la communauté d’architectes de cartes graphiques, ainsi que les développeurs d’applications GPU pour l’analyse et l’optimisation de performance.| Université de Perpignan Via Domitia, ENS Lyon & Inria |

GPU / simulateur / GPGPU / HPC / performance / CUDA / Tesla ISA / debug / profiling / architecture.

arcHitecture & systèmes embarqués

1. G

énie logiciel, réseaux et objets connectés

13

GeCosOutil de transformation source-à-source pour l’optimisation de code pour plateformes embarquées

GeCoS offre une boite à outils de transformation de programmes permettant de faciliter la parallélisation d’applications pour des plate-formes embarquées multi-processeurs hétérogènes.En plus de cibler des processeurs programmables, GeCoS est capable de regénérer un code optimisé pour les outils de synthèse de haut niveau (High Level Synthesis).GeCoS est particulierement adapté aux domaines présentant des contraintes liées à l’énergie comme la vision par ordinateur, les télé-phones portables ou les réseaux de capteurs par exemple.| Université de Rennes 1, Colorado State University & Inria |

Efficacité énergétique / systèmes embarqués / optimisation de code / compilateur optimisant.

Heptane Calculer statiquement le pire temps d’exécution d’un programme temps-réel

Dans un système temps-réel strict, il est nécessaire de garantir les contraintes temporelles, notamment le pire temps d’exécution (WCET : Worst Case Execution Time). L’analyse temporelle se fait à deux niveaux : l’analyse de WCET de chacune des tâches en isolation en considérant l’architecture matérielle ; et l’analyse d’ordonnançabilité de l’ensemble des tâches composant le système. Heptane est un outil d’analyse statique de WCET qui répond au premier de ces deux problèmes. | Université de Rennes 1 & Inria |

Temps-réel / pire temps d’exécution / garantie de performance / WCET / IPET / static analysis.


1. G

énie

logi

ciel

, rés

eaux

et

obje

ts c

onne

ctés

14

IbexPour le calcul ensembliste (calcul numérique garanti

avec propagation rigoureuse d’incertitudes)

Ibex est une bibliothèque C++ de calcul par intervalles pour la résolu-tion fiable de problèmes numériques : optimisation globale, résolution d’équations et plus généralement la caractérisation d’ensembles définis par des contraintes.L’intérêt d’IBEX par rapport aux méthodes numériques classiques est la fiabilité, c’est à dire, une garantie de ne perdre aucune solution du problème. Par ailleurs, Ibex a l’avantage de pouvoir adresser des modèles variés et hétérogènes.C’est en robotique autonome qu’Ibex est aujourd’hui le plus utilisé, pour la localisation et la cartographie.| ENSTA Bretagne, ENPC ParisTech, École des Mines de Nantes & Inria |

Programmation par contraintes / analyse par intervalles / optimisation globale / IA / robotique / automatique / géométrie / CAO / sciences de l’ingénieur.

ID.FixPour l’optimisation de la précision des calculs

dans les systèmes embarqués

ID.Fix s’intéresse à la précision des calculs et permet de fournir une spécification optimisée utilisant l’arithmétique virgule fixe à partir d’un code source en C avec des types de données en virgule flottante. L’arithmétique virgule fixe est utilisée massivement dans les systèmes embarqués car elle permet d’être plus performante et de consommer beaucoup moins d’énergie. ID.Fix recourt à un modèle analytique du programme ce qui permet d’explorer plus de solutions et donc d’aboutir à du code beaucoup plus efficace. | Université de Rennes 1 & Inria |

Efficacité énergétique / systèmes embarqués / optimisation de code / conversion automatique de code virgule flottante vers virgule fixe.


1. G


15

PolychronyPour faciliter le développement intégré d’applications embarquées temps réel

Polychrony est une boîte à outils pour le développement intégré d’appli-cations embarquées, construite autour du langage polychrone Signal.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 et valider une application à différents niveaux.Polychrony s’applique aux systèmes temps réel, commande de proces-sus, traitement du signal, avionique, contrôle automobile.| CNRS & Inria |

Langage synchrone / multi-horloges / systèmes critiques / temps réel / GALS / vérification / preuve / architecture / optimisation / cosimulation / génération de code / import AADL / import Simulink Geneauto.

TiptopAfficher simplement les valeurs des compteurs matériels de performance des microprocesseurs

Les microprocesseurs actuels sont devenus extrêmement complexes. Afin de faciliter la compréhension de la multitude d’évènements qui s’y déroulent, les constructeurs y ont intégré de nombreux compteurs. Tiptop permet de collecter et d’afficher très simplement les valeurs de ces compteurs de performance. Tiptop peut intéresser tous les acteurs qui recherchent l’optimisation de la performance de leurs applications de calcul intensif.| Inria |

Performance / CPU / HPC / prédicteur de branchement.


1. G

énie

logi

ciel

, rés

eaux

et

obje

ts c

onne

ctés

16

CollaboroConception collaborative de langages dédiés (DSLs)

Collaboro permet la conception collaborative de langages dédiés (DSLs) ou de modèles du domaine (métamodèles) via la participation commune des développeurs et utilisateurs de ceux-ci. Il est conçu sous la forme d’un plugin Eclipse Open Source qui fournit plusieurs fonctionnalités (des vues moteurs de décision et de notation, etc.) facilitant les étapes d’analyse et la définition des DSLs et servant de base aux solutions développées.| Inria |

Community-driven / collaborative language development / DSL / Eclipse.

FamiliarPour customiser des produits à grande échelle

Familiar est un environnement pour customiser à grande échelle des produits.A partir d’une modélisation des options d’un produit, Familiar permet de synthétiser automatiquement jusqu’à plusieurs millions de variantes. Les variantes de produits peuvent être de tout type : du logiciel, des interfaces graphiques voire même de la séquence vidéo ou des produits manufacturés (impression 3D).Familiar est particulièrement adapté pour développer des configura-teurs Web (commande en ligne de produits customisés), des compa-rateurs Web, mais également pour développer toute ligne de produits embarquants ou issus du logiciel.| Université de Rennes 1 & Inria |

Customisation / ligne de produits logiciels / configurateurs.

Génie loGiciel

1. G


17

KermetaPour offrir de l’agilité dans la construction de logiciels complexes

Kermeta est un atelier d’ingénierie (du logiciel et systèmes) dirigée par les modèles, supportant l’intégralité du cycle de vie des langages de modélisation (Domain Specific Languages) : conception, implémen-tation, déploiement, utilisation, évolution et adaptation. Il offre un language workbench qui s’appuie sur EMF (Eclipse Modeling Framework) et propose les outils nécessaires à la construction et à l’utilisation de langages de modélisation, et à la définition d’outils de manipulation de modèles.| Université de Rennes 1 & Inria |

Ingénierie dirigée par les modèles / transformation de modèles / langage dédié (DSL) / langage de modélisation / méta-modélisation / Eclipse.

KevoreePour concevoir, déployer et administrer des applications distribuées s’exécutant sur des supports hétérogènes (cloud, navigateur web, microcontrôleurs, etc.)

Kevoree est une plateforme pour concevoir et administrer des appli-cations distribuées s’exécutant sur des supports hétérogènes (cloud, navigateur web, microcontrôleurs, etc.). Kevoree vise à supprimer la frontière entre la conception et l’exécution des applications. A partir d’une configuration du système Kevoree prend automatiquement en charge à l’aide d’un langage dédié la (re)configu-ration de l’application à l’exécution, le déploiement continu, la gestion des dépendances et l’instanciation du logiciel sur l’environnement cible. | Université de Rennes 1 & Inria |

Déploiement / architecture / composants dynamiques / hétérogénéité / M2M / cloud / domotique.

Génie loGiciel

1. G

énie

logi

ciel

, rés

eaux

et

obje

ts c

onne

ctés

18

Plasma-LabPour valider des spécifications complexes

pour des systèmes (dynamiques) de grande taille

Plasma-Lab est un outil de vérification formelle efficace et flexible pour les systèmes complexes (sécurité, sûreté, énergie), quantitatifs et dyna-miques. Il s’agit d’un outil flexible mettant les technologies de pointe de la vérification formelle à la disposition de tous.Plasma-lab est applicable à un large spectre de problèmes complexes venant de la robotique, l’aéronautique, la sécurité, et la préservation de la vie privée.| Inria |

Simulation / vérification de modèles statistiques / systèmes distribués / aéronautique / sécurité / énergie.

MoDiscoPour analyser, refactorer, comprendre le legacy

et moderniser les applications existantes

MoDisco est un outil Eclipse destiné aux concepteurs et développeurs de solutions de rétro-ingénierie.Il peut être utilisé dans tout processus de rétro-ingénierie de SI (par ex. modernisation et migration, rétro-documentation, qualité) mis en œuvre au sein de grands groupes (par ex. banques, assurances) ou d’entre-prises de taille plus modeste (PME, ETI).MoDisco supporte potentiellement tous les types de systèmes patrimo-niaux existants, mais fournit déjà des implémentations de standards de l’OMG (ADM Task Force), un support de base pour les technologies Java, JSP ou XML, etc.| École des Mines de Nantes, MiaSoftware (SodiFrance) & Inria |

Ingénierie des systèmes logiciels / Software mining / Rétro-ingénierie / Qualité logicielle.

Génie loGiciel

1. G


19

SawjaPour la sécurité des logiciels et la détection automatique de violation de propriétés

Sawja est une boîte à outils pour développer des analyses statiques pour du code Java au format byte-code. Sawja propose des algorithmes évolués pour reconstruire des représentations de programmes de haut niveau. L’outil SawjaCard dédié à JavaCard s’appuie sur l’infrastructure de Sawja et valide automatiquement les règles de sécurité édictées par l’AFSCM (http://www.afscm.org/).SawjaCard permet l’automatisation du processus d’audit de code et la vérification automatique de propriétés fonctionnelles.| Inria |

Sécurité / logiciel / audit de code / Java / sécurisation de code pour cartes à puce et mobile devices.

DAXMLModélisation formelle de web services et implémentation

Ce prototype est un interpréteur de documents Active XML distribué. Il permet de déployer au dessus du Web des services définis comme des documents actifs. | Inria |

Documents actifs / Web Services / documents structurés / XML.

Génie loGiciel

1. G

énie

logi

ciel

, rés

eaux

et

obje

ts c

onne

ctés

20

PEGASEPlateforme experte générique

pour applications sans-fil embarquées

PEGASE est une plateforme issue de l’instrumentation intelligente et sans fil. PEGASE permet de développer ou de prototyper des systèmes de mesures complexes, hétérogènes et sans-fil. PEGASE intègre un système d’exploitation uClinux et communique en IP selon la norme WiFi 802.11b/g.Un module GPS permet la localisation et la datation des données acquises à quelques μs.PEGASE dispose d’un connecteur d’extension sur lequel l’utilisateur peut plugger une carte «fille» simple dédiée à son application.PEGASE est distribuée par la société A3iP.| IFSTTAR, A3iP & Inria |

Réseau de capteurs sans fil / SHM (Structural Health Monitoring) / surveillance de structures / génie civil.

PSQAComment savoir, en temps réel, si la vidéo ou le son

qui arrive chez les usagers leur paraît de bonne ou mauvaise qualité, sans leur demander ?

Comment savoir, en temps réel, si la vidéo ou le son qui arrive chez les usagers leur paraît de bonne ou mauvaise qualité, sans leur demander ? PSQA (Pseudo-Subjective Quality Assessment) est un outil qui permet de mesurer automatiquement et en temps réel comment les utilisateurs perçoivent la qualité de diffusion à n’importe quel endroit du réseau, et ceci à grande échelle.PSQA peut intéresser en particulier les opérateurs de télécom ou les diffuseurs de contenu.| Inria |

QoE / QoS / réseau / modélisation.

réseaux & objets connectés

1. G


21

PowWowPlateforme pour les réseaux de capteurs sans fil

PowWow est une plateforme matérielle et logicielle open-source pour les réseaux de capteurs sans fil (WSN) des protocoles et des applications connexes. PowWow consomme moins d’énergie et nécessite moins de mémoire que Zigbee. En effet, c’est la seule plateforme intégrant à la fois un FPGA pour améliorer l’efficacité énergétique de façon significa-tive et offrant la possibilité de récupérer l’énergie dans son environne-ment.Par conséquent, la durée de vie du réseau est augmentée et le prix par noeud est considérablement réduit.| Université de Rennes 1 & Inria |

Réseaux de capteurs sans fil / Low Power / Preamble Sampling MAC Protocol / Hardware and Software Platform.

RFID Tag couplingPour améliorer la capacité de lecture des systèmes RFID

RFID (Radio Frequency IDentification) est une technologie qui permet l’identification, le suivi et la collecte de données à partir d’objets ordi-naires en attachant des tags RFID (sous forme d’étiquettes adhésives) à ces objets. Néanmoins, les systèmes RFID actuels ne sont pas totale-ment fiables, encore moins lorsqu’il s’agit de lire des tags en masse (par exemple tri des déchets ou caddie de supermarché).Ce logiciel particulier permet de faire face à la perte des données stockées dans les tags en proposant une approche qui établit un couplage logique des tags en insérant des liens entre ces tags, notam-ment entre leurs identifiants, de telle façon que la lecture d’un sous ensemble de tags permet de déterminer les tags manquants. Pour expérimenter et valider ces solutions, un banc de test RFID est disponible pour piloter finement un ensemble de lecteurs dans l’espace physique.| Université de Rennes 1 & Inria |

RFID / fiabilité / intégrité / couplage logiciel / applications pervasives.


1. G

énie

logi

ciel

, rés

eaux

et

obje

ts c

onne

ctés

22

THEGAMEMoteurs logiciels de fusion de données

pour un environnement Smart Home / Smart Building

THEGAME est un ensemble de moteurs logiciels de fusion de données permettant de détecter différents types de situations dans le bâtiment (présence dans une pièce, niveau d’activité, etc.) à partir d’un ensemble de données brutes fournies par des capteurs de tout type. Écrit en C ou Java, il peut être intégré dans un calculateur embarqué : tablette, smart-phone, box domotique, etc. et peut être connecté à différents réseaux de capteurs. Il permet de mettre en oeuvre des services sensibles au contexte : par exemple, prévenir l’utilisateur s’il oublie de fermer une fenêtre lorsqu’il quitte la maison, couper le chauffage dans des pièces qui sont inoccupées, etc.| Université de Rennes 1 & Inria |

Internet des objets / capteurs / réseaux de capteurs / fusion de données / services contextuels / smart home.

SmartSenseRéseau de capteurs non intrusif

pour estimation indirecte de la consommation

Pour mesurer la consommation d’énergie des équipements dans un bâtiment, les techniques NILM (Non-Intrusive Appliance Load Monito-ring) se basent sur l’observation de la variation globale de la tension électrique. Ceci évite le déploiement de wattmètres sur chaque appareil et réduit ainsi les coûts. SmartSense améliore encore ces techniques en y combinant des capteurs (de lumière, d’ondes électromagnétiques, de vibrations, de sons, etc.) pour proposer des informations complémen-taires sur l’activité des équipements et des personnes. Ces capteurs à bas coûts peuvent eux-mêmes être autonomes en énergie.| Inria |

NILM (Non-Intrusive Appliance Load Monitoring) / estimation de consomma-tion d’énergie dans les bâtiments / réseaux de capteurs sans fil / bâtiment intelligent.


1. G


23

TIPIOutil de test d’interopérabilité des protocoles internet

TIPI est une plateforme matérielle et logicielle open-source pour le test de conformité et d’interopérabilité des protocoles de l’internet. Un intérêt particulier est accordé aux protocoles de l’internet des objets (IoT) tels que IPv6, 6LoWPAN, CoAP, etc. Certains des outils de tests ont été utilisés pour le programme international de labellisation IPv6 Ready Logo et dans des événements d’interopérabilité organisés par l’ETSI/Plugtest Service.| Université de Rennes 1 & Inria |

Interopérabilité / test / Internet des objets (IoT) / 6LoWPAN / CoAP / IPv6.

ZyggiePour les réseaux de capteurs corporels sans fil à faible consommation d’énergie pour la reconnaissance de mouvements du corps humain

Zyggie est une plateforme matérielle associée à du logiciel pour les réseaux de capteurs corporels sans fil. Chaque noeud de capteur, atta-ché à différentes parties du corps humain, comporte quatre capteurs IMU (accéléromètre, gyromètre, boussole, baromètre), un processeur intégré et un module de radio de faible puissance pour communiquer les données à un «coordinateur» connecté à un ordinateur, une tablette ou un smartphone.L’une des principales innovations de ce système est de recueillir des données de capteurs ainsi que la puissance du signal radio reçu pour améliorer la précision de la localisation 3D des nœuds et ainsi éviter la dérive des capteurs IMU. L’outil permet de déterminer des postures ou des mouvements et trouve ainsi ses applications notamment dans le sport, la santé mais aussi le multimédia.| Université de Bretagne Sud, Université de Rennes 1 & Inria |

Réseaux de capteurs corporels sans fil (WBAN) / reconnaissance de mouve-ments du corps humain / faible consommation d’énergie / multimédia / réalité virtuelle / santé / jeux / sports / aide à a personne.


Sécurité et vie privée • Prévenir, visualiser et détecter les intrusions et fuites d’information /

sécurité des systèmes d’information (SSI) / supervision dans le cloud• Protéger les données personnelles• Détecter les contenus illicites• Améliorer la sécurité du code : preuve, vérification, certification,

formalisation, réseaux protocolaires sécurisés

Les équipes - projets du centre de recherche Inria Rennes - Bretagne Atlantique • Celtique, Cidre, Décentralisé, Diverse, Estasys, LinkMedia, Myriads

27

2. S

écur

ité

& v

ie p

rivée

28

Blare IDSPour détecter les intrusions et la fuite

d’informations sensibles

Blare est un système de détection d’intrusion par politique de sécurité et basé sur le suivi de flux d’information. Il est implémenté au niveau OS dans le noyau linux et au niveau applicatif dans une machine virtuelle Java instrumentée ce qui permet une plus grande précision de la détection. L’intérêt d’une approche par suivi de flux est qu’il n’est pas nécessaire d’avoir une connaissance préalable des attaques. Ainsi, si la politique de sécurité interdit l’envoi d’une information sensible sur le réseau, une alerte sera levée quel que soit le moyen qu’utiliserait un attaquant éventuel pour contourner les mécanismes préventifs mis en place pour assurer cette interdiction.| Supelec & Inria |

Protection des données / détection d’intrusion / sécurité / cyber / IDS / suivi de flux d’information / protection de fuites d’informations.

BlinkPour estomper l’empreinte digitale du navigateur

Nous sommes des milliards à surfer sur le web. Pourtant, étrangement, nous utilisons presque tous un navigateur différent car personnalisé par nos soins. Ces petites modifications équivalent à une empreinte digitale unique que de nouveaux logiciels espions commencent à récupérer subrepticement. Si les cookies s’avèrent faciles à repérer, à bloquer et à effacer, l’em-preinte de navigateur (browser fingerprinting) constitue une toute autre paire de manches. De quoi raviver les inquiétudes quant à la vie privée.Afin de brouiller les traces et ainsi préserver la vie privée, l’équipe Diverse d’Inria propose une solution innovante basée sur la diversité logicielle.| INSA Rennes & Inria |

Respect de la vie privée (privacy) / empreinte de navigateur (browser finger-printing) / diversité logicielle.

2. Sécurité &

vie privée

29

ELVISPour visualiser des informations de sécurité en quantités trop importantes pour être gérées manuellement

ELVIS est un outil de visualisation orienté sécurité qui permet aux analystes d’explorer visuellement les fichiers de logs grâce à des repré-sentations adaptées. L’outil accepte de nombreux types de fichiers de logs et est aisément extensible pour en accepter de nouveaux de manière opportuniste. Grâce à son mécanisme de typage des données, il est capable de choisir automatiquement des représentations pertinentes en fonction des données que l’analyste souhaite observer. | Supelec & Inria |

Cyberattaques / cybersécurité / visualisation de logs / SIEM.

GEPETOPour simuler des attaques par inférence sur des données de mobilité et anonymiser ces données

GEPETO (GEoPrivacy-enhance Toolkit) est un logiciel open source de traitement des données de localisation, développé en collabora-tion avec le LAAS. GEPETO peut être utilisé d’une part pour visualiser, assainir (anonymiser) et effectuer des attaques d’inférence ; d’autre part pour évaluer l’utilité d’un ensemble de données de mobilité particu-lier pour une application particulière.Une version distribuée de GEPETO, basée sur MapReduce et Hadoop, existe et permet d’analyser des ensembles de données composées de millions de traces de mobilité en quelques minutes.| Université de Rennes 1, LAAS-CNRS & Inria |

Respect de la vie privée (privacy) / mobilité / cyber attaques.

2. S

écur

ité

& v

ie p

rivée

30

GNGPour la supervision de la sécurité par corrélation d’alertes

GNG met en place un mécanisme de corrélation d’alertes fondé sur une base de signatures écrites dans le langage de description d’attaques ADeLe. Ce langage de description permet d’exprimer des règles de corrélation permettant d’identifier des attaques complexes.Cette technologie permet la description et la détection d’attaques multi-événementielles et adresse ainsi le marché des solutions de gestion des évènements et des informations de sécurité (SIEM). | Supelec & Inria |

Corrélation d’alertes / Détection d’intrusion / SIEM (solutions de gestion des événements et des informations de sécurité).

Plasma-LabPour valider des spécifications complexes

pour des systèmes (dynamiques) de grande taille.

Plasma-Lab est un outil de vérification formelle efficace et flexible pour les systèmes complexes (sécurité, sûreté, énergie, ...), quantitatifs et dynamiques. Il s’agit d’un outil flexible mettant les technologies de pointe de la vérification formelle à la disposition de tous.Plasma-lab est applicable à un large spectre de problèmes complexes venant de la robotique, l’aéronautique, la sécurité, et la préservation de la vie privée.| Inria |

Simulation / vérification de modèles statistiques / systèmes distribués / aéronautique / sécurité / énergie.

2. Sécurité &

vie privée

31

SawjaPour la sécurité des logiciels et la détection automatique de violation de propriétés

Sawja est une boîte à outils pour développer des analyses statiques pour du code Java au format byte-code. Sawja propose des algorithmes évolués pour reconstruire des représentations de programmes de haut niveau. L’outil SawjaCard dédié à JavaCard s’appuie sur l’infrastructure de Sawja et valide automatiquement les règles de sécurité édictées par l’AFSCM (http://www.afscm.org/).SawjaCard permet l’automatisation du processus d’audit de code et la vérification automatique de propriétés fonctionnelles.| Inria |

Sécurité / logiciel / audit de code / Java / sécurisation de code pour cartes à puce et mobile devices .

TalerPour des paiements en ligne éthiques et sécurisés

Taler est un système de paiement en ligne basé sur le principe de conversion de devise en monnaie électronique anonyme permettant d’effectuer des transactions online ou offline, sécurisées, préservant la vie privée, efficaces et socialement responsables.La solution proposée est basée sur des protocoles cryptographiques avancés et sur les paradigmes des réseaux modernes pour préserver la vie privée et faciliter l’interopérabilité.Taler a pour ambition de fournir aux marchands en ligne une solution plus performante (pas d’authentification de l’utilisateur nécessaire), moins risquée (pas de problème de fraude) et moins chère. Taler est un logiciel libre du GNU exécutant un protocole ouvert. | Inria |

Réseaux sécurisés / pair-à-pair / vie privée.

HPC • Cœurs dédiés / visualisation / grilles de calcul / architecture / performance

Simulation • Calcul scientifique / modélisation / simulation prédictive et comportementale

/ équations aux dérivées partielles algébriques / estimation de mouvements fluides

Les équipes - projets du centre de recherche Inria Rennes - Bretagne Atlantique • HPC : Alf, Kerdata• Simulation numérique : Fluminance, Ipso, Sage

35

3. H

PC &

sim

ulat

ion

36

BarraPour modéliser finement le comportement interne

d’une architecture GPU

Barra est un simulateur d’architecture du processeur graphique (GPU) commercialisé par NVIDIA qui reproduit le comportement et le temps d’exécution des applications en langage CUDA au niveau de l’instruc-tion. Barra peut intéresser la communauté d’architectes de cartes graphiques, ainsi que les développeurs d’applications GPU pour l’analyse et l’optimisation de performance. | Université de Perpignan Via Domitia, ENS Lyon & Inria |

GPU / simulateur / GPGPU / HPC / performance / CUDA / Tesla ISA / debug / profiling / architecture.

DamarisPour les applications HPC à très grande échelle

avec une forte charge sur le système de fichiers

De plus en plus de simulations HPC engendrent des masses de données qui induisent une charge forte sur les systèmes de fichiers, ce qui se traduit par des goulots d’étranglement, des temps d’accès aux données très longs et des performances très variables. Damaris est un middleware qui gère les entrées/sorties de ces applications s’exécu-tant sur des plateformes HPC multi-cœurs à très grande échelle (des centaines de miliers de coeurs). Il permet une amélioration nette des performances et de leur stabilité. Damaris a été validé avec succès sur plusieurs supercalculateurs avec des applications telles que : CM1, OLAM, Nek5000.| ENS Rennes & Inria |

HPC / Big Data / cœurs dédiés / E-S / visualisation.

Hpc

3. H

PC & sim

ulation

37

TiptopAfficher simplement les valeurs des compteurs matériels de performance des microprocesseurs

Les microprocesseurs actuels sont devenus extrêmement complexes. Afin de faciliter la compréhension de la multitude d’évènements qui s’y déroulent, les constructeurs y ont intégré de nombreux compteurs. Tiptop permet de collecter et d’afficher très simplement les valeurs de ces compteurs de performance. Tiptop peut intéresser tous les acteurs qui recherchent l’optimisation de la performance de leurs applications de calcul intensif.| Inria |

Performance / CPU / HPC / prédicteur de branchement.

GRT3DPour modéliser et simuler la dispersion de polluants chimiques dans des milieux géologiques

GRT3D permet de modéliser et simuler la dispersion de polluants chimiques dans des milieux géologiques pour faciliter la compréhension des phénomènes hydrauliques et chimiques dans des aquifères poreux. Les illustrations sont nombreuses : étude et prédiction de la réhabilita-tion chimique d’une nappe phréatique, analyse de la dépollution de sites miniers, analyse de sûreté d’un site de stockage géologique de déchets nucléaires, analyse d’un site de séquestration du CO2, utilisation de l’énergie géothermique, stockage d’énergie sous forme chimique. | ANDRA & Inria |

Calcul scientifique / modélisation / simulation / transport réactif / advection / dispersion / géochimie / équations aux dérivées partielles algébriques / système non linéaire.

Hpc

simulation

3. H

PC &

sim

ulat

ion

38

H20LABPour la modélisation et simulation numérique d’aquifères

La plateforme logicielle H2OLab est spécialisée dans la modélisation et la simulation numérique d’aquifères. Elle repose sur une intégration très complète de différents outils complémentaires (modèles physiques, algorithmes de modélisations et outils de calculs, etc). Un des avantages de la plateforme est son approche modulaire qui permet d’intégrer facilement de nouvelles applications.H2OLaB permet de prédire les quantités d’eau souterraine futures, disponibles pour gérer au mieux les captages d’eau. De plus, connais-sant le parcours de l’eau souterraine, il est possible de modéliser et simuler le transport de produits solubles et insolubles dans l’eau et d’anticiper les risques de pollution. La plateforme est aussi utilisée pour les ressources énergétiques dans les milieux fracturés (géothermie, gaz, etc.) et le stockage géologique de déchets, de CO2, etc. | Université de Lyon, Université de Rennes 1, CNRS, Université de Poitiers & Inria |

Hydrogéologie / eau souterraine / contamination / énergie / modélisation / simulation / génération de champs aléatoires / génération et maillage de réseaux de fractures aléatoires.

TiphoonPour estimer des mouvements de fluide

à partir de séquences d’images

Typhoon est un estimateur de mouvement de fluide à partir de séquences d’images. Il est quasi temps réel. Tiphoon est dédié à la mesure de séquences LIDAR, multi-échelles, rapide et précis pour faire une analyse fine d’échelle d’écoulements fluides avec des applications dans les domaines de l’énergie, du transport et de l’environnement.| CSU Chico Research Foundation & Inria |

Estimation de mouvements de fluide / LIDAR / Bases d’ondelettes / GPU / énergie / transport / environnement.

simulation

Big data analytics • Fouille de données / apprentissage automatique / machine learning / incre-

mental learning / intelligence artificielle / représentation des connaissances / data mining / pattern mining / pattern matching / détection de similitudes / séquences temporelles / classification / programmation par contraintes / analyse de contenu / segmentation thématique / reconnaissance automa-tique / moteur de recherche multimédia

Cloud • Stockage sur cloud / gestion-distribuée / méta-donnée / MapReduce• Informatique en nuage / virtualisation / déploiement d’applications / IaaS /

PaaS / cloud de proximité / gestion de l’énergie / consolidation / tolérance aux fautes / auto-organisation / auto-réparation / OVF / SLA / self-management pour des réseaux virtuels (software defined networks)

Les équipes - projets du centre de recherche Inria Rennes - Bretagne Atlantique • Big data analytics : Dream, LinkMedia, Panama, Visages, Tasc• Cloud : Ascola, Kerdata, Myriads, Sumo

41

4. B

ig d

ata

& c

loud

42

ChocoPour la programmation par contraintes

Choco est une librairie open-source Java pour la description et la résolution de problèmes combinatoires réels à l’aide de techniques de programmation par contraintes.Choco permet de traiter une large gamme de problèmes combinatoires réels ; elle est facile à manipuler et performante.Cette technique permet à des non-spécialistes d’aborder ces problèmes tant stratégiques qu’opérationnels, parmi lesquels on trouve des problèmes de planification, d’ordonnancement, de logistique, l’analyse financière ou encore la bio-informatique.| École des Mines de Nantes & Inria |

Planification / ordonnancement / optimisation / logistique / analyse financière ou bio-informatique / programmation par contraintes.

FASSTPour séparer un son cible de la réverbération,

d’autres sons non désirés ou du bruit

FAAST est une boîte à outils pour la conception rapide d’algorithmes de séparation de sources audio, adaptés à chaque cas d’usage. Il est le seul logiciel de séparation de sources audio publiquement dispo-nible (licence QPL) permettant d’exploiter conjointement les propriétés spatiales et spectrales des sources. | Inria |

Séparation de sources audio.

biG data analytics

4. B

ig data & cloud

43

FrameMinerOutil logiciel de détection de comportements

En partant d’une trace d’évènements fournie par exemple par des capteurs, ce logiciel détecte automatiquement un ensemble de compor-tements répétitifs qui sont inconnus au départ.FrameMiner est déjà utilisé dans un contexte industriel pour l’analyse de traces d’exécution d’applications multimédia afin de caractériser dans des traces d’évènements de très bas niveau des comportements signi-ficatifs : phase de lecture des données ou phase de décodage vidéo.| Université Joseph Fourier|

Fouille de données / analyse de traces / découverte de comportements.

ManageYourselfOutil logiciel d’apprentissage incrémental de règles pour la surveillance des systèmes

Deux logiciels sont embarqués sur des objets connectés (téléphones mobiles, capteurs...). L’un envoie à un serveur des exemples de bon et de mauvais fonctionnement. L’autre surveille l’objet à l’aide de règles (effectuer telle action dans telle situation). A partir des exemples envoyés vers le serveur par les objets, l’algorithme définit, par apprentis-sage incrémental, de nouvelles règles de surveillance qui seront ensuite embarquées sur ces objets.L’avantage de ManageYourself est qu’il s’adapte aux changements de contexte (modification de la carte mémoire, des versions de logiciels, etc.) et au masquage d’exemples.ManageYourself a été validé dans le cadre d’une application industrielle de surveillance de flottes de mobiles.| Université de Rennes 1, ENS Rennes & Inria |

Fouille de données / apprentissage / incremental learning / reporting et surveillance de systèmes.

biG data analytics

4. B

ig d

ata

& c

loud

44

NeroPour détecter des entités nommées

dans un texte ou une transcription

Nero est un web service offrant l’accès à un logiciel permettant de détecter dans un texte ou une transcription les entités nommées (noms propres, noms de lieux, dates). Le logiciel retourne un texte incluant des balises XML indiquant la position des entités détectées ainsi que leur type (personne, lieu, organisation, etc.). Le logiciel est spécifique au français.Nero offre une robustesse accrue aux erreurs pouvant apparaître dans des textes non standards (tweets, transcription automatique de l’oral).| INSA Rennes & Inria |

Reconnaissance / texte.

OTISPour segmenter un texte ou une transcription

en segments thématiquement homogènes

OTIS est un web service permettant de segmenter un texte ou une transcription en segments thématiquement homogènes. Il est dispo-nible en ligne gratuitement et à la demande pour la version complète.OTIS offre une meilleure précision que les approches classiques fondées sur la cohésion lexicale, notamment dans le cas de transcriptions auto-matiques. OTIS intéresse les acteurs de l’industrie multimédia et les fournisseurs de services et contenus utilisant des données textuelles ou parole transcrite.| CNRS, INSA Rennes & Inria |

Analyse de contenu / segmentation thématique / langage naturel / cohésion lexicale / multimédia.

biG data analytics

4. B

ig data & cloud

45

PQ CodesPour accélérer la fouille et la détection de similitudes dans les grandes bases d’images, vidéos ou sons.PQ Codes propose une nouvelle méthode pour estimer la similarité entre les descripteurs vectoriels, qui exploite des techniques de compression pour effectuer la recherche des vecteurs les plus similaires. Les descrip-tions d’images, de vidéos ou de sons, sont directement réalisées dans le domaine compressé. PQ Codes permet la fouille rapide et de détection de similitudes dans les grandes bases d’images, vidéos ou sons.| Inria |

Détection de similitudes / fouille rapide / moteurs de recherche.

biG data analytics

QTempIntMinerFouille de motifs temporels dans des séquences

À partir des traces de fonctionnement d’un système, ce logiciel de structuration et d’analyse des données séquentielles extrait des suites d’événements. Appelés motifs, ceux-ci permettent de mieux comprendre les comportements du système observé. L’avantage de cette approche est la prise en compte d’informations quantitatives temporelles, fondamentales dans de nombreux contextes. Les motifs extraits permettent de discriminer des comportements non seulement par la séquence des événements mais également les dates et durées de ces événements.Les motifs extraits servent à construire des modèles pour le diagnos-tic, la surveillance automatique ou la prédiction d’évolution : analyse de traces de fonctionnement de systèmes naturels ou artificiels (réseaux de capteurs, logs, etc.), analyse de parcours clients, analyse de compor-tements web, caractérisation de signaux biomédicaux, etc.| Agrocampus Ouest & Inria |

Fouille de données / trace de fonctionnement / motifs séquentiels / informa-tion temporelle / signaux biomédicaux / parcours client.

4. B

ig d

ata

& c

loud

46

SamusaPour segmenter un flux audio ou vidéo en classes sonores :

parole, musique, superposition des deux

Samusa est un logiciel permettant de détecter des segments audios et musicaux dans des contenus multimédia (audio, vidéo) permettant un usage dans un grand nombre de situations et pour des enregistrements de qualité variée.Les clients et utilisateurs ciblés sont les acteurs de l’industrie multimé-dia ainsi que tous les laboratoires industriels ou académiques intéressés par l’analyse de documents audio.| CNRS & Inria |

Multimédia / musique / segmentation / parole.

ShanoirPlateforme web pour le stockage et la gestion partagée

de grands volumes d’images médicales

Shanoir est une solution logicielle open source pour archiver, structu-rer, gérer, visualiser et partager des données de neuroimagerie, conçue pour s’adapter aux projets de recherche et études cliniques multicen-triques en médecine et en pharmacie. Cette organisation de données structurée par une ontologie (OntoNeuroLOG) facilite, entre autres, la réutilisation des données et des métadonnées, l’intégration de données traitées et assure une traçabilité à travers une approche évolutive.| Inserm, Université de Rennes 1, CNRS & Inria |

Neuroimagerie / base de données / partage de données / métadonnées / neuroinformatique / plateforme / application web.

biG data analytics

4. B

ig data & cloud

47

BlobSeerPour un stockage fluide de grandes masses de données

La taille des données n’en finit plus de croître. Elle menace l’effica-cité des services de cloud computing et des infrastructures de calcul haute performance à usage scientifique. BlobSeer est un système de stockage innovant conçu pour fluidifier les accès massivement paral-lèles aux données, grâce à des techniques de versioning et de gestion décentralisée des méta-données pour la manipulation concurrente des grands objets binaires qu’on appelle des Blobs. Cette approche a été validée sur des clouds Nimbus, Open Nebula, Microsoft Azure et IBM.| Université de Rennes 1, ENS Rennes & Inria |

Big Data / stockage sur cloud / gestion distribuée / meta-données / HPC / MapReduce.

cloud

CONPAASHébergement d’applications Web et d’applications scientifiques complexes dans le cloudConPaaS est un environnement d’exécution pour l’hébergement d’appli-cations dans le cloud. Il vise à offrir la pleine puissance du cloud pour les développeurs d’applications, tout en leur épargnant la complexité asso-ciée au cloud.| Vrije Universiteit Amsterdam, Zuse Institute Berlin, Xlab & Inria |

Cloud / platform-as-a-service (Paas).

4. B

ig d

ata

& c

loud

48

SnoozePour la gestion autonome en énergie

de machines virtuelles dans le IaaS

Snooze a été développé dans l’idée de fournir un système grande échelle, auto-configurable et tolérant aux fautes. Snooze intégre également des mécanismes de gestion de l’énergie (consolidation, mise en veille des nœuds). Il peut être utilisé comme un système d’expéri-mentation d’algorithmes de gestion de machines virtuelles (ordonnan-cement, consolidation ...). | Inria |

Informatique en nuage / gestion de l’énergie / consolidation / tolérance aux fautes / auto-organisation / auto-réparation / virtualisation.

VEPPour gérer l’infrastructure de type IaaS

en masquant leur complexité

VEP est un logiciel de gestion de clouds IaaS qui permet aux administra-teurs de gérer les ressources et les utilisateurs. VEP offre en outre aux utilisateurs finaux un moyen de déployer automatiquement une appli-cation distribuée (décrite selon le format standard OVF) sur un cloud avec prise en compte des termes du contrat négocié avec le fournisseur de cloud.| Modules externes (parseur OVF) du CNR (Italie) & Inria |

Cloud / IaaS / déploiement d’applications / OVF / SLA.

cloud

Multimédia, industries culturelles et créatives • Analyse de contenu / segmentation de flux audio ou vidéo / parole / texte /

segmentation thématique / TAL (traitement automatique des langues) / attention visuelle / cartes de saillance / sciences cognitives

• Compression image ou vidéo / restauration et édition de contenus audio, image ou vidéo / inpainting

• Réalité augmentée / réalité virtuelle / interaction / vidéo 3D / animation 3D / comportement d’entités 3D (par ex. humains virtuels) en interaction avec des environnements 3D / industrie du jeu vidéo / film d’animation 3D / pré-production et post-production cinéma / interfaces haptiques / capture de mouvements

Les équipes - projets du centre de recherche Inria Rennes - Bretagne Atlantique • LinkMedia, Panama, Serpico, Sirocco• Hybrid, Mimetic

51

5. M

ulti

méd

ia, i

ndus

trie

s cu

ltur

elle

s et

cré

ativ

es

52

Compression d’images 2D & 3DPour réduire le débit nécessaire pour stocker

ou transmettre des contenus

Techniques et savoir-faire autour des codecs video 2D et 3D : codec 2D basé sur des techniques de factorisation de texture et de recons-truction (inpainting) par épitome, codec vidéo multi-vues et profondeur, compression vidéo HDR (High Dynamic Range). | Inria |

Coding / compression.

FASSTPour séparer un son cible de la réverbération,

d’autres sons non désirés ou du bruit

FAAST est une boîte à outils pour la conception rapide d’algorithmes de séparation de sources audio adaptés à chaque cas d’usage. Il est le seul logiciel de séparation de sources audio publiquement disponible (licence QPL) permettant d’exploiter conjointement les propriétés spatiales et spectrales des sources.| Inria |

Séparation de sources audio.

multimedia

5. M

ultimédia, industries culturelles et créatives

53

Visual fixation analysisDéterminer les régions d’attention visuelle dans une image ou une vidéo

Ce logiciel calcule des cartes de saillance, mesure le degré de similarité entre cartes et effectue des analyses statistiques des données oculo-métriques (un ensemble de points de fixation). Plusieurs métriques de similarités ont été développées pour faciliter le travail d’évaluation des performances de modèles de saillance.Ce logiciel est simple à utiliser et répond à un problème rencontré par de nombreux scientifiques notamment en sciences cognitives. | Université de Rennes 1, Université Paris 8 & Inria |

Attention visuelle / cartes de saillance / sciences cognitives.

Image super-resolutionPour la restauration de contenus image ou vidéo

Forte expertise dans l’amélioration de la qualité d’une image ou d’une vidéo en ré-estimant des détails manquants et en augmentant sa définition.| Inria |

Image super-résolution / image / vidéo / qualité.

multimedia

5. M

ulti

méd

ia, i

ndus

trie

s cu

ltur

elle

s et

cré

ativ

es

54

Motion2DCalcul du mouvement global entre deux images

d’une séquence d’images numériques

L’algorithme Motion2D permet d’estimer le mouvement dominant dans une séquence d’images. L’approche repose sur des techniques d’estimation robuste, multi-résolution et incrémentale de modèles 2D paramétrés de mouvement, exploitant les gradients spatio-temporels de l’intensité d’une paire d’images. | Inria |

Estimation de mouvement / modèles paramétriques / compensation de mouvement. .

MS-detectPour détecter des objets mobiles

dans des séquences d’images

MS-detect permet de détecter des objets mobiles dans des séquences d’images par soustraction de fond ré-estimé à chaque instant. Cette méthode fournit la carte binaire des objets mobiles et l’image de reconstruction du fond statique.L’avantage de la méthode est une modélisation plus simple, ce qui permet d’ajuster plus facilement les paramètres. MS-detect peut ainsi fonctionner sur une grande variété de vidéos et trouve ses applications tant sur des images de vidéo-surveillance que de biologie.| Université de Buenos-Aires & Inria |

Vision par ordinateur / vidéo-surveillance / biologie / santé / champ aléatoire conditionnel à états mixtes / détection de mouvement / soustraction de fond.

multimedia

5. M


55

ND-SAFIR V3.0Pour réduire le bruit dans les images induit par n’importe quel système d’imagerie

L’algorithme ND-SAFIR est un logiciel de débruitage d’images n-dimen-sionnelles particulièrement dédié à l’analyse de séquences d’images de microscopie optique de fluorescence et la réduction du bruit Poisson-Gaussien. ND-SAFIR est dédié à la restauration (ou débruitage) d’images 2D, 3D et de séquences d’images 2D+T ou 3D+T. ND-SAFIR est dédié à la vidéo-microscopie de fluorescence mais a également été expérimenté avec succès sur des images médicales, des images d’astronomie et sur des images acquises par des appareils photos numériques grand public.| CNRS , Institut Curie & Inria |

Débruitage / analyse d’images / imagerie photonique / microscopie de fluores-cence.

NeroPour détecter des entités nommées dans un texte ou une transcription

Nero est un web service offrant l’accès à un logiciel permettant de dé-tecter dans un texte ou une transcription les entités nommées (noms propres, noms de lieux, dates). Le logiciel retourne un texte incluant des balises XML indiquant la position des entités détectées ainsi que leur type (personne, lieu, organisation, etc.). Le logiciel est spécifique au français.Nero offre une robustesse accrue aux erreurs pouvant apparaître dans des textes non standards (tweets, transcription automatique de l’oral).| INSA Rennes & Inria |

Reconnaissance / texte.

multimedia

5. M

ulti

méd

ia, i

ndus

trie

s cu

ltur

elle

s et

cré

ativ

es

56

OTISPour segmenter un texte ou une transcription

en segments thématiquement homogènes

OTIS est un web service permettant de segmenter un texte ou une transcription en segments thématiquement homogènes. Il est dispo-nible en ligne gatuitement et à la demande pour la version complète.OTIS offre une meilleure précision que les approches classiques fondées sur la cohésion lexicale, notamment dans le cas de transcriptions auto-matiques. OTIS intéresse les acteurs de l’industrie multimédia et les fournisseurs de services et contenus utilisant des données textuelles ou parole transcrite.| CNRS, INSA Rennes & Inria |

Analyse de contenu / segmentation thématique / langage naturel / cohésion lexicale / multimédia.

PQ CodesPour accélérer la fouille et la détection de similitudes

dans les grandes bases d’images, vidéos ou sons

PQ Codes propose une nouvelle méthode pour estimer la similarité entre les descripteurs vectoriels, qui exploite des techniques de compression pour effectuer la recherche des vecteurs les plus similaires. Les descrip-tions d’images, de vidéos ou de sons, sont directement réalisées dans le domaine compressé. PQ Codes permet la fouille rapide et de détection de similitudes dans les grandes bases d’images, vidéos ou sons.| Inria |

Détection de similitudes / fouille rapide / moteurs de recherche.

multimedia

5. M


57

SamusaPour segmenter un flux audio ou vidéo en classes sonores : parole, musique, superposition des deux

Samusa est un logiciel permettant de détecter des segments audios et musicaux dans des contenus multimédia (audio, vidéo) permettant un usage dans un grand nombre de situations et pour des enregistrements de qualité variée.Les clients et utilisateurs ciblés sont les acteurs de l’indutrie multimédia ainsi que tous les laboratoires industriels ou académiques intéressés par l’analyse de documents audio. | CNRS & Inria |

Multimédia / musique / segmentation / parole.

Suivi visuelÊtre capable de suivre des objets dans des images et déterminer leur localisation 3D

L’équipe-projet LAGADIC dispose d’un savoir faire important dans tout ce qui concerne le suivi visuel en temps réel. A partir d’un modèle 3D de l’objet d’intérêt, LAGADIC a développé des techniques permettant de suivre la position de l’objet dans l’image et d’estimer sa localisation 3D en termes de translation et d’orientation. Deux technologies sont aujourd’hui proposées : l’une diffusée dans le logiciel libre ViSP sous licence GPL permet de considérer des objets simples dont le modèle est de type fil de fer, l’autre diffusée dans le logiciel Sinatrack permet de considérer des objets 3D beaucoup plus complexes. Une autre gamme d’algorithmes concerne le suivi de zones texturées dans l’image. Les applications au suivi visuel concernent la réalité augmentée ou encore la robotique pour, par exemple, saisir un objet dont on dispose du modèle.| Université de Rennes 1 & Inria |

Suivi visuel / robotique / réalité augmentée.

multimedia

5. M

ulti

méd

ia, i

ndus

trie

s cu

ltur

elle

s et

cré

ativ

es

58

Video InpaintingPour l’édition de vidéo

Ce logiciel permet de remplir (d’inpainter) des régions manquantes dans une vidéo dans un contexte d’édition, par exemple, on retire un ou plusieurs objets de la scène et on remplit les zones manquantes par des éléments de l’arrière plan. La méthode est suffisamment performante pour fournir des résultats de bonne qualité en considérant uniquement les vingt dernières images ce qui réduit fortement la complexité par rapport aux méthodes de l’état de l’art qui travaillent sur la longueur totale de la vidéo. Ce logiciel est donc parfaitement adapté pour des applications d’édition de vidéo temps-réel.| Université de Rennes 1 & Inria |

Inpainting / édition / post-production.

multimedia

5. M


59

Directors LensUn outil de prévisualisation pour les cinéastes

Prototype exploitant les technologies de l’intelligence artificielle, Directors Lens est un logiciel qui aide les réalisateurs à pré-visualiser leur travail mais aussi à tester de multiples possibilités d’angles avant même le vrai tournage.L’outil permet d’explorer interactivement tous les points de vue signi-ficativement différents pour une scène 3D donnée : plongée, contre-plongée, champ, contre-champ. Directors Lens permet de créer rapide-ment un ou plusieurs montages pour une même animation. La prise de vue et le montage participant au même processus, constituent un saut qualitatif par rapport aux solutions commerciales existantes.| Université de Rennes 1, University of Udine (Italie), College of Charleston (USA) & Inria |

Prévisualisation / placement de caméra / montage cinématographique.

#FIVEPour faciliter la création d’environnements virtuels interactifs, collaboratifs et scénarisés

#FIVE est un ensemble de modules logiciels interconnectables pour les environnements virtuels permettant d’ajouter de l’interaction, de la collaboration et de la scénarisation. L’utilisateur peut ainsi se concentrer sur l’implémentation des aspects métier spécifiques à son application (usine du futur, médicale, etc.) en s’appuyant sur les modules #FIVE. Les modules de #FIVE peuvent être appliqués à différents domaines pour la création de toute application de réalité virtuelle interactive, scénarisée et/ou collaborative, par exemple en formation (industrie, médecine...). | INSA Rennes |

Interaction / collaboration / scénarisation / immersion / environnement virtuel / formation / usine du futur.

industries culturelles & créatives

5. M

ulti

méd

ia, i

ndus

trie

s cu

ltur

elle

s et

cré

ativ

es

60

FlyVizLe premier visiocasque qui permet une vue

à 360° en temps réel

FlyViz combine plusieurs technologies dans le domaine de la visualisa-tion et permet d’afficher en temps réel une image panoramique de tout l’environnement de l’utilisateur. FlyViz peut avoir de multiples applications dans le domaine de la sécurité civile et militaire mais également dans celui du divertissement ou des neurosciences.Breveté, le système s’appuie pour l’instant sur des éléments disponibles dans le commerce : une caméra numérique classique, un ordinateur portable et un visiocasque grand public.| ESIEA, Université de Rennes 1, INSA Rennes & Inria |

Visiocasque / Interaction / Visualisation / Réalité virtuelle.

Joint Projection FillingSynthèse de vues virtuelles

pour la navigation dans une scène 3D

A partir de vues multiples et de leurs cartes de profondeur, ce logiciel génère des vues virtuelles d’une scène par projection et inpainting pour des applications de navigation dans une scène 3D (exemple : 3DTV, Free Viewpoint TV).| Inria |

Virtual view synthesis / 3DTV / Free Viewpoint TV.


5. M


61

JoymanPour que le corps humain devienne joystick

Joyman est une nouvelle interface pour les déplacements immersifs en environnement virtuel. L’objet ressemble à un trampoline. Il suffit de se pencher pour avancer dans une scène virtuelle projetée à l’écran ou dans un casque.Cette interface basée sur l’équilibrioception permet d’améliorer la sensation d’immersion. De plus, le dispositif est beaucoup plus simple et moins coûteux que des dispositifs type cyberwalk (tapis roulant omnidirectionnel).JoyMan peut intéresser l’industrie du jeu mais peut également servir en santé par exemple pour la rééducation des personnes qui souffrent d’un sens de l’équilibre affecté.La technologie sous-jacente est brevetée.| INSA Rennes & Inria |

Interface / joystick / réalité virtuelle / cyberWalk / jeu vidéo / entertainment / smart cities (déplacement de foule).

OpenViBEPour les interfaces cerveau ordinateur

OpenViBE est un logiciel open source pour les interfaces cerveau- ordinateur et les neurosciences temps-réel. Le signal cérébral peut être acquis à partir de différents matériels (EEG, MEG), puis est traité (débruitage, extraction de données, classification) pour produire des informations ou des commandes à envoyer à une application ou à un système. Le logiciel se démarque par son interface utilisateur simple d’accès, sa grande modularité, sa compatibilité avec de nombreux maté-riels et OS. Distribué en AGPL, OpenViBE fédère une large communauté d’utilisateurs et de développeurs (ajouts de plugins de traitement, ou bien drivers pour de nouveaux matériels d’acquisition).| Inria |

Interface cerveau-ordinateur / interaction homme-machine / Neurosciences / Traitement du signal / Réalité virtuelle / Temps réel / Programmation graphique.


5. M

ulti

méd

ia, i

ndus

trie

s cu

ltur

elle

s et

cré

ativ

es

62

PopulatePour simuler de manière réaliste

le comportement d’humains virtuels

Ce logiciel a pour rôle d’ordonnancer les tâches qu’un humain virtuel doit réaliser au sein d’un environnement virtuel. A partir d’une description d’une activité sous la forme d’un ensemble de tâches à réaliser, éven-tuellement interdépendantes, contraintes spatialement et temporelle-ment, ainsi que d’une description informée d’un environnement virtuel, l’algorithme calcule un ordonnancement de tâches. Pour chaque tâche, un lieu de réalisation est choisi ; un intervalle horaire de réalisation est identifié. L’ordonnancement produit prend aussi en compte le lien avec l’environnement (temps de déplacement, positionnement relatif des lieux où réaliser les tâches).| Université de Rennes 1|

Modélisation du comportement / urbanisme / ordonnancement de tâches / emploi du temps / simulation comportementale.

Simulateur HaptiquePour les simulateurs de vol et de conduite

Habituellement, sur des simulateurs de vol, c’est le siège qui bouge. Ici, la chaise ou le fauteuil sont statiques : la façon de simuler les mouve-ments a été inversée. La solution est plus économique et amène des sensations qu’une plateforme de simulation ne peut apporter.| CNRS & Inria |

Simulateur de vol / simulateur de conduite / audiovisuel / divertissement / plateforme de simulation / cinéma.


5. M


63

The TheaterPour scénariser des environnements 3D complexes avec des agents virtuels

The Theater est une plateforme logicielle pour la simulation de scénarii interactifs complexes dans des environnements virtuels. La plateforme propose un language de modélisation pour orchestrer des comporte-ments d’agents virtuels par la définition d’un graphe d’activité hiérar-chique. La plateforme propose un outil de simulation pour l’éxecution de scénarii interactifs. De nombreux comportements primitifs ont été implémentés pour l’animation d’humains virtuels (animation faciale, synchronisation du mouvement des lèvres, planification de chemin, modèles cognitifs et émotionnels simples).| Université de Rennes 1 & Inria |

Agents virtuels / orchestration / fictions interactives / muséographie interactive.

ZyggiePour les réseaux de capteurs corporels sans fil à faible consommation d’énergie pour la reconnaissance de mouvements du corps humain

Zyggie est une plateforme matérielle associée à du logiciel pour les réseaux de capteurs corporels sans fil. Chaque noeud de capteur, atta-ché à différentes parties du corps humain, comporte quatre capteurs IMU (accéléromètre, gyromètre, boussole, baromètre), un processeur intégré et un module de radio de faible puissance pour communiquer les données à un «coordinateur» connecté à un ordinateur ou tablette ou smartphone. L’une des principales innovations de ce système est de recueillir des données de capteurs ainsi que de la puissance du signal radio reçu pour améliorer la précision de la localisation 3D des nœuds et ainsi éviter la dérive des capteurs IMU. L’outil permet de déterminer des postures ou des mouvements et trouve ainsi ses applications notamment dans le sport, la santé mais aussi le multimédia.| Université de Bretagne Sud, Université de Rennes 1 & Inria |

Interface cerveau-ordinateur / interaction homme-machine / Neurosciences / Traitement du signal / Réalité virtuelle / Temps réel / Programmation graphique.


Énergie • Smartgrids / Green-IT / efficacité énergétique / smart-metering / energy

harvesting / architectures low power

Développement durable • Éco-activités / environnement (eau, sol, air, déchets) / gestion des écosys-

tèmes / modélisation et simulation prédictive de scénarii / transport réactif / dispersion de polluant / gestion des ressources énergétiques / stockage géologique de déchets

Les équipes - projets du centre de recherche Inria Rennes - Bretagne Atlantique • Énergie : Ascola, I4S, Cairn, Myriads• Développement durable : Diverse, Fluminance, Sage

67

6. É

nerg

ie &

dév

elop

pem

ent

dura

ble

68

PowWowPlateforme pour les réseaux de capteurs sans fil

PowWow est une plateforme matérielle et logicielle open-source pour les réseaux de capteurs sans fil (WSN) des protocoles et des applications connexes. PowWow consomme moins d’énergie et nécessite moins de mémoire que Zigbee. En effet, c’est la seule plateforme intégrant à la fois un FPGA pour améliorer l’efficacité énergétique de façon significa-tive et offrant la possibilité de récupérer l’énergie dans son environne-ment.Par conséquent, la durée de vie du réseau est augmentée et le prix par noeud est considérablement réduit.| Université de Rennes 1 & Inria |

Réseaux de capteurs sans fil / Low Power / Preamble Sampling MAC Protocol / Hardware and Software Platform.


pour estimation indirecte de la consommation

Pour mesurer la consommation d’énergie des équipements dans un bâtiment, les techniques NILM (Non-Intrusive Appliance Load Monito-ring) se basent sur l’observation de la variation globale de la tension électrique. Ceci évite le déploiement de wattmètres sur chaque appareil et réduit ainsi les coûts. SmartSense améliore encore ces techniques en y combinant des capteurs (de lumière, d’ondes électromagnétiques, de vibrations, de sons, etc.) pour proposer des informations complémen-taires sur l’activité des équipements et des personnes. Ces capteurs à bas coûts peuvent eux-mêmes être autonomes en énergie. | Inria |

NILM (Non-Intrusive Appliance Load Monitoring) / estimation de consommation d’énergie dans les bâtiments / réseaux de capteurs sans fil / bâtiment intelligent.

énerGie

6. Énergie &

développement durable

69

SnoozePour la gestion autonome en énergie de machines virtuelles dans le IaaS

Snooze a été développé dans l’idée de fournir un système grande échelle, auto-configurable et tolérant aux fautes. Snooze intègre également des mécanismes de gestion de l’énergie (consolidation, mise en veille des nœuds). Il peut être utilisé comme un système d’expéri-mentation d’algorithmes de gestion de machines virtuelles (ordonnan-cement, consolidation, etc.). | Inria |

Informatique en nuage / gestion de l’énergie / consolidation / tolérance aux fautes / auto-organisation / auto-réparation / virtualisation.

EcoMataOutil d’aide à la décision pour améliorer la gestion des écosystèmes

EcoMata est un logiciel d’aide à la décision pour la gestion des écosys-tèmes. Il permet la modélisation et l’exploration des écosystèmes de type proie-prédateur soumis à des perturbations environnementales et à des pressions humaines. EcoMata représente de manière qualita-tive les différents éléments d’un écosystème à l’aide du formalisme des automates temporisés et permet de déterminer l’évolution du système en employant des techniques de model-checking. EcoMata permet aux utilisateurs de tester eux-même et de manière interactive différents scénarios d’exploitation d’un système biologique. | AgroCampus Ouest & Inria |

Modélisation qualitative / scénarios prédictifs / logiciel d’aide à la décision / modèle à événements discrets / langage de requête / automates temporisés / model-checking.

énerGie


6. É

nerg

ie &

dév

elop

pem

ent

dura

ble

70

GRT3DPour modéliser et simuler la dispersion de polluants

chimiques dans des milieux géologiques

GRT3D permet de modéliser et simuler la dispersion de polluants chimiques dans des milieux géologiques pour faciliter la compréhension des phénomènes hydrauliques et chimiques dans des aquifères poreux. Les illustrations sont nombreuses : étude et prédiction de la réhabilita-tion chimique d’une nappe phréatique, analyse de la dépollution de sites miniers, analyse de sûreté d’un site de stockage géologique de déchets nucléaires, analyse d’un site de séquestration du CO2, utilisation de l’énergie géothermique, stockage d’énergie sous forme chimique. | ANDRA & Inria |

Calcul scientifique / modélisation / simulation / transport réactif / advection, dispersion / géochimie / équations aux dérivées partielles algébriques / système non linéaire.


H20LabPour la modélisation et la simulation numérique d’aquifères

La plateforme logicielle H2OLab est spécialisée dans la modélisation et la simulation numérique d’aquifères. Elle repose sur une intégration très complète de différents outils complémentaires (modèles physiques, algorithmes de modélisations et outils de calculs, etc). Un des avantages de la plateforme est son approche modulaire qui permet d’intégrer facilement de nouvelles applications.H2OLaB permet de prédire les quantités d’eau souterraine futures disponibles pour gérer au mieux les captages d’eau. De plus, connais-sant le parcours de l’eau souterraine, il est possible de modéliser et simuler le transport de produits solubles et insolubles dans l’eau et d’anticiper les risques de pollution. La plateforme est aussi utilisée pour les ressources énergétiques dans les milieux fracturés (géothermie, gaz, etc.) et le stockage géologique de déchets, de CO2, etc. | Université de Lyon, Université de Rennes 1, CNRS, Université de Poitiers & Inria |

Hydrogéologie / eau souterraine / contamination / énergie / modélisation / simulation / génération de champs aléatoires / génération et maillage de réseaux de fractures aléatoires.

6. Énergie &


71

TyphoonPour estimer des mouvements de fluide à partir de séquences d’images

Typhoon est un estimateur de mouvements de fluide à partir de séquences d’images. Il est quasi-temps réel. Typhoon est dédié à la mesure de séquences LIDAR, multi-échelles, rapide et précis pour faire une analyse fine d’échelle d’écoulements fluides avec des applications dans les domaines de l’énergie, du transport et de l’environnement.| CSU Chico Research Foundation & Inria |

Estimation de mouvements fluide / LIDAR / Bases d’ondelettes / GPU / énergie / transport / environnement.


Biologie numérique • Bioinformatique / biotechnologies / biologie des systèmes / génomique /

méta-génomique / protéines / réseaux métaboliques / réseaux biologiques / apprentissage automatique / représentation des connaissances

• Analyse et traitement d’images biologiques / microscopie de fluorescence / imagerie photonique

Neurosciences et médecine numériques • Analyse et traitement d’images médicales / neuro-imagerie / imagerie

cardiaque / base de données / monitoring cardiaque / interopérabilité des systèmes médicaux / robotique médicale / interfaces cerveau-ordinateur

Sport et bien-être • Biomécanique / analyse clinique du mouvement / analyse et simulation du

mouvement humain

Les équipes - projets du centre de recherche Inria Rennes - Bretagne Atlantique • Dyliss, GenScale, Serpico• Dream, Hybrid, Lagadic, Serpico, Visages• Cairn, Mimetic

75

7. S

anté

& b

ien-

être

76

AUREMEReconstruction de réseau métabolique

Aureme est un pipeline de reconstruction de réseaux métaboliques dédié à des organismes non-classiques. Le cœur du pipeline est un outil de complétion de réseau (gap-filling) pour proposer des réactions nécessaires pour expliquer la production d’un ensemble de métabo-lites caractérisés expérimentalement. Les résultats des analyses sont ensuite filtrés à l’aide de différents critères sémantiques, fonctionnels et d’alignement des séquences.| Université de Rennes 1, CNRS, Génopole Ouest & Inria |

Biologie des systèmes / workflow / génomique / réseaux métaboliques / programmation logique.

CaspoPour mieux prédire la réponse d’une cellule biologique

Caspo est un logiciel pour l’apprentissage de réseaux de signalisation cellulaire.Etant donné un réseau biologique décrit par des relations de causa-lité, et des jeux de données phospho-protéomiques, Caspo recherche les plus petits modèles booléens logiques permettant d’expliquer les réponses expérimentales observées.Caspo permet ainsi d’inférer un réseau biologique et mieux comprendre comment se propage le signal biologique inter-celllulaire. Caspo trouve ses applications en cancérologie ou en design expérimental.| Génopole, Université de Rennes 1, EMBL, École Centrale Nantes, CNRS & Inria |

Biologie des systèmes / programmation par ensembles-réponses / réseau biologique / optimisation combinatoire / représentation des connaissances / raisonnement.

bio-informatique & bioloGie des systèmes

7. Santé &

bien-être

77

COMPAREADSv2Pour comparer des données de métagénomique

Compareads est un logiciel qui permet d’identifier les séquences géno-miques communes entre deux sources de données de métagénomique. Compareads est capable de comparer de très gros volumes de données (plusieurs centaines de millions de séquences).Compareads fonctionne sur des données non-assemblées.| Université de Rennes 1, CNRS, ENS Rennes & Inria |

Métagénomique.

GATB-ToolsPour l’analyse et l’assemblage de génomes

GATB-Tools est un ensemble d’outils pour l’analyse de génomes. C’est un jeu de logiciels performants pour customiser l’assemblage de génomes. Les logiciels sont rapides et à faible empreinte mémoire, envi-ron 20 à 50 fois moins que les logiciels existants. La technologie rapide de GATB-Tools exploite l’architecture multiprocesseurs des ordinateurs modernes et a été conçue pour développer facilement des nouveaux outils NGS.| Université de Rennes 1, ENS Rennes & Inria |

Assemblage de données NGS / recherche en génomique / métagénomique.


7. S

anté

& b

ien-

être

78

LogolLe couteau suisse du pattern matchning

en analyse ADN/ARN

Logol est à la fois un langage et une suite logicielle au service de la recherche d’un motif dans une séquence (nucléique ou protéique) biologique. Le langage Logol, basé sur un formalisme grammatical de haut niveau, permet de décrire des motifs complexes, et les outils associés permettent la recherche de ces motifs dans des séquences de grande taille. L’analyseur LogolMatch prend en entrée une séquence d’ADN, ARN ou protéique, ainsi qu’une grammaire (i.e. le motif). Il produit en résultat un fichier contenant les instances du motif, avec tous les détails (tels que position du match ou nombre d’erreurs). | Université de Rennes 1 & BioGenOuest |

Bioinformatique / séquence biologique / comparaison motifs & structures.

PLASTComparaison de séquences génomiques

Le logiciel PLAST repose sur un moteur de comparaison de séquences génomiques innovant qui exploite de manière optimale tous les niveaux de parallélisme des microprocesseurs récents. PLAST est jusqu’à 25 fois plus rapide que BLAST à sensibilité égale.| CNRS & Inria |

Comparaison de séquences / génomique / métagénomique.


7. Santé &

bien-être

79

Protomata-LearnerPour la caractérisation automatique de familles fonctionnelles de séquences protéiques

Protomata-Learner permet de modéliser sous la forme d’alignements locaux et partiels la signature spécifique d’une famille fonctionnelle de protéines à partir de leurs séquences. C’est le premier outil de caractérisation syntaxique de protéines iden-tifiant et modélisant l’enchaînement de blocs de conservations sur des sous-ensembles de séquences. | Université de Rennes 1, CNRS & Inria |

Bioinformatique / apprentissage automatique / protéines

ATLASPour détecter de facon performante et simple des spots dans des images de microscopie de fluorescence

La méthode ATLAS est une méthode très puissante et très simple d’emploi de détection de spots fluorescents dans des images de microscopie optique. Elle réclame seulement l’ajustement d’une proba-bilité de détection et produit par ailleurs des résultats meilleurs que les méthodes les plus récentes de la littérature. | CNRS, Institut Curie & Inria |

Détection / segmentation / analyse d’images / imagerie photonique / microsco-pie de fluorescence.


neurosciences & médecine numériques

7. S

anté

& b

ien-

être

80

C-CRAFTPour l’extraction de composants dans les images

en microscopie de fluorescence

C-CRAFT est un logiciel de séparation des composantes objet/fond d’images n-dimensionnelles particulièrement dédié à l’analyse de séquences d’images de microscopie optique de fluorescence. C-CRAFT est unique car il permet d’isoler de petits éléments fluores-cents 3D en déplacement sur un fond complexe dynamique de plus faible intensité en vidéo-microscopie 3D+temps. Contrairement à C-CRAFT, les logiciels existants ne sont pas conçus pour l’imagerie 3D+temps.| CNRS, Institut Curie & Inria |

Détection / segmentation / séparation objets-fond / analyse d’images / imagerie photonique / microscopie de fluorescence.

MS-detectPour détecter des objets mobiles

dans des séquences d’images

MS-detect permet de détecter des objets mobiles dans des séquences d’images par soustraction de fond ré-estimé à chaque instant. Cette méthode fournit la carte binaire des objets mobiles et l’image de reconstruction du fond statique.L’avantage de la méthode est une modélisation plus simple, ce qui permet d’ajuster plus facilement les paramètres. MS-detect peut ainsi fonctionner sur une grande variété de vidéos et trouve ses applications tant sur des images de vidéo-surveillance que de biologie. | Université de Buenos-Aires & Inria |

Vision par ordinateur / vidéo-surveillance / biologie / santé / champ aléatoire conditionnel à états mixtes / détection de mouvement / soustraction de fond.


7. Santé &

bien-être

81

ND-SAFIR V3.0Pour réduire le bruit dans les images induit par n’importe quel système d’imagerie

L’algorithme ND-SAFIR est un logiciel de débruitage d’images n-dimensionnelles particulièrement dédié à l’analyse de séquences d’images de microscopie optique de fluorescence et la réduction du bruit Poisson-Gaussien. ND-SAFIR est dédié à la restauration (ou débruitage) d’images 2D, 3D et de séquences d’images 2D+T ou 3D+T. ND-SAFIR est dédié à la vidéo-microscopie de fluorescence mais a également été expérimenté avec succès sur des images médicales, des images d’astro-nomie et sur des images acquises par des appareils photos numériques grand public.| CNRS, Institut Curie & Inria |

Débruitage / analyse d’images / imagerie photonique / microscopie de fluorescence.

MedInria 2Plateforme généraliste de traitement d’images médicales

MedInria est un logiciel open-source, gratuit et multi-plateformes de traitement et de visualisation d’images médicales. Par une interface utilisateur intuitive, MedInria offre des outils, à la fois standards et issus des dernières recherches d’Inria, afin de visualiser des images 2D/3D/4D, recaler des images, ainsi que travailler sur des images de diffusion (visualisation et tractographie). | Université de Rennes 1 & Inria |

Visualisation / traitement d’images médicales / imagerie cardiaque / imagerie de diffusion / segmentation d’images / filtrage d’images / recalage d’images.


7. S

anté

& b

ien-

être

82

OpenViBEPour les interfaces cerveau - ordinateur

OpenViBE est un logiciel open source pour les interfaces cerveau- ordinateur et les neurosciences temps-réel. Le signal cérébral peut être acquis à partir de différents matériels (EEG, MEG), puis est traité (débruitage, extraction de données, classification) pour produire des informations ou des commandes à envoyer à une application ou à un système. Le logiciel se démarque par son interface utilisateur simple d’accès, sa grande modularité, sa compatibilité avec de nombreux maté-riels et OS. Distribué en AGPL, OpenViBE fédère une large communauté d’utilisateurs et de développeurs (ajouts de plugins de traitement, ou bien drivers pour de nouveaux matériels d’acquisition). | INSERM, CEA-LIST, GIPSA-LAB & Inria |

Interface cerveau-ordinateur / interaction homme-machine / neurosciences / traitement du signal / réalité virtuelle / temps réel / programmation graphique.

QTempIntMinerFouille de motifs temporels dans des séquences

À partir des traces de fonctionnement d’un système, ce logiciel de structuration et d’analyse des données séquentielles extrait des suites d’événements. Appelés motifs, ceux-ci permettent de mieux comprendre les comportements du système observé. L’avantage de cette approche est la prise en compte d’informations quantitatives temporelles, fondamentales dans de nombreux contextes. Les motifs extraits permettent de discriminer des comportements non seulement par la séquences des événements mais également les dates et durées de ces événements.Les motifs extraits servent à construire des modèles pour le diagnos-tic, la surveillance automatique ou la prédiction d’évolution : analyse de traces de fonctionnement de systèmes naturels ou artificiels (réseaux de capteurs, logs, etc.), analyse de parcours clients, analyse de compor-tement web, caractérisation de signaux biomédicaux, etc.| AgroCampus Ouest & Inria |

Fouille de données / trace de fonctionnement / motifs séquentiels / informa-tion temporelle / signaux biomédicaux / parcours client.


7. Santé &

bien-être

83

Robotique médicalePour être capable d’apporter une assistance au geste chirurgical à l’aide d’un système robotique

L’équipe-projet LAGADIC développe des techniques d’asservissement visuel dédiées à la robotique médicale à partir d’images obtenues par une sonde échographique. Ces techniques peuvent être exploitées dans des applications de télé-échographie ou d’insertion d’aiguille robotisée afin d’assister le geste du spécialiste.| Inria |

Robotique médicale.

ShanoirPlateforme web pour le stockage et la gestion partagée de grands volumes d’images médicales

Shanoir est une solution logicielle open source pour archiver, structu-rer, gérer, visualiser et partager des données de neuroimagerie, conçue pour s’adapter aux projets de recherche et études cliniques multicen-triques en médecine et en pharmacie. Cette organisation de données structurée par une ontologie (OntoNeuroLOG) facilite, entre autres, la réutilisation des données et des métadonnées, l’intégration de données traitées et assure une traçabilité à travers une approche évolutive.| Inserm, Université de Rennes 1, CNRS & Inria |

Neuroimagerie / base de données / partage de données / métadonnées / neuroinformatique / plateforme / application web.


7. S

anté

& b

ien-

être

84

ZyggiePour les réseaux de capteurs corporels sans fil

à faible consommation d’énergie pour la reconnaissance de mouvements du corps humain

Zyggie est une plateforme matérielle associée à du logiciel pour les réseaux de capteurs corporels sans fil. Chaque noeud de capteur, attaché à différentes parties du corps humain, comporte quatre capteurs IMU (accéléromètre, gyromètre, boussole, baromètre), un processeur intégré et un module de radio de faible puissance pour communiquer les données à un «coordinateur» connecté à un ordinateur ou tablette ou smartphone.L’une des principales innovations de ce système est de recueillir des données de capteurs ainsi que de la puissance du signal radio reçu pour améliorer la précision de la localisation 3D des nœuds et ainsi éviter la dérive des capteurs IMU. L’outil permet de déterminer des postures ou des mouvements et trouve ainsi ses applications notamment dans le sport, la santé mais aussi le multimédia.| Université de Bretagne Sud, Université de Rennes 1 & Inria |

Réseaux de capteurs corporels sans fil (WBAN) / reconnaissance de mouve-ments du corps humain / faible consommation d’énergie / multimédia / réalité virtuelle / santé / jeux / sports / aide à a personne.


Usine du futur & robotique • Robotique / capture de mouvement• Training et simulateur / simulation de processus de production / formation

professionnelle (serious game) / formation par simulateur (conduite de véhicules, aéronautique, etc.) / réalité virtuelle et augmentée

• Planification / ordonnancement / optimisation / logistique

Les équipes - projets du centre de recherche Inria Rennes - Bretagne Atlantique • Aspi, Lagadic• Hybrid, Mimetic• Tasc

87

8. U

sine

du

futu

r & ro

boti

que

88

Asservissement visuelComment commander un système robotique

à partir de la vision ?

Les techniques d’asservissement visuel peuvent s’appliquer au do-maine de la robotique manufacturière, aux échelles macro et micro, pour positionner un robot par rapport à un objet, le suivre lorsqu’il est en mouvement, et éventuellement le saisir et le manipuler. L’asservisse-ment visuel trouve également de nombreuses applications dans le domaine de la robotique mobile, pour par exemple permettre à un fauteuil roulant électrique de suivre un couloir, franchir des portes ou tout simplement apporter de l’assistance à sa conduite (technologie brevetée). Les techniques d’asservissement visuel développées par le centre sont valorisées et diffusées dans le logiciel libre ViSP sous licence GPL. Le logiciel est disponible à l’adresse http://visp.inria.fr| Université de Rennes 1, CNRS & Inria |

Asservissement visuel / robotique.

ChocoPour la programmation par contraintes

Choco est une librairie open-source Java pour la description et la résolution de problèmes combinatoires réels à l’aide de techniques de programmation par contraintes.Choco permet de traiter une large gamme de problèmes combinatoires réels, est facile à manipuler et performant.Cette technique permet à des non-spécialistes d’aborder ces problèmes tant stratégiques qu’opérationnels, parmi lesquels on trouve des problèmes de planification, d’ordonnancement, de logistique, l’analyse financière ou encore la bio-informatique.| École des Mines de Nantes & Inria |

Planification / ordonnancement / optimisation / logistique / analyse financière ou bio-informatique / programmation par contraintes.

8. U

sine du futur & robotique

89

IbexPour le calcul ensembliste (calcul numérique garanti avec propagation rigoureuse d’incertitudes)

Ibex est une bibliothèque C++ de calcul par intervalles pour la résolu-tion fiable de problèmes numériques : optimisation globale, résolution d’équations et plus généralement la caractérisation d’ensembles définis par des contraintes.L’intérêt d’Ibex par rapport aux méthodes numériques classiques est la fiabilité, c’est à dire, une garantie de ne perdre aucune solution du problème. Par ailleurs, Ibex a l’avantage de pouvoir adresser des modèles variés et hétérogènes.C’est en robotique autonome qu’Ibex est aujourd’hui le plus utilisé, pour la localisation et la cartographie.| ENSTA Bretagne, ENPC ParisTech, École des Mines de Nantes & Inria |

Programmation par contraintes / analyse par intervalles / optimisation globale /IA / robotique / automatique / géométrie / CAO / sciences de l’ingénieur.

#FIVEPour faciliter la création d’environnements virtuels interactifs, collaboratifs et scénarisés#FIVE est un ensemble de modules logiciels interconnectables pour les environnements virtuels permettant d’ajouter de l’interaction, de la collaboration et de la scénarisation. L’utilisateur peut ainsi se concentrer sur l’implémentation des aspects métier spécifiques à son application (usine du futur, médicale, etc.) en s’appuyant sur les modules #FIVE. Les modules de #FIVE peuvent être appliqués à différents domaines pour la création de toute application de réalité virtuelle interactive, scénarisée et/ou collaborative, par exemple en formation (industrie, médecine...). | INSA Rennes|

Interaction / collaboration / scénarisation / immersion / environnement virtuel / formation / usine du futur.

8. U

sine

du

futu

r & ro

boti

que

90

Simulateur haptiquePour les simulateurs de vol et de conduite

Habituellement, sur des simulateurs de vol, c’est le siège qui bouge. Ici, la chaise ou le fauteuil sont statiques : la façon de simuler les mouve-ments a été inversée. La solution est plus économique et amène des sensations qu’une plateforme de simulation ne peut apporter.| CNRS & Inria |

Simulateur de vol / simulateur de conduite / audiovisuel / divertissement / plateforme de simulation / cinéma.

Suivi visuelÊtre capable de suivre des objets dans des images

et déterminer leur localisation 3D

L’équipe-projet LAGADIC dispose d’un savoir faire important dans tout ce qui concerne le suivi visuel en temps réel. A partir d’un modèle 3D de l’objet d’intérêt, LAGADIC a développé des techniques permettant de suivre la position de l’objet dans l’image et d’estimer sa localisation 3D en termes de translation et d’orientation. Deux technologies sont aujourd’hui proposées : l’une diffusée dans le logiciel libre ViSP sous licence GPL permet de considérer des objets simples dont le modèle est de type fil de fer., l’autre diffusée dans le logiciel Sinatrack permet de considérer des objets 3D beaucoup plus complexes. Une autre gamme d’algorithmes concerne le suivi de zones texturées dans l’image. Les applications au suivi visuel concernent la réalité augmentée ou encore la robotique pour, par exemple, saisir un objet dont on dispose du modèle.| Université de Rennes 1 & Inria |


Transport et gestion des infrastructures, des ouvrages et des bâtis • Surveillance de structure / diagnostic et détection de défaut / génie civil /

aéronautique / régulation optimale des systèmes de trains urbains (métros, RER, tramways) / analyse de leur robustesse aux perturbations et défaillances

Urbanisme et maquette numérique • Réalité virtuelle et augmentée / localisation et suivi 3D / peuplement virtuel

Bâtiments intelligents • Smart-home / domotique / services contextuels / fusion et analyse de

données hétérogènes / réseaux de capteurs / M2M / RFID

Les équipes - projets du centre de recherche Inria Rennes - Bretagne Atlantique • Transport et gestion des infrastructures, des ouvrages et des bâtis :

I4S, Sumo • Urbanisme et maquette numérique : Hybrid, Lagadic, Mimetic• Bâtiments intelligents : Cairn, Diverse, Dream, Tacoma

93

9. T

rans

port

s &

vill

es in

telli

gent

es

94

COSMADPour la détection de défauts et la localisation

d’endommagement de structures civiles et aéronautiques

COSMAD est une boite à outil SCILAB avec une interface graphique permettant l’identification et le suivi des caractéristiques modales d’une structure avec pour objectif la détection de défauts et la localisation d’endommagement des structures civiles et aéronautiques.COSMAD s’appuie sur le principe de surveillance de propriétés vibratoires par analyse dynamique de structure. Les techniques sous-jacentes sont des méthodes de traitement du signal par sous-espaces avec couplage statistique et automatique pour fournir des alarmes et la détection de défauts dans un package automatisé et simple. COSMAD est distribué par la société SVS depuis 2008 dans un produit commercial.| Inria |

SHM (Structural Health Monitoring) / surveillance d’intégrité de structures / propriétes vibratoires / génie civil / aéronautique.

transport & Gestion des infrastructures

ISTLPour le diagnostic de défauts dans les câbles électriques

et pour la surveillance des structures de génie civil

Basée sur la théorie mathématique de diffusion inverse, une méthode de réflectométrie avancée est développée pour le diagnostic des défauts dans des câbles électriques. En calculant l’impédance caracté-ristique distribuée tout le long d’un câble à partir de la mesure de réflec-tométrie faite à une extrémité du câble, on fournit un outil efficace pour la détection, la localisation et la caractérisation de défauts non francs. Cette méthode peut également être appliquée à la surveillance de certains ouvrages de génie civil. La technologie liée a été mis en œuvre dans un logiciel, ISTL, mâture et déjà déployé.| Inria |

Réflectométrie / détection de défaut / surveillance de structures / génie civil.

9. Transports &

villes intelligentes

95

PEGASEPlateforme experte générique pour applications sans-fil embarquées

PEGASE est une plateforme issue de l’instrumentation intelligente et sans fil. PEGASE permet de développer ou de prototyper des systèmes de mesures complexes, hétérogènes et sans-fil. PEGASE intègre un système d’exploitation uClinux et communique en IP selon la norme WiFi 802.11b/g.Un module GPS permet la localisation et la datation des données acquises à quelques μs.PEGASE dispose d’un connecteur d’extension sur lequel l’utilisateur peut plugger une carte «fille» simple dédiée à son application.PEGASE est distribuée par la société A3iP.| IFSTTAR, A3iP & Inria |

Réseau de capteurs sans fil / SHM (Structural Health Monitoring) / surveillance de structures / génie civil.

transport & Gestion des infrastructures

PopulatePour simuler de manière réaliste le comportement d’humains virtuels

Ce logiciel a pour objectif de permettre de peupler des environne-ments virtuel de manière réaliste par des humains virtuels exhibant des comportements (navigation, ordonnancement de tâches, choix de lieux et d’horaires) similaires à ceux d’un humain réel. A partir d’une description d’une activité sous la forme d’un ensemble de tâches à réaliser ainsi que d’une description informée d’un environ-nement virtuel, l’algorithme calcule un ordonnancement de tâches. Cet ordonnancement prend aussi en compte le lien avec l’environnement (temps de déplacement, positionnement relatif des lieux où réaliser les tâches). Ce logiciel peut être utilisé à des fins de simulation pour l’analyse et la validation d’aménagements urbains ou intérieurs. Il peut également s’appliquer au domaine de la robotique.| Université de Rennes 1 |

Modélisation du comportement / urbanisme / ordonnancement de tâches / emploi du temps / simulation comportementale.

urbanisme, maquette numérique

9. T

rans

port

s &

vill

es in

telli

gent

es

96

The TheaterPour scénariser des environnements 3D complexes

avec des agents virtuels

The Theater est une plateforme logicielle pour la simulation de scénarii interactifs complexes dans des environnements virtuels. La plateforme propose un language de modélisation pour orchestrer des comporte-ments d’agents virtuels par la définition d’un graphe d’activité hiérar-chique. La plateforme propose un outil de simulation pour l’execution de scénarii interactifs. De nombreux comportements primitifs ont été implémentés pour l’animation d’humains virtuels (animation faciale, synchronisation du mouvement des lèvres, planification de chemin, modèles cognitifs et émotionnels simples).| Université de Rennes 1 & Inria |

Agents virtuels / orchestration / fictions interactives / muséographie interactive.

urbanisme, maquette numérique

Suivi visuelPour localiser un objet dont on connaît le modèle 3D

L’équipe-projet LAGADIC dispose d’un savoir faire important dans tout ce qui concerne le suivi visuel en temps réel. A partir d’un modèle 3D de l’objet d’intérêt, LAGADIC a développé des techniques permettant de suivre la position de l’objet dans l’image et d’estimer sa localisation 3D en terme de translation et d’orientation. Deux technologies sont aujourd’hui proposées : l’une diffusée dans le logiciel libre ViSP sous licence GPL permet de considérer des objets simples dont le modèle est de type fil de fer. L’autre diffusée dans le logiciel Sinatrack permet de considérer des objets 3D beaucoup plus complexes. Une autre gamme d’algorithmes concerne le suivi de zones texturées dans l’image. Les applications au suivi visuel concernent la réalité augmentée ou encore la robotique pour, par exemple, saisir un objet dont on dispose du modèle.| Université de Rennes 1 & Inria |


9. Transports &


97

KevoreePour concevoir, déployer et administrer des applications distribuées s’exécutant sur des supports hétérogènes (cloud, navigateur web, microcontrôleurs, etc.)

Kevoree est une plateforme pour concevoir et administrer des appli-cations distribuées s’exécutant sur des supports hétérogènes (cloud, navigateur web, microcontrôleurs, etc.). Kevoree vise à supprimer la frontière entre la conception et l’exécution des applications. A partir d’une configuration du système Kevoree prend automatiquement en charge à l’aide d’un langage dédié la (re)configu-ration de l’application à l’exécution, le déploiement continu, la gestion des dépendances et l’instanciation du logiciel sur l’environnement cible. | Université de Rennes 1 & Inria |

Déploiement / architecture / composants dynamiques / hétérogénéité / M2M / cloud / domotique.

bâtiments intelliGents

La pièce à la demandeUn exemple d’habitat métamorphique

L’habitat métamorphique est un lieu de vie dont les éléments archi-tecturaux se réorganisent dynamiquement. La « pièce à la demande » est une étude de cas d’habitat métamorphique où les appartements d’un immeuble peuvent être agrandis ou rapetissés dynamiquement à partir d’un espace partageable. L’espace supplémentaire devient une nouvelle pièce du logement à part entière car ses appareils sont personnalisés aux préférences des occupants et les réseaux (électrique, informatique, domotique, etc.) connectés à l’appartement. La pièce à la demande permet de réaliser des économies financières, de superficie et d’énergie, tout en ouvrant à des perspectives de maintien à domicile. Un démonstrateur de la pièce à la demande en réalité virtuelle immersive est déjà disponible et la réalisation d’appareils reprogrammables tels qu’interrupteurs, compteurs électriques, répéteurs Wi-Fi, passerelles pour l’internet des objets, etc. est en cours.| Inria |

Architecture interactive / économies de ressources / habitat durable.

9. T

rans

port

s &

vill

es in

telli

gent

es

98

RFID Tag CouplingPour améliorer la capacité de lecture des systèmes RFID

RFID (Radio Frequency IDentification) est une technologie qui per-met l’identification, le suivi et la collecte de données à partir d’objets ordinaires en attachant des tags RFID (sous forme d’étiquettes adhé-sives) à ces objets. Néanmoins, les systèmes RFID actuels ne sont pas totalement fiables, encore moins lorsqu’il s’agit de lire des tags en masse (par exemple tri des déchets ou caddie de supermarché).Ce logiciel particulier permet de faire face à la perte des données stockées dans les tags en proposant une approche qui établit un couplage logique des tags en insérant des liens entre ces tags, notam-ment entre leurs identifiants, de telle façon que la lecture d’un sous ensemble de tags permet de déterminer les tags manquants. Pour expérimenter et valider ces solutions, un banc de test RFID est disponible pour piloter finement un ensemble de lecteurs dans l’espace physique.| Université de Rennes 1 & Inria |

RFID / fiabilité / intégrité / couplage logiciel / applications pervasives.



pour estimation indirecte de la consommationPour mesurer la consommation d’énergie des équipements dans un bâti-ment, les techniques NILM (Non-Intrusive Appliance Load Monitoring) se basent sur l’observation de la variation globale de la tension élec-trique. Ceci évite le déploiement de wattmètres sur chaque appareil et réduit ainsi les coûts. SmartSense améliore encore ces techniques en y combinant des capteurs (de lumière, d’ondes électromagnétiques, de vibrations, de sons, etc.) pour proposer des informations complémen-taires sur l’activité des équipements et des personnes. Ces capteurs à bas coûts peuvent eux-mêmes être autonomes en énergie.| Inria |

NILM (Non-Intrusive Appliance Load Monitoring) / estimation de consommation d’énergie dans les bâtiments / réseaux de capteurs sans fil / bâtiment intelli-gent.

9. Transports &


99

THEGAMEMoteurs logiciels de fusion de données pour un environne-ment Smart Home / Smart Building

THEGAME est un ensemble de moteurs logiciels de fusion de données permettant de détecter différents types de situations dans le bâtiment (présence dans une pièce, niveau d’activité, etc.) à partir d’un ensemble de données brutes fourni par des capteurs de tout type. Ecrit en C ou Java, il peut être intégré dans un calculateur embarqué : tablette, smart-phone, box domotique, etc. et peut être connecté à différents réseaux de capteurs. Il permet de mettre en oeuvre des services sensibles au contexte : par exemple, prévenir l’utilisateur s’il oublie de fermer une fenêtre lorsqu’il quitte la maison, couper le chauffage dans des pièces qui sont inoccupées, etc. | Université de Rennes 1 & Inria |

Internet des objets / capteurs / réseaux de capteurs / fusion de données / services contextuels / smart home.


PLATEFORMES

10

. Pla

tefo

rmes

102

NeurinfoInstallé au CHU de Rennes, Neurinfo est un plateau technique offrant des ressources d’imagerie pour le développement et la valorisation d’activités de recherche clinique, méthodologique et technologique. La plateforme Neurinfo concerne l’imagerie humaine in vivo et la neuroin-formatique, notamment dans le cas des maladies du système nerveux. Elle est ouverte à une large communauté d’utilisateurs médicaux et scientifiques, au niveau régional, national et international.| CHU Rennes, Université de Rennes 1, Centre Eugène Marquis, Inserm & Inria |

Plateforme informatique / neuroinformatique / imagerie médicale / technologie.

10

. Plateformes

103

ImmersiaUne des plus grandes salles de réalité virtuelle au monde

Interagir dans un monde virtuel via ses sens et en temps réel, tel est l’objectif des chercheurs des équipes communes du centre Inria Rennes - Bretagne Atlantique et de l’Unité Mixte de Recherche IRISA. Pour cela, ces deux établissements se sont dotés d’une plateforme de réalité virtuelle, Immersia. Véritable outil technolo-gique de 9,60 mètres de long, elle dispose d’un équipement immer-sif plongeant l’utilisateur dans un monde visuel et auditif de haute qualité : d’excellents atouts qui la placent aujourd’hui parmi les plus grandes salles de réalité virtuelle au monde.De par ses collaborations au sein de programmes d’investissement d’avenir, comme le labex Comin Labs et l’IRT B-Com, et de projets euro-péens, Immersia reste ouverte à la population scientifique régionale, nationale et européenne, qu’elle soit académique et industrielle.| État, Conseil Régional de Bretagne, Conseil Général d’Ille et Vilaine, Rennes Métropole, CNRS, Insa Rennes, Université Rennes 1 & Inria |

Plateforme informatique /réalité virtuelle / immersion.

10

. Pla

tefo

rmes

104

Plateforme robotiqueCinq plateformes expérimentales de robotique

industrielle, mobile, médicale, humanoïde et aérienne

L’Inria Rennes – Bretagne Atlantique dispose d’un plateau constitué de cinq plateformes expérimentales de robotique industrielle, mobile, médicale, humanoïde et aérienne. L’ensemble des ressources matérielles et logicielles de ces plateformes expérimentales permettent de valider et de valoriser les activités de recherche du centre en asservissement visuel, en suivi visuel et en contrôle commande. Ces ressources sont ouvertes vers l’extérieur et peuvent-être utilisées ponctuellement par nos partenaires via des contrats de collaboration.

• La plateforme de robotique industrielle regroupe deux robots : Afma6, un robot portique équipé de systèmes de préhension sur lesquels sont fixés une caméra, et Afma4, un robot cylindrique portant une caméra à focale variable.

• La plateforme de robotique mobile comprend un robot mobile Pio-neer 3DX et trois fauteuils roulants électriques. Ces systèmes sont équipés de caméras, de télémètre laser et de capteurs ultrasons.

• La plateforme de robotique médicale est constituée de deux robots manipulateurs ADEPT Viper équipés de capteurs d’effort. L’effecteur de ces robots peut recevoir les sondes d’un échographe 2D Sonosite 180 Plus ou d’un échographe 3D Utrasonix SonixTouch.

• La plateforme de robotique humanoïde est composée du robot Roméo développé par la société Aldebaran Robotics. Ce robot à l’état de prototype a été acquis dans le cadre de l’Equipex Robotex. Il dispose de 37 articulations, 4 caméras, 4 microphones et d’une centrale inertielle.

• La plateforme de robotique aérienne comprend plusieurs drones d’intérieur proposés par les sociétés Mikropter et 3DRobotics. Une arène de vol a été équipée d’un système Vicon de capture du mouvement pour réaliser les expérimentations.

10

. Plateformes

105

AllGoPlateforme de services web

AllGo est une plateforme web destinée à faciliter l’usage des applica-tions développées par les équipes-projets d’Inria.Une dizaine d’applications sont d’ores et déjà disponibles dans des domaines aussi variés que la segmentation audio, l’extraction de termes, les protocoles réseaux ou le débruitage d’images de microsco-pie : https://allgo.inria.fr/webapps.Tout utilisateur peut ouvrir un compte et tester un algorithme : choisir parmi la liste des outils disponibles, charger ses propres données, lancer le traitement sur les serveurs du centre Inria et récupérer le résultat une fois la tâche exécutée.Accessibles manuellement par le biais d’un simple navigateur internet, ces algorithmes peuvent aussi s’intégrer directement dans les logiciels des utilisateurs, et cela via un service web de type REST.| Inria |

Web services.

GenOuestPlateforme proposant un ensemble d’outils bioinformatiques

Gérée à Rennes par le centre Inria Rennes-Bretagne Atlantique et l’IRISA, la plateforme GenOuest propose l’environnement nécessaire (puissance de calcul, stockage, logithèque) pour traiter les données de la biologie. Elle propose également la prise en charge de projets de déve-loppement en bioinformatique, ainsi que des formations.À la fois orientée recherche et services, GenOuest possède la certifi-cation Iso 9001:2008 qui garantit le respect d’une approche client. Offrant une vaste gamme de services allant du calcul scientifique jusqu’à l’expertise bioinformatique, la plateforme GenOuest est suscep-tible d’assister les entreprises dans leurs divers projets : mise en place d’une infrastructure, hébergement scientifique, accompagnement pour l’analyse de données, formations. | Université de Rennes 1, CNRS, Inra, Inserm & Inria |

Bioinformatique / Calcul scientifique / Analyse de données biomoléculaires / Développement logiciel / Expertise / Formation / ISO9001 / Agronomie / Mer / Santé / Environnement / Biotechnologie.

10

. Pla

tefo

rmes

106

Grid’5000Plateforme nationale d’expérimentation

pour les systèmes distribués et le cloud computing

1000 serveurs, 8000 cœurs répartis sur 10 sites, 25 grappes de matériel différent, Grid’5000 constitue l’un des grands équipements techniques de la recherche française. Largement utilisé par la commu-nauté scientifique académique, l’outil est désormais également acces-sible aux entreprises.L’infrastruture sert à expérimenter une offre qu’on veut déployer avec des utilisateurs simulés. Cela permet d’analyser ce qui se passerait dans certains scénarii, tester le passage à l’échelle, et ainsi déterminer la meilleure stratégie à adopter avant de lancer le produit (nombre de serveurs nécessaires, stratégie de gestions de données, technologies adaptées, etc.).Contrairement aux services de cloud publics comme Amazon, Google ou Microsoft, pour lesquels la virtualisation cache le détail du matériel auquel on accède (proportion de processeur allouée à l’utilisateur et à la charge), Grid’5000 permet à quiconque qui déploie son infrastruc-ture serveur, son «back-end», de savoir exactement sur quel matériel il travaille, quels processeurs, quels types de disques... et maitriser tous les paramètres. Grid’5000 permet ainsi d’assurer la reproductibilité de l’expérience.Grid’5000 fournit des tutoriels précis pour la prise en main de l’outil. Les entreprises qui le souhaitent pourront bénéficier, en plus du contrat pour l’utilisation de l’instrument, d’un contrat annexe d’expertise pour les accompagner dans leur démarche scientifique de vérification des différents scénarii.| CHU Rennes, Université de Rennes 1, Centre Eugène Marquis, Inserm & Inria |

Cloud computing / big data / passage à l’échelle / expertimentation / reproduc-tibilité.

Inria Rennes - Bretagne AtlantiqueService Transfert, Innovation & [email protected] / Tel. : + 33 2 99 84 22 07

Conc

eptio

n : I

nria

Ren

nes

- Bre

tagn

e At

lant

ique

- Se

rvic

e Co

mm

unic

atio

n &

Méd

iatio

nIm

pres

sion

: Im

prim

erie

des

Hau

ts d

e V

ilain

e (3

5) -

300

exem

plai

res