Modélisation du comportement d'internet pour le contrôle sûr à distance de machines matérielles

Transcription

1 Modélisation du comportement d'internet pour le contrôle sûr à distance de machines matérielles Mickaël Le Meur Laboratoire LISyC - EA3883 Université Bretagne Occidentale Master 2 Recherche Informatique Enseignant encadrant : M. Jean Vareille 9 Février 2006

2 2 Mickaël Le Meur Modélisation du comportement d'internet pour le contrôle sûr à distance de machines matérielles Plan de l'étude Faisabilité du contrôle de robots par le Web Utilisation et problèmes du réseau Internet Détection, Identification et Tolérance aux Fautes Modélisation et métrologie du réseau Conclusion

3 3 Mickaël Le Meur Faisabilité du contrôle de robots (1) [Saucy 2000] [Vareille 2005] [Le Parc 2005] Expérimentation du contrôle Le bras manipulateur La mini fraiseuse Qualité de service (QoS) variable et non garantie Mesure du temps RTT (Round Trip Time)

4 4 Mickaël Le Meur Faisabilité du contrôle de robots (2) Exemple de connexion entre Paris et Brest Temps de boucle moyen : 116 ms Gigue : +/- 90% du temps moyen Présence de pics; temps supérieur de plus de 100%

5 5 Mickaël Le Meur Faisabilité du contrôle de robots (2) Exemple de connexion entre le Japon et Brest Temps de boucle moyen : 350 ms Gigue : +/- 30% du temps moyen Connexion plus stable

6 6 Mickaël Le Meur Faisabilité du contrôle de robots (3) [Ogor 2001] Mise en évidence de niveaux de qualité Formalisme GEMMA Architecture GEMMA GEMMA-Q transitions gérées par la QoS

7 7 Mickaël Le Meur Faisabilité du contrôle de robots (4) Schématisation GEMMA-Q [Ogor 2001]

8 8 Mickaël Le Meur Utilisation et problèmes d'internet Manque, absence, de QoS (Qualité de Service) Interaction entre les différents trafics Présence de flux exogènes Dissymétrie entre les flux de communication [Juanole 2005] H M Human H2H H2M Machine M2H M2M VoIP H2M

9 9 Mickaël Le Meur FDI / FTC (Fault Detection Identification / Fault Tolerant Control) [Koscielny 2005] [Sauter 2005] [Bartys 2005] Cadre méthodologique des FDI / FTC Identification des fautes Tolérance aux fautes Implémentation Système de diagnostic Interprétation des mesures du ping RTT Système de contrôle GEMMA-Q, notion de mode dégradé

10 10 Mickaël Le Meur Modélisation Modélisation du réseau Internet [Stordahl 2002] Modéliser pour dimensionner Difficultés : gestion non uniforme, décentralisée Différentes modélisations possibles Petite échelle Petit grain Grande échelle Gros grain Pas de modélisation du comportement effectuée [Yook 2002]

11 Mickaël Le Meur Métrologie / Météorologie [Stordhal 2002] [Georges 2005] Métrologie du réseau Utile pour la prévision, l'anticipation Utilisation des Classes de Service (CoS) Objectifs des systèmes de reconfiguration

12 Mickaël Le Meur Conclusion Le contrôle de machines distantes est possible La gestion des défaillances est implémentée Perspectives Introduction d'un nouveau protocole Modification des flux de communication Stage Simuler et évaluer les réseaux de communication entre l'opérateur et la machine en intégrant les techniques GEMMA-Q, FDI/FTC et les prévisions.

13 Modélisation du comportement d'internet pour le contrôle sûr à distance de machines matérielles Mickaël Le Meur Laboratoire LISyC - EA3883 Université Bretagne Occidentale Master 2 Recherche Informatique Enseignant encadrant : M. Jean Vareille 9 Février 2006