Motion design

Croquons le numérique ! est une série de vidéos dessinées produite avec l'association Trois Petits Points pour expliquer simplement, en moins de 3 minutes, des projets qui font avancer la recherche en sciences du numérique.

Découvrez les quatre épisodes de la série.

Episode 1 - Det4all

Envoyer moins, viser mieux !

Comment être sûr qu’un signal sans fil arrive au bon endroit, au bon moment, avec la bonne intensité ? Aujourd’hui, la plupart des signaux sont envoyés dans toutes les directions en même temps.
Et ça marche !
Mais c’est très inefficace : beaucoup d’énergie est perdue, et la précision laisse parfois à désirer.
Le projet Det4all, commencé par Damien Saucez au Centre Inria d'Université Côte d'Azur, a exploré une approche différente : repérer dans quelle direction se situe le récepteur, envoyer le signal seulement là où il faut et ajuster sa puissance selon la distance.

Episode 2 - CQFD

Relier les données dispersées

Prendre une décision publique, organiser un hôpital ou gérer une exploitation agricole repose sur des données issues de sources, formats et contextes totalement différents.
Lorsqu'elles ne dialoguent pas, il est difficile de les exploiter correctement.
Le projet CQFD, mené par Federico Ulliana à l'antenne d'Inria à Montpellier, s’attaque à ce problème, afin de transformer un puzzle de données en une connaissance claire et exploitable.

Episode 3 - REFINO

Calculer de façon optimale nos besoins prioritaires

Imaginons un quartier équipé de technologie solaire : chaque maison consomme et produit de l'électricité, chaque borne envoie des informations sur l'état de la batterie qu'elle recharge.
Au même moment, certaines batteries sont pleines, d'autres vides.
Comment synchroniser le réseau pour que l'énergie arrive là où elle est réellement utile ?
Le projet REFINO, porté par Nicolas Gast au Centre Inria de l'Université Grenoble Alpes, permet d'optimiser l'utilisation de l'énergie produite localement.

Episode 4 - VeriAMOS

Orchestrer le code pour éviter les bugs critiques

Dans les systèmes critiques, il ne suffit pas que « ça marche la plupart du temps ».
Il faut des garanties solides, car des vies humaines sont en jeu.
Mais il y a une limite bien connue en informatique : on ne peut pas tout vérifier automatiquement.
Pour dépasser cette difficulté, le projet VeriAMOS, porté par Xavier Rival et son équipe commune au centre Inria de Paris et à l'École normale supérieure - PSL, s’appuie sur des méthodes d'analyse statique.
Plutôt que d’exécuter chaque scénario possible, les chercheurs analysent la structure des logiciels à l’aide de modèles abstraits, afin de repérer les zones à risque.