n°250 I nOvEmbrE 2010 L’enquête | 23 w 03 Les écrans tactiles multipoints utilisés par l’équipe iPArLA (Labri/Inria) permettent de manipuler les objets 3D. 04 La multiplication des terminaux mobiles nécessite d’étudier de nouvelles architectures réseaux. Ici, les systèmes de l’équipe Pops (Lifl/Inria/Ircica). de recherche dans le but de construire les bases d’un Internet du futur, plus modulable que l’actuel. Ainsi, le projet européen Fire vise notamment à constituer d’ici à 2015 une plateforme expérimentale sur laquelle des scientifiques, des industriels et des PME pourraient concevoir, déployer et tester en toute sécurité de nouveaux outils et services Internet. One-Lab en constitue la première étape 4. Opérationnel depuis trois ans, ce prototype fournit un accès à un réseau restreint à 1000 ordinateurs connectés à travers le monde ainsi qu’à d’autres plateformes de recherche. Il a d’ores et 04 déjà permis de tester de nombreuses applications comme la distribution de contenus (vidéo, eBooks, musique) via le réseau mondial ou encore la géolocalisation d’adresses IP, le numéro permettant d’identifier chaque ordinateur qui est connecté à Internet. L’un des autres problèmes de taille, lié à la mobilité croissante des usagers, réside dans les limites des technologies radio pour les services informatiques mobiles. « Les réseaux de la téléphonie mobile de la seconde génération, type GSM, ont été conçus pour transmettre de la voix et non des images, de la vidéo ou pour se connecter à la télévision numérique ou à Internet, rappelle Pierre Duhamel, directeur de recherche au Laboratoire des signaux et systèmes 5. Résultat, ils sont souvent à la limite de la saturation dans les grandes villes. » Plusieurs solutions sont à l’étude, dont le network coding, qui consiste à faire transiter les données via un réseau formé par les autres mobiles. Ceux-ci joueraient alors, selon les cas, le rôle d’émetteur, de récepteur, de relais ou de routeur. Quoi qu’il en soit, nos chercheurs ont pris le taureau par les cornes. Pour preuve, depuis septembre dernier, Pierre Duhamel coordonne, dans le cadre du Réseau thématique de recherche avancée (RTRA) Digiteo d’Île-de-France, le premier gros projet consacré à ce secteur innovant de la coopération dans les réseaux. La sécurité, et en premier lieu celle des hommes, est également une pré occupation majeure des spécialistes. Les myriades de processeurs embarqués qui assurent des fonctions variées dans notre environnement sans intervention humaine offrent déjà des garanties appréciables en matière ©c.LEBEDInsky/InrIa de réactivité, de disponibilité et d’autonomie. Au point que les ingénieurs n’hésitent plus aujourd’hui à confier à certains d’entre eux, dits critiques, des tâches mettant en jeu la vie humaine : pilotage d’avion, contrôle de centrales nucléaires ou chirurgie assistée par ordinateur. Problème, « la conception de ces systèmes est extrêmement coûteuse, signale Joseph Sifakis, directeur de recherche au Laboratoire Verimag 6, à Gières, et titulaire en 2007 du prestigieux prix Turing, l’équivalent du prix Nobel en infor matique. Le développement d’un logiciel critique fait appel à des méthodologies de développement spécifiques, coûte 1000 fois plus cher que celui d’un code ordinaire et nécessite le passage devant une autorité de certification ». sécuriser Les systèmes Autre complication : si elles ont le mérite d’exister, ces méthodes industrielles de vérification des systèmes embarqués par model-checking, dont Joseph Sifakis fut l’un des inventeurs, s’avèrent inopérantes au-delà d’un certain degré de complexité. « Ce qui interdit l’arrivée de plusieurs technologies nécessitant une disponibilité ou une réactivité importantes, commente le chercheur. C’est le cas d’applications touchant à la médecine et à la conduite automobile, mais aussi du Web des objets, où l’on doit franchir une étape supplémentaire en faisant coopérer entre eux des systèmes embarqués dans un environnement Internet non critique, c’està-dire peu sécurisé. » Face à ces difficultés, certains scientifiques, à l’instar de Joseph Sifakis, se sont résolus à revisiter la théorie afin de rechercher des solutions qui évitent la vérification a posteriori. « Lorsqu’un ingénieur construit un pont, il dispose d’équations mathématiques lui garantissant que son ouvrage d’art ne s’effondrera pas, note ce dernier. L’informaticien, lui, n’a rien de tel : il n’a d’autres choix que de fabriquer des systèmes dont il doit tester le bon fonctionnement ensuite. Ce que mes collègues et moi-même tentons de faire, c’est d’essayer d’identifier les bases théoriques qui nous permettront de