A la une

Membres du Pôle d'excellence cyber (PEC), Thales Communications & Security et le centre Inria Rennes - Bretagne Atlantique entament une collaboration pour réaliser la vérification formelle d'une implémentation d'IKEv2. Ce protocole d'échange de clés de chiffrement constitue l'un des mécanismes essentiels pour établir des communications sécurisées sur le réseau IP.  Explications. 

Beaucoup d'applications aujourd'hui reposent sur l'exécution de milliers de tâches effectuées simultanément ou les unes après les autres. On appelle cela des workflows . Ils se déploient parfois sur un grand nombre de machines. D'où la complexité et la nécessité de les organiser efficacement. Créé au centre Inria Rennes – Bretagne Atlantique, GinFlow est un gestionnaire de workflows doublement innovant. D'une part, il introduit un mécanisme d'adaptation à chaud pour donner plus de souplesse aux utilisateurs. D'autre part, il implémente une technique pour décentraliser la coordination de l'exécution afin d'augmenter la tolérance aux fautes.

Nouvelle start-up lancée à Rennes dans le prolongement de recherches  menées à Inria et à l'université Paris Est Marne-la-Vallée, Open Agora fournit des outils pour permettre aux entreprises et aux collectivités  d'organiser des consultations arbitrées par des votes.

Les méthodes de travail de l’industrie cinématographique sont en pleine mutation. De nouvelles technologies émergent. Elles transforment les possibilités et impactent les contenus des films. Elles modifient en profondeur les façons de créer les contenus, non seulement en réduisant les coûts mais aussi en nourrissant la créativité des équipes. C’est en partant de ce constat, que l'université de Rennes 1 et Inria, Institut de recherche publique dédié aux sciences du numérique, ont créé avec la société SolidAnim, CineViz, un laboratoire commun de recherche et d’innovation au service de l’industrie du cinéma 3D dans des environnements virtuels.

Fruit de plus de quinze ans de recherches soutenues par Inria, SimGrid est un outil open source pour la simulation des systèmes distribués. Adopté par de nombreuses communautés scientifiques, il contribue aujourd'hui à l'optimisation des performances dans des contextes très divers. Le prochain défi vise à introduire maintenant SimGrid dans l'industrie. Pour ce faire, Inria va lancer une nouvelle Action de développement technologique (ADT) qui se poursuivra par la création d'un consortium, comme l'explique Martin Quinson, le coordinateur du projet.

La télévision du futur offrira au spectateur le choix entre de multiples angles pour suivre l'action selon ses propres préférences. Partout dans le monde, des chercheurs imaginent déjà les algorithmes qui permettront la diffusion de ces flux vidéo. Mais tous se heurtent au même problème : le manque de matière première pour tester. Il n'existe tout simplement pas d'enregistrement offrant réellement une multitude de points de vue simultanés pour des scènes de grande ampleur. En préalable à toute avancée, il faut donc réaliser ce corpus d'images. Et c'est précisément l'objectif d'Atep, une Action de Développement Technologique coordonnée par le chercheur Thomas Maugey au centre Inria Rennes – Bretagne Atlantique.

Développée par l'équipe de recherche GenScale, au centre Inria Rennes – Bretagne Atlantique, GATB est une boîte à outils pour l'analyse des données issues des séquenceurs génomiques de nouvelle génération. Elle comprend aujourd'hui une douzaine de logiciels spécialisés dans différentes tâches de bio-informatique. Les chercheurs prévoient d'y intégrer une nouvelle application destinée à faciliter le diagnostic pour le traitement des cancers dans les hôpitaux.

L'ingénierie logicielle pourrait-elle utilement s'inspirer de la façon dont fonctionnent les systèmes biologiques? Une équipe scientifique pluridisciplinaire vient de passer trois ans à explorer cette piste dans le cadre de Diversify, un projet européen dirigé par le chercheur Inria Benoît Baudry. Résultat : les expériences menées montrent qu'à l'instar de la biodiversité, la diversité logicielle constitue un avantage considérable en termes de robustesse et d'adaptabilité aux changements.

Conçu à Inria, Typhoon est un programme de vision par ordinateur qui extrait des vecteurs de mouvement d'une séquence d'images de flux comme par exemple les photos satellites de météo. Utilisé récemment par l'université de Californie Chico pour mesurer des champs de vent basse altitude à partir d'images produites par un lidar, ce logiciel innovant commence à intéresser l'industrie. Il peut contribuer à identifier les meilleurs champs de vent pour les fermes éoliennes ou encore la dispersion atmosphérique de polluants.

Mardi 24 Janvier, à l'institut du cerveau et de la moelle épinière (ICM) à Paris, sera officiellement lancée l'association AFRICO, consacrée aux interfaces cerveau-machine, en présence de deux spécialistes de renommée mondiale dans le domaine des interfaces cerveau-ordinateur, Nick Ramsey et Theresa Vaughan. Cet événement sera également l’occasion de faire un tour d’horizon des principales équipes françaises travaillant sur cette thématique de recherche.