Informations Pratiques

La réunion RGE se déroulera à Nancy (CRAN) sur le site de la faculté des Sciences (Amphi 12 - bâtiment 1er cycle)".
Contact : Nicolas Krommenacker

Plan d'accès

Programme

9h15 – 9h45 : accueil des participants
 
9h45-10h45 : Exposé invité
"Infrastructure réseaux, stockage et enjeux énergétiques dans le cadre d'une nouvelle génération de Datacenter", Joseph RABITA, Directeur de l'Ingénierie Stockage et Réseaux, Orange
 
Résumé : L'évolution des technologies et les enjeux économiques (Time To Market, être plus réactif) imposent aux entreprises de disposer d'un outil informatique toujours plus efficient, avec une qualité de service maximum, tout en étant éco responsable. Cette présentation a pour objectif de partager la naissance d'un nouveau Datacenter dès sa conception, d'aborder la démarche et méthodologie de la conception de l'IT et faire un focus sur les technologies de stockage et sauvegarde dans une démarche éco efficiente.
 
10h45-11h45 : Exposé invité
"Évolution de l'architecture des processeurs", Jacques Weiss, Professeur à Supélec Rennes, équipe SCEE & UMR 6164 IETR
 
11h45-13h45 : repas
 
13h45-14h15 :
"Mobilité dans les réseaux de capteurs sans fil : évaluation des performances de 6LoWPAN et Mobile IPv6", Damien Roth, LSIIT Strasbourg
 
14h15-14h45 :
"Autocalibration d'un système de géopositionnement en intérieur", Matteo Cypriani, Laboratoire d'Informatique de Franche-Comté
 
Résumé : La principale difficulté à laquelle les systèmes de positionnement en intérieur fondés sur les signaux radio doivent faire face est l'hétérogénéité de l'environnement, qui influe sur la propagation des ondes, mais surtout le caractère changeant de cet environnement. En effet, l'intérieur d'un bâtiment peut évoluer, et ce à plusieurs échelles de temps. Owl Positioning System (OwlPS) est un système de positionnement en intérieur fondé sur la norme de réseaux radio IEEE 802.11 (Wi-Fi). Depuis sa dernière version stable (v1.2), il inclut un mécanisme d'autocalibration permettant à la fois d'éviter une fastidieuse calibration manuelle et de tenir compte des variations de l'environnement radio en temps réel. Après un court exposé du cadre de travail et de l'architecture du système OwlPS, le gros de la présentation portera sur le fonctionnement du mécanisme d'autocalibration.
 
14h45-15h15 :
"Comparaison d'états pour la vérification dynamique de propriétés de vivacité sur des applications distribuées", Marion Guthmuller, LORIA / Université de Lorraine
 
Résumé : La vérification par model-checking de propriétés de vivacité nécessite de détecter des cycles d'acceptation en comparant des états du système. Afin de permettre cette vérification directement sur des implémentations d'algorithmes distribués dans le simulateur SimGrid, nous proposons un nouvel algorithme de comparaison du tas. Cet algorithme est basé sur une ré-implémentation de malloc sur la récupération d'informations système, permettant de réduire le nombre de faux négatifs (états non détectés comme identiques).
 
15h15-15h30 : Pause
 
15h30-15h45 :
"Chantier d'une plate-forme de multi-simulations", Virginie Galtier, Supélec & UMI GT-CNRS 2958, et Laurent Ciarletta, Ecole des Mines de Nancy - UL, Madynes - Inria - Loria.

15h45-16h15 :
"Distribution et déploiement de traitements d’enregistrements audio de grandes tailles", Kevin Dehlinger, Supélec Metz
 
16h15-16h30 : table ronde

Compte-rendu