Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS)

Transcription

1 Master (filière Réseau) Parcours Recherche: Systèmes Informatiques et Réseaux (RTS) Responsables: Tanguy Risset & Marine Minier

2 Spécialité RTS Systèmes communicants Architecture matérielle Logicielle services déployés sur ces architectures Aborder le domaine des réseaux par Niveau bas notion d objets communicants ou systèmes embarqués Niveau réseau étude des protocoles et de la modélisation des réseaux Niveau le plus haut les services distribués et les applications coopératives INSA-LYON MASTER 2

3 Un parcours qui s appuie sur: Le laboratoire CITI Projets INRIA en cours Le laboratoire LIP Projets INRIA RESO, GRAAL, COMPSYS Le laboratoire LIRIS Projets Européens Projes RNRTs / Industriels Transfert / Veille R&D INSA-LYON MASTER 3

4 UEs recherche Outils pour la Recherche (RTS11) Systèmes embarqués (RTS12) Systèmes distribués et Grilles (RTS13) Réseaux du futur (RTS14) Sécurité et sûreté de fonctionnement (RTS15) Stage en laboratoire (5 mois à partir de février) INSA-LYON MASTER 4

5 RTS11 : Outils pour la recherche Responsable: Stéphane Frénot Enseignants Stéphane Frénot (INSA TC), Isabelle Guérin Lassous (Lyon 1) Présentation des différents outils dont on peut avoir besoin pour mener à bien ses travaux de recherche 5

6 RTS11 : Outils pour la recherche Plan du cours Outils informatiques (SF) - APPORTEZ VOS MACHINES Commandes de base en unix, compilation, latex, svn, cycle de vie du logiciel Carrière du chercheur et de l'enseignant-chercheur (IGL) Savoir lire et écrire un article (IGL) Savoir mener une étude bibliographique (SF) Savoir présenter un travail de recherche (SF) 6

7 RTS12 : Systèmes embarqués Responsable: Tanguy Risset Enseignants Kevin Marquet (IF), Lionel Morel (IF), Guillaume Salagnac (IF), Fabrice Jumel (CPE), Tanguy Risset (TC) Un système embarqué peut être défini comme un système électronique et informatique autonome, qui est dédié à une tâche bien précise. Ses ressources disponibles sont généralement limitées. Cette limitation est généralement d'ordre spatial (taille limitée) et énergétique (consommation restreinte). [wikipedia] On ne s'interesse pas ici aux systèmes embarqués temps réel dur utilisés dans l'avionique ou les centrales nucléaires, mais aux systèmes de calculs utilisés en multi-média et télécomunication ainsi que dans les réseaux de capteurs. 7

8 RTS12 : Systèmes embarqués Plan du cours Logiciel embarqué Chaine de compilation, modèles de programmation, OS embarqués, virtualisation Architecture matérielle Processeurs embarqués, mémoire dans les systèmes embarqués, FPGA, SoC, MPSoC Réseau de capteurs Programmation de micro-controleur, TP sur la plateforme EZ430 Exposé d'articles de recherche 8

9 RTS12 : Systèmes embarqués Plateforme EZ430 RF2500 Carte capteur comprenant Un micro-controleur MSP430 Un chip radio CC250 Capteur de température, LED etc.. Permet d'experimenter les caractéristique de la programmation embarqué Prototypage rapide d'applications embarquées 9

10 RTS13 : Systèmes distribués et Grilles Responsable: Frédéric Le Mouël Enseignants Frédéric Le Mouël (TC/INSA Lyon), Julien Ponge (TC/INSA Lyon), Eddy Carron (ENS) A distributed system consists of multiple autonomous computers that communicate through a computer network. The computers interact with each other in order to achieve a common goal. A computer program that runs in a distributed system is called a distributed program, and distributed programming is the process of writing such programs. [wikipedia] Nous nous intéresserons dans ce cours aux principes des systèmes distribués, ainsi qu aux outils permettant leur application dans les domaines des systèmes distribués pervasifs, dans l informatique dans les nuages et dans les grilles de calcul 10

11 RTS13 : Plan du cours Fondamentaux des systèmes distribués Principes généraux, propriétés (tolérance panne, etc), algorithmes distribués (consensus, etc), programmation et outils Systèmes distribués pervasifs Généralités (nouvelle vision de l informatique), propriétés (invisibité, etc), gestion du contexte, de la mobilité, de l ubiquité Cloud Computing Généralités (services de commodité), Elasticité (conception), Datastores NoSQL (données semi-structurées), DevOps (configuration logicielle automatisée) Grilles de calcul Introduction et classification des Grilles, quelques projects de grille, programmation et accès, intergiciels Exposé d'articles de recherche 11

12 RTS14 : Réseaux du futur Responsable Isabelle Guérin Lassous Enseignants Isabelle Augé-Blum (INSA TC), Christophe Crespelle (Lyon 1), Isabelle Guérin Lassous (Lyon 1), Marco Fiore (INSA TC), Fabrice Valois (INSA TC) Présentation des nouveaux réseaux et de leurs outils associés. Ces études viennent surtout du monde de la recherche (académique et industrielle). Certains des réseaux présentés sont encore peu déployés et opérationnels. D'autres sont beaucoup plus utilisés par le grand public mais des questions fondamentales restent encore ouvertes à leur sujet. 12

13 RTS14 : Réseaux du futur Plan du cours Introduction (IGL) Principe de base des réseaux sans fil multisauts Réseaux véhiculaires (MF) Modélisation de la mobilité véhiculaire, p, échange de données en environnement véhiculaire Réseaux de capteurs (FV) Problèmes énergétiques, couche MAC, routage, gestion de puits mobiles Réseaux de capteurs temps réel (IAB) Couche MAC et routage temps-réel, validation et fiabilité 13

14 RTS14 : Réseaux du futur Plan du cours Métrologie (CC) Mesures de l'internet, détection et correction du biais, dynamique de l'internet 14

15 RTS15 : Sécurité et sûreté de fonctionnement Responsable : Marine Minier Enseignants Christophe Crespelle (Lyon 1), François Goichon (TC), Mathieu Cunche (PC), Nicolas Stouls (PC) 15

16 RTS15 : Sécurité et sûreté de fonctionnement Plan du cours : Sécurité (8h) Définitions générales Principes de la cryptographie Protocoles de sécurité dans l'internet Sécurité dans les réseaux ad hoc (4h) Autres formes de cryptographie Divers propositions pratiques Sécurité dans les réseaux de capteurs (2h) 16

17 RTS15 : Sécurité et sûreté de fonctionnement Plan du cours (suite) : Outils et mécanismes pour la sûreté de fonctionnement (10h) Langages de spécification / politiques de sécurité Trusted Plateforme Module Architecture Sécurisée Java Problème de Privacy (4h) Problèmes particuliers lié à la privacy 17

18 Test beds Radio analysis Mesh network Signal synthesis INSA-LYON MASTER 18

19 Questions? INSA-LYON MASTER 19