Conception et contrôle des SMA tolérants aux fautes

Dimension: px
Commencer à balayer dès la page:

Download "Conception et contrôle des SMA tolérants aux fautes"

Transcription

1 Conception et contrôle des SMA tolérants aux fautes Une plate-forme multiagents tolérante aux fautes à base de réplication Nora FACI

2 Contexte SMA large échelle Nombre important d agents Ressources éloignées les unes des autres Types de pannes [Powell 91] Franches Omissions Temporelles Byzantines 2

3 Etat de l art Approches correctives Sentinelles [Hagg 96] Détection de déviation de fonctionnalités Diagnostic + réparation TAEMS [Horling et al. 00] Détection de fautes organisationnelles Diagnostic + auto- organisation Insuffisances Solutions ad hoc, coûteuses et difficiles à mettre en oeuvre 3

4 Etat de l art Approches préventives Brokers [Kumar et al. 00] Aucune détection + redondance de services Réplication d agents [Fedoruk et Deters 02] Détection + redondance d agents Insuffisances Solutions ad hoc Stratégies de réplication définies a priori par le concepteur 4

5 Problématique Les solutions existantes sont ad hoc et mal adaptées aux SMA large échelle Elles ne profitent pas des solutions proposées par la communauté des systèmes répartis (détection de pannes, réplication ) 5

6 Problématique Objectif Concevoir et contrôler des SMA tolérants aux fautes Une nouvelle plate-forme multi-agents tolérante aux fautes basée sur la réplication (DimaX) Hypothèses Ressources dynamiques Agents «adaptatifs» Aucune hypothèse sur l architecture interne des agents qui sont cognitifs FIPA- ACL comme langage de communication entre les agents Pannes supportées par DarX : franches DIMA pour le développement des SMA 6

7 Sommaire Contrôle adaptatif de réplication Réplication Criticité Architecture de monitoring Gestion de ressources Implémentation et validation DimaX Expérimentations Conclusion 7

8 Réplication Méthode de base pour la sûreté de fonctionnement Définition : Un composant logiciel répliqué est défini comme un composant logiciel qui possède une représentation sur deux ou plusieurs machines. Caractéristiques des applications existantes criticité statique des composants contexte statique de l'environnement (taux de pannes, délai de recouvrement de l'application, ) Le nombre de réplicas et la stratégie de réplication sont explicitement et statiquement définis par le concepteur avant l'exécution 8

9 Réplication Caractéristiques des SMA quelques problèmes distribution large échelle = coûts prohibitifs importance d un agent (criticité) est dynamique environnement dynamique Notre solution : adaptation dynamique de la gestion de pannes Le framework (DarX) : réplication dynamique Un contrôle adaptatif de la réplication

10 Réplication et SMA Mécanisme dynamique et adaptatif de réplication Quels agents répliquer et quand? Combien de fois? Où?

11 Criticité Hypothèses mécanismes de réplication automatiques quelques données du concepteur de l application peuvent être nécessaires (les rôles, leur criticité, ) réplication statique et/ou dynamique le SMA n est pas modifié, il est enrichi pour permettre d observer le comportement des agents et déterminer leur criticité criticité des agents dépend de deux types d informations informations système (niveau système) : temps CPU, charge de communication informations sémantiques (niveau SMA)

12 Criticité Informations sémantiques dépendent du domaine d application et du paradigme choisi Un SMA est principalement caractérisé par les structures organisationnelles (rôles, réseaux d interdépendances, réseaux d accointances, ) Deux approches rôles [Selmas 03] [AAMAS 02] [MMAS 05] interdépendances des agents [AAMAS 04] [Selmas 05]

13 Criticité - interdépendances Graphe d'interdépendances à chaque agent est associé un nœud l'ensemble des nœuds forme un graphe orienté chaque arc est caractérisé par un poids w ij Hypothèse la criticité d un agent dépend de ses interdépendances La panne d un agent dont beaucoup d agents dépendent pourrait entraîner la panne de tous ces agents

14 Agent_i Criticité - interdépendances Exemple de graphe d interdépendances 1 w 12 2 m est plus critique que k j Agent_k Agent_j i

15 Algorithmes d'adaptation des interdépendances Algorithme 1 nombre de messages

16

17 Algorithmes d'adaptation des interdépendances Algorithme 2 langage de communciation : FIPA-ACL nombre et poids des performatifs des messages classification des performatifs [M.Colombetti and M.Verdicchio] : Classe 1 : {request, request-whenever, query-if, queryref} Classe 2 : {inform, inform-done, inform-ref, cfp, propose, agree} Classe 3 : {reject-proposal, refuse, failure, notunderstood}

18 Criticité d un agent Criticité d un agent Agent i w i = a 1 *op_agreg(w ij j=1,m) ) + a 2 * aw i a 1 et a 2 : les poids donnés aux deux paramètres interdépendances et degré d activité a 1 + a 2 = 1 m : le nombre d agents qui dépendent d Agent i w 1j,.., w mj : ses interdépendances aw i : son degré d activité op_agreg : opérateur d agrégation

19 Mécanisme dynamique et adaptatif de réplication le SMA est enrichi pour lui permettre d observer le comportement des agents et déterminer leur criticité Observation Graphe d interdépendances Agents Réplication Quelle architecture? Environnement

20 Architecture de monitoring Plusieurs architectures de monitoring [Kaminka et al. 02] [Horling et al. 02] [Dellarocas et Klein 00] Information utilisée en post-mortem Expliquer et améliorer le comportement du système Mécanisme de monitoring centralisé Mal adaptées aux SMA large échelle 20

21 Architecture de monitoring 21 Niveau Agents Niveau Observation Agent-Monitor 1 Agent 1 Agent-Monitor 2 Agent-Monitor 3 Agent-Monitor 4 Agent 2 Agent 3 Agent 4 Host-Monitor Host 1 Host-Monitor Host 2

22 Architecture de monitoring Agent-Monitor Mettre à jour les interdépendances de son noeud Calculer la criticité de cet agent Déterminer la stratégie de réplication Host-Monitor Calculer une estimation des informations globales en échangeant des informations locales avec les autres hostmonitors Gérer les ressources 22

23 Réplication et SMA Mécanisme de réplication dynamique et adaptatif Quels agents répliquer et quand? Combien de fois? Où? Gestion de ressources

24 Gestion de ressources Une solution simple Le nombre de réplicats est calculé en fonction de la criticité des agents Le lieu de réplication est choisi de manière arbitraire parmi l ensemble des hôtes ayant des ressources encore disponibles Problème : Elle ne prend pas en compte l hétérogénéité des ressources 24

25 Gestion de ressources Modèle économique basé sur la QoS Protocole de négociation Contract Net Stratégies d évaluation des propositions Fonctions d utilité Paramètres du modèle Coût de la ressource Qualité de la ressource (fiabilité de la machine ) Criticité d un agent 25

26 DimaX = DIMA + DarX + Contrôle Adaptatif de Réplication Monitoring Agents Service de Réplication Service d Observation Service de Détection de fautes Application (DIMA) Middleware (DARX) 26 Service de Nommage

27 Exemple d implémentation Benchmark Factorielle Un agent factoriel (AgentFact) AgentFact n a pas les compétences nécessaires pour multiplier deux nombres Plusieurs agents multiplications (AgentMult) 27

28 Exemple d implémentation Avec DIMA : public void main(string[] args){ AgentFact a=new AgentFact(«fact»); AgentMult b=new AgentMult(«mult» ); a.activatewithfipa activatewithfipa(); b.activatewithfipa activatewithfipa(); } Avec DimaX : public void main(string[] args){ AgentFact a=new AgentFact(«fact» ); AgentMult b=new AgentMult(«mult» ); a.activatewithdarx activatewithdarx(«indira.lip6.fr», 7005); b.activatewithdarx activatewithdarx(«gandhi.lip6.fr», 7005); } 28

29 Expérimentations Application : eagenda Coût du Monitoring Nombre d'agents N(100,..., 250) 20 agents par machine Même nombre de meetings Trois conditions expérimentales Sans monitoring Avec monitoring (Algo 1) Avec monitoring (Algo 2) Durée entre le début et la fin de la simulation 29

30 Expérimentations Coût du Monitoring 30

31 Expérimentations Test de robustesse 100 agents sur 10 machines Simulateur de fautes : arrête de manière aléatoire le thread d un agent Même scénario pour les différentes expérimentations : La liste de meetings et leur définition ne varie pas Nombre réplicats variable : 4, 8, 12, 20 3 Stratégies de réplication Aléatoire Basée sur le nombre de messages (algo 1) Basée sur les performatifs (algo 2) 31

32 Expérimentations Test de robustesse Nombre de Simulations Réussies Nombre Total de Simulations 32

33 Conclusion Un mécanisme adaptatif de réplication Graphe d interdépendances Un mécanisme de gestion de ressources Une plate-forme multi-agents opérationnelle tolérante aux fautes Travail en cours Expérimentations Expérimenter plusieurs classifications des performatifs Dérouler les expériences sur le Grid 5000 Perspectives Rédiger la thèse Publier 33

34 Liste des publications Contrôle adaptatif de réplication 2. Z. Guessoum, N. Faci et J-P. Briot,"Adaptive Replication of Large Scale MASs: Towards a Fault-Tolerant Multiagent Platform",Springer Verlag,2006 (Chapitre) 3. J-P. Briot, Z. Guessoum, S. Aknine, N. Faci et M. Gatti, Experience and Prospects for Various Control Strategies for Self Replicating, SEAMS Z. Guessoum et N. Faci, Towards reliable large-scale MAS, CEEMAS Z. Guessoum, N. Faci et J-P. Briot,"Adaptive Replication of Large Scale MASs: Towards a Fault-Tolerant Multiagent, SELMAS Z. Guessoum, J-P. Briot et N. Faci, Vers des systèmes multi-agents tolérants aux pannes, JFSMA Z. Guessoum, J-P. Briot et N. Faci,"Towards a Fault-Tolerant Massively Multiagent Platform",Springer Verlag,2005 (Chapitre) 8. Soumis : IEEE Transactions on Dependable and Secure Computing Plate-forme multi-agents tolérantes aux fautes 11. N. Faci, Z. Guessoum et O. Marin, DimaX: A Fault Tolerant Multi-agent platform, SELMAS N. Faci, Z. Guessoum, O. Marin et M.T. Laskri, DimaX: A Fault-Tolerant Multi-Agent Platform, AISTA 04 Monitoring 15. Z. Guessoum, M. Ziane et N. Faci, "Monitoring and Organizational-Level Adaptation of Multi-Agent Systems", AAMAS '04 Gestion de Ressources : (en cours) 34

La plate-forme DIMA. Master 1 IMA COLI23 - Université de La Rochelle

La plate-forme DIMA. Master 1 IMA COLI23 - Université de La Rochelle La plate-forme DIMA Master 1 IMA COLI23 - Université de La Rochelle DIMA Bref aperçu Qu'est-ce? Acronyme de «Développement et Implémentation de Systèmes Multi-Agents» Initié par Zahia Guessoum et Jean-Pierre

Plus en détail

Conception des systèmes répartis

Conception des systèmes répartis Conception des systèmes répartis Principes et concepts Gérard Padiou Département Informatique et Mathématiques appliquées ENSEEIHT Octobre 2012 Gérard Padiou Conception des systèmes répartis 1 / 37 plan

Plus en détail

MEAD : temps réel et tolérance aux pannes pour CORBA

MEAD : temps réel et tolérance aux pannes pour CORBA MEAD : un intergiciel temps-réel et tolérant aux pannes pour CORBA Master 2 Informatique Recherche Université de Marne-la-Vallée Vendredi 3 mars 2006 Plan 1 Introduction 2 Solutions existantes 3 Concilier

Plus en détail

Sélection darwinienne et systèmes multi-agents

Sélection darwinienne et systèmes multi-agents Sélection darwinienne et systèmes multi-agents Samuel Landau Miriad - OASIS - LIP6 Objectifs Objectifs Conception de systèmes distribués adaptatifs Apprentissage distribué en ligne Exemples d application:

Plus en détail

Contributions à l expérimentation sur les systèmes distribués de grande taille

Contributions à l expérimentation sur les systèmes distribués de grande taille Contributions à l expérimentation sur les systèmes distribués de grande taille Lucas Nussbaum Soutenance de thèse 4 décembre 2008 Lucas Nussbaum Expérimentation sur les systèmes distribués 1 / 49 Contexte

Plus en détail

M2 TIIR (2013-2014) Bilel Derbel

M2 TIIR (2013-2014) Bilel Derbel M2 TIIR (2013-2014) Bilel Derbel Notre but est de concevoir une application générique sur grid5000 qui permet de déployer des calculs parallèles de façon transparente Plus précisément, nous nous plaçons

Plus en détail

Les Systèmes Multi-Agents

Les Systèmes Multi-Agents Les Systèmes Multi-Agents Définition d un SMA Un système multi-agents est un ensemble organisé d agents. Il est constitué d une ou plusieurs organisations qui structurent les règles de cohabitation et

Plus en détail

Graphes, réseaux et internet

Graphes, réseaux et internet Graphes, réseaux et internet Clémence Magnien clemence.magnien@lip6.fr LIP6 CNRS et Université Pierre et Marie Curie (UPMC Paris 6) avec Matthieu Latapy, Frédéric Ouédraogo, Guillaume Valadon, Assia Hamzaoui,...

Plus en détail

Supervision des réseaux et services pair à pair

Supervision des réseaux et services pair à pair Supervision des réseaux et services pair à pair Présentation des travaux de Thèse Guillaume Doyen LORIA - Université Henri Poincaré pour l obtention du Doctorat en Informatique de l université Henri Poincaré

Plus en détail

Architecture Logicielle

Architecture Logicielle Architecture Logicielle Chapitre 3: UML pour la description et la documentation d une architecture logicielle Année universitaire 2013/2014 Semestre 1 Rappel L architecture d un programme ou d un système

Plus en détail

Cours Systèmes Multi-Agents

Cours Systèmes Multi-Agents Un système multi-agents «Un Système Multi-Agents(SMA) comporte plusieurs agents qui interagissent entre eux dans un environnement commun. Certains de ces agents peuvent être des personnes ou leurs représentants

Plus en détail

Solutions informatiques (SI) Semestre 1

Solutions informatiques (SI) Semestre 1 Solutions informatiques (SI) Cette unité vise l acquisition de compétences générales à partir desquelles sont construites les compétences propres aux parcours de spécialisation. Elle comprend, d une part,

Plus en détail

Introduction aux applications réparties

Introduction aux applications réparties Introduction aux applications réparties Noël De Palma Projet SARDES INRIA Rhône-Alpes http://sardes.inrialpes.fr/~depalma Noel.depalma@inrialpes.fr Applications réparties Def : Application s exécutant

Plus en détail

ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques. Ioannis Parissis - Claudia Roncancio

ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques. Ioannis Parissis - Claudia Roncancio ARTEco Applications à base de Réseaux de capteurs Tolérantes aux Fautes & Energétiquement économiques Ioannis Parissis - Claudia Roncancio LCIS LIG 1 Contexte et motivation! Capteurs omniprésents, en pleine

Plus en détail

Exécution des applications réparties

Exécution des applications réparties Exécution des applications réparties Programmation des Applications Réparties Olivier Flauzac URCA Master STIC-Informatique première année Olivier Flauzac (URCA) PAR : Exécution des applications réparties

Plus en détail

Construction modulaire d'agents et de systèmes multi-agents adaptatifs en DIMA

Construction modulaire d'agents et de systèmes multi-agents adaptatifs en DIMA Construction modulaire d'agents et de systèmes multi-agents adaptatifs en DIMA Zahia Guessoum, Thomas Meurisse et Jean-Pierre Briot Laboratoire d informatique de Paris VI (LIP6) UPMC 4 Place Jussieu Case

Plus en détail

DG-ADAJ: Une plateforme Desktop Grid

DG-ADAJ: Une plateforme Desktop Grid DG-ADAJ: Une plateforme pour Desktop Grid Olejnik Richard, Bernard Toursel Université des Sciences et Technologies de Lille Laboratoire d Informatique Fondamentale de Lille (LIFL UMR CNRS 8022) Bât M3

Plus en détail

Un Système multi-agents auto-adaptatif pour la segmentation et la reconstruction de scènes 3D

Un Système multi-agents auto-adaptatif pour la segmentation et la reconstruction de scènes 3D SETIT 2005 3 rd International Conference: Sciences of Electronic, Technologies of Information and Telecommunications March 27-31, 2005 TUNISIA Un Système multi-agents auto-adaptatif pour la segmentation

Plus en détail

Système d administration autonome adaptable: application au Cloud

Système d administration autonome adaptable: application au Cloud Système d administration autonome adaptable: application au Cloud Alain TCHANA - atchana@enseeiht.fr IRIT/ENSEEIHT, Equipe SEPIA Directeur de thèse : Daniel HAGIMONT et Laurent BROTO Rapporteurs : Jean-Marc

Plus en détail

3A-IIC - Parallélisme & Grid GRID : Définitions. GRID : Définitions. Stéphane Vialle. Stephane.Vialle@supelec.fr http://www.metz.supelec.

3A-IIC - Parallélisme & Grid GRID : Définitions. GRID : Définitions. Stéphane Vialle. Stephane.Vialle@supelec.fr http://www.metz.supelec. 3A-IIC - Parallélisme & Grid Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle Principes et Objectifs Evolution Leçons du passé Composition d une Grille Exemple d utilisation

Plus en détail

Logiciel libre et systèmes critiques hérésie ou réalité de demain? Philippe David European Space Agency

Logiciel libre et systèmes critiques hérésie ou réalité de demain? Philippe David European Space Agency Logiciel libre et systèmes critiques hérésie ou réalité de demain? Philippe David European Space Agency Premiers constats! Les fonctions nécessaires aux systèmes critiques sont implémentées par les LL:

Plus en détail

Systèmes temps réel Concepts de base. Richard Grisel Professeur des Universités Université de Rouen

Systèmes temps réel Concepts de base. Richard Grisel Professeur des Universités Université de Rouen Systèmes temps réel Concepts de base Richard Grisel Professeur des Universités Université de Rouen 1 Systèmes temps réel - Choix Gestion des ressources Ordonnancement ( Scheduling ), Tolérance aux fautes

Plus en détail

Tolérance aux pannes dans les systèmes distribués. Alain BUI

Tolérance aux pannes dans les systèmes distribués. Alain BUI Tolérance aux pannes dans les systèmes distribués Alain BUI Professeur Département de Mathématiques et Informatique alain.bui@univ-reims.fr Alain BUI -- Université de Reims 1 Introduction Nombre croissant

Plus en détail

Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul

Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul Services et protocoles pour l'exécution fiable d'applications distribuées dans les grilles de calcul Thomas Ropars Équipe-projet PARIS 1 Les applications de calcul scientifique Objectifs : Simuler des

Plus en détail

Systèmes et algorithmes répartis

Systèmes et algorithmes répartis Systèmes et algorithmes répartis Tolérance aux fautes Philippe Quéinnec Département Informatique et Mathématiques Appliquées ENSEEIHT 4 novembre 2014 Systèmes et algorithmes répartis V 1 / 45 plan 1 Sûreté

Plus en détail

Evaluation de performance en Sûreté de Fonctionnement

Evaluation de performance en Sûreté de Fonctionnement Groupe SdF Midi-Pyrénées Toulouse 5 juin 2015 Evaluation de performance en Sûreté de Fonctionnement - Andre.cabarbaye Plan Introduction Types de performances Finalité des analyses Attentes du donneur d

Plus en détail

CONCEPTS GENERIQUES POUR LA SUPERVISION DES RESEAUX MULTIMODAUX

CONCEPTS GENERIQUES POUR LA SUPERVISION DES RESEAUX MULTIMODAUX CONCEPTS GENERIQUES POUR LA SUPERVISION DES RESEAUX MULTIMODAUX G. Scemama, Mustapha Tendjaoui, Olivier Carles INRETS_GRETIA Principe de la supervision (1) Optimisation du triangle Homme/Système Système/Monde

Plus en détail

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services

Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services 69 Vers une approche Adaptative pour la Découverte et la Composition Dynamique des Services M. Bakhouya, J. Gaber et A. Koukam Laboratoire Systèmes et Transports SeT Université de Technologie de Belfort-Montbéliard

Plus en détail

Valum micro-framework web. Guillaume Poirier-Morency poirigui@iro.umontreal.ca

Valum micro-framework web. Guillaume Poirier-Morency poirigui@iro.umontreal.ca Valum micro-framework web Guillaume Poirier-Morency poirigui@iroumontrealca Résumé Valum est un micro-framework web écrit en Vala génèse et historique du langage Vala présentation du framework Valum exemples

Plus en détail

Prise en compte des ressources dans les composants logiciels parallèles

Prise en compte des ressources dans les composants logiciels parallèles Prise en compte des ressources dans les composants logiciels parallèles Aperçus de l action RASC et du projet Concerto F. Guidec Frederic.Guidec@univ-ubs.fr Action RASC Plan de cet exposé Contexte Motivations

Plus en détail

Une architecture logicielle pour la modélisation et simulation orientée agents de chaînes logistiques

Une architecture logicielle pour la modélisation et simulation orientée agents de chaînes logistiques Une architecture logicielle pour la modélisation et simulation orientée agents de chaînes logistiques Karam MUSTAPHA Domaine Universitaire de Saint-Jérôme Avenue Escadrille Normandie-Niemen 13397 MARSEILLE

Plus en détail

Analyse de la démographie des objets dans les systèmes Java temps-réel

Analyse de la démographie des objets dans les systèmes Java temps-réel Analyse de la démographie des objets dans les systèmes Java temps-réel Nicolas BERTHIER Laboratoire VERIMAG Responsables du stage : Christophe RIPPERT et Guillaume SALAGNAC le 29 septembre 26 1 Introduction

Plus en détail

Plateforme de communication robuste et de disponibilité augmentée pour des robots mobiles de sauvetage

Plateforme de communication robuste et de disponibilité augmentée pour des robots mobiles de sauvetage Sujet de thèse IFI-MSI / Université de Caen Plateforme de communication robuste et de disponibilité augmentée pour des robots mobiles de sauvetage Contexte Le contexte de ce travail est le projet AROUND

Plus en détail

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23

Table des Matières. Table des Figures 7. Introduction Générale 9. Chapitre 1 - Langages de description d architectures matérielles hybrides 23 Table des Figures 7 Introduction Générale 9 1. Outils et plate-formes de construction d application 9 2. Intégration de paradigmes de conception dans le cycle de vie 10 2.1. Equilibrage de charge et équilibrage

Plus en détail

Implantation des protocoles de communication FIPA dans la plate-forme GAMA

Implantation des protocoles de communication FIPA dans la plate-forme GAMA L Institut de la Francophonie pour l Informatique L unité de recherche Geodes, Institut de Recherche pour le Développement (UR079, IRD) Master INTELLIGENCE ARTIFICIELLE ET MULTIMEDIA, 2 ème année, Spécialité

Plus en détail

Besoin de concevoir des systèmes massivement répartis. Comment tester le système? Solution. Évaluation de systèmes répartis à large échelle

Besoin de concevoir des systèmes massivement répartis. Comment tester le système? Solution. Évaluation de systèmes répartis à large échelle Besoin de concevoir des systèmes massivement répartis. Évaluation de systèmes répartis à large échelle Sergey Legtchenko Motivation : LIP6-INRIA Tolérance aux pannes Stockage de données critiques Coût

Plus en détail

Un intergiciel adaptable à l'énergie pour les réseaux mobiles ad hoc

Un intergiciel adaptable à l'énergie pour les réseaux mobiles ad hoc Un intergiciel adaptable à l'énergie pour les réseaux mobiles ad hoc Guilhem Paroux, Isabelle Demeure ENST France Télécom R&D Contexte Réseau mobile ad hoc (MANET) Pas d'infrastructure préexistante 20

Plus en détail

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr

Les méthodes formelles dans le cycle de vie. Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Les méthodes formelles dans le cycle de vie Virginie Wiels ONERA/DTIM Virginie.Wiels@onera.fr Plan Introduction Différentes utilisations possibles Différentes techniques pour différentes propriétés à différents

Plus en détail

GRID : Overview ANR-05-CIGC «GCPMF» 8 juin 2006 Stéphane Vialle

GRID : Overview ANR-05-CIGC «GCPMF» 8 juin 2006 Stéphane Vialle GRID : Overview ANR-05-CIGC «GCPMF» 8 juin 2006 Stéphane Vialle Stephane.Vialle@supelec.fr http://www.metz.supelec.fr/~vialle Grid : Overview 1. Définition et composition 2. Exemple de Middleware 3. Interconnexion

Plus en détail

Algorithmique distribuée d exclusion mutuelle : vers une gestion efficace des ressources

Algorithmique distribuée d exclusion mutuelle : vers une gestion efficace des ressources Algorithmique distribuée d exclusion mutuelle : vers une gestion efficace des ressources Jonathan Lejeune LIP6-UPMC/CNRS, Inria 19 septembre 2014 Directeur : Pierre Sens Encadrants : Luciana Arantes et

Plus en détail

JADE : Java Agent DEvelopment framework. Laboratoire IBISC & Départ. GEII Université & IUT d Evry nadia.abchiche@ibisc.univ-evry.

JADE : Java Agent DEvelopment framework. Laboratoire IBISC & Départ. GEII Université & IUT d Evry nadia.abchiche@ibisc.univ-evry. : Java Agent DEvelopment framework Laboratoire IBISC & Départ. GEII Université & IUT d Evry nadia.abchiche@ibisc.univ-evry.fr Introduction à la plateforme JADE 1) Modèle d agent 2) Services 3) Norme FIPA

Plus en détail

Le Pair-à-pair et les Nouvelles Applications de l Internet. Christian Huitema Architecte Windows Networking & Communications Microsoft Corporation

Le Pair-à-pair et les Nouvelles Applications de l Internet. Christian Huitema Architecte Windows Networking & Communications Microsoft Corporation Le Pair-à-pair et les Nouvelles Applications de l Internet Christian Huitema Architecte Windows Networking & Communications Microsoft Corporation Welcome to 3 Degrees, P2P & IPv6 26 juin 2003 2 Pair-a-pair

Plus en détail

Introduction au développement du logiciel

Introduction au développement du logiciel Introduction au développement du logiciel Vers le génie logiciel Université de Nantes Master Miage M1 Plan 1 Introduction 2 Génie logiciel 3 Projet informatique 4 Méthode de développement 5 Qualité Bibliographie

Plus en détail

Clusters for Application Service Providers. T. Monteil, J.M. Garcia P. Pascal, S. Richard

Clusters for Application Service Providers. T. Monteil, J.M. Garcia P. Pascal, S. Richard Clusters for Application Service Providers (www.laas.fr/casp) T. Monteil, J.M. Garcia P. Pascal, S. Richard 1 Généralités Le monde du calcul dans un environnement ASP Les ASP : Application Service Provider

Plus en détail

Sauvegarde coopérative entre pairs pour dispositifs mobiles

Sauvegarde coopérative entre pairs pour dispositifs mobiles Sauvegarde coopérative entre pairs pour dispositifs mobiles 1 Sauvegarde coopérative entre pairs pour dispositifs mobiles Ludovic Courtès, Marc-Olivier Killijian, David Powell, Matthieu Roy Sauvegarde

Plus en détail

Tolérance aux pannes dans les grilles de calcul

Tolérance aux pannes dans les grilles de calcul Tolérance aux pannes dans les grilles de calcul Bakhta Meroufel 1, Ghalem Belalem 2, Nadia Hadi 3 1 bmeroufel@yahoo.fr, 2 ghalem1dz@univ-oran.dz, 3 yhana9@yahoo.fr Département d Informatique Faculté des

Plus en détail

Vers un Radar pour l Internet

Vers un Radar pour l Internet Vers un Radar pour l Internet Matthieu Latapy, Fabien Viger,, Benjamin Orgogozo, Damien Bobillot LIAFA, CNRS et Université Paris 7 LIP6, CNRS et Université Paris 6 13 Octobre 2005 Le Radar, en théorie

Plus en détail

Objectif. Participant. Prérequis. Pédagogie. Oracle Enterprise Manager 10g Grid Control Rel 2. 5 Jours [35 Heures]

Objectif. Participant. Prérequis. Pédagogie. Oracle Enterprise Manager 10g Grid Control Rel 2. 5 Jours [35 Heures] Plan de cours disponible à l adresse http://www.adhara.fr/.aspx Objectif Décrire les étapes d'installation du référentiel OMR (Oracle Management Repository) et du service OMS (Oracle Management Service)

Plus en détail

Simulation des réseaux de capteurs sans fil de grande taille

Simulation des réseaux de capteurs sans fil de grande taille Simulation des réseaux de capteurs sans fil de grande taille Cheick-Tidjane KONE Directeurs: Francis LEPAGE Co-encadrant : Michael DAVID Journée thématique RGE Jeudi 3 juin 2010 Qu est-ce qu un réseau

Plus en détail

LICENCE : INFORMATIQUE GENERALE

LICENCE : INFORMATIQUE GENERALE LICENCE : INFORMATIQUE GENERALE RÉSUMÉ DE LA FORMATION Type de diplôme : Licence (LMD) Domaine : Sciences, Ingénierie et Technologies Mention : Informatique générale Objectifs Le diplôme offre une formation

Plus en détail

Tolérance aux pannes

Tolérance aux pannes Tolérance aux pannes Arnaud Labourel Université de Provence 15 mars 2012 Arnaud Labourel (Université de Provence) Tolérance aux pannes 15 mars 2012 1 / 55 Présentation Tolérances aux pannes Pannes Définition

Plus en détail

Resolution limit in community detection

Resolution limit in community detection Introduction Plan 2006 Introduction Plan Introduction Introduction Plan Introduction Point de départ : un graphe et des sous-graphes. But : quantifier le fait que les sous-graphes choisis sont des modules.

Plus en détail

Projet ViSaGe : implémentation de l administration et du monitoring de ViSaGe (Virtualisation du Stockage appliquée aux Grilles informatiques)

Projet ViSaGe : implémentation de l administration et du monitoring de ViSaGe (Virtualisation du Stockage appliquée aux Grilles informatiques) RenPar 18/ SympA 2008 / CFSE 6 / JC 2008 Fribourg en Suisse, 11 au 13 février 2008 Projet ViSaGe : implémentation de l administration et du monitoring de ViSaGe (Virtualisation du Stockage appliquée aux

Plus en détail

Les participants repartiront de cette formation en ayant une vision claire de la stratégie et de l éventuelle mise en œuvre d un Big Data.

Les participants repartiront de cette formation en ayant une vision claire de la stratégie et de l éventuelle mise en œuvre d un Big Data. Big Data De la stratégie à la mise en oeuvre Description : La formation a pour objet de brosser sans concession le tableau du Big Data. Les participants repartiront de cette formation en ayant une vision

Plus en détail

ADELFE : Atelier de développement de logiciels à fonctionnalité émergente

ADELFE : Atelier de développement de logiciels à fonctionnalité émergente ADELFE : Atelier de développement de logiciels à fonctionnalité émergente Gauthier Picard*, Carole Bernon*, Valérie Camps**, Marie- Pierre Gleizes* * Institut de Recherche en Informatique de Toulouse Université

Plus en détail

Architecture et moyens de traitements : travaux et perspectives

Architecture et moyens de traitements : travaux et perspectives Masses de Données en Astronomie 10-11 avril 2006 Architecture et moyens de traitements : travaux et perspectives Journée Calculs Réunion et finale Données MDAdistribués Strasbourg André Schaaff 10 et 611

Plus en détail

Modélisation agent d une Architecture Logicielle de commande d un Véhicule Autonome

Modélisation agent d une Architecture Logicielle de commande d un Véhicule Autonome Modélisation agent d une Architecture Logicielle de commande d un Véhicule Autonome ENNAJI Mourad LASC université de Metz Ile du Saulcy B.P 80794 57 012 METZ Ennaji@lasc.sciences.univ-metz.fr Résumé Cet

Plus en détail

Francis JAMBON Laboratoire d Informatique de Grenoble

Francis JAMBON Laboratoire d Informatique de Grenoble Francis JAMBON Laboratoire d Informatique de Grenoble Mise en œuvre de l oculométrie dans différents contextes d usage Analyse ergonomique Tuteurs intelligents IHM adaptatives Interaction via le regard

Plus en détail

Gestion de données à large échelle. Anne Doucet LIP6 Université Paris 6

Gestion de données à large échelle. Anne Doucet LIP6 Université Paris 6 Gestion de données à large échelle Anne Doucet LIP6 Université Paris 6 1 Plan Contexte Les réseaux P2P Non structurés Structurés Hybrides Localisation efficace et Interrogation complète et exacte des données.

Plus en détail

Normes et Principes des Réseaux

Normes et Principes des Réseaux Normes et Principes des Réseaux DI / Polytech Tours J.Y. RAMEL 2005-2006 Bibliographie 2 LIVRES : Les réseaux. Guy Pujolle. Eyrolles. 1997. Réseaux Locaux: Normes & Protocoles. Pierre Rolin. Hermès. 1993.

Plus en détail

Masses de données. 1. Introduction 2. Problématiques 3. Socle de formation (non présenté) 4. Liens avec Formation INSA

Masses de données. 1. Introduction 2. Problématiques 3. Socle de formation (non présenté) 4. Liens avec Formation INSA Masses de données 1. Introduction 2. Problématiques 3. Socle de formation (non présenté) 4. Liens avec Formation INSA Rédacteurs : Mjo Huguet / N. Jozefowiez 1. Introduction : Besoins Informations et Aide

Plus en détail

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue!

Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Les systèmes embarqués et les tendances technologiques: une évolution constante, une innovation continue! Vasiliki Sfyrla Une approche des systèmes embarqués Les systèmes embarqués existent depuis longtemps.

Plus en détail

Il existe actuellement plusieurs méthodes pour accéder à un serveur de contenu proche du client.

Il existe actuellement plusieurs méthodes pour accéder à un serveur de contenu proche du client. Yan Chen, Randy H. Katz, John D. Kubiatowicz. Dynamic Replica Placement for Scalable Content Delivery. In Peer-to-Peer Systems: First International Workshop, IPTPS 2002. Le domaine abordé par l article

Plus en détail

Service de réconciliation pour la synchronisation de copies

Service de réconciliation pour la synchronisation de copies Service de réconciliation pour la synchronisation de copies L. Chateigner, S. Chabridon, N. Sabri et G. Bernard CNRS UMR SAMOVAR 01-03 juin 2004 Plan Service de réconciliation pour la synchronisation de

Plus en détail

Objectifs du cours Modèles et Approches Formels de Systèmes Distribués

Objectifs du cours Modèles et Approches Formels de Systèmes Distribués Objectifs du cours Modèles et Approches Formels de Systèmes Distribués Mohamed Mosbah LaBRI ENSEIRB - Université Bordeaux 1 mosbah@labri.fr dept-info.labri.fr/~mosbah/mafsd.html Connaître les caractéristiques

Plus en détail

Architecture de la grille

Architecture de la grille 1 2 Diversité des applications et des utilisateurs (profile, nombre,...) supposent des solutions différentes architectures différentes avec des services communs Services de base authentification: établir

Plus en détail

Augmenter la disponibilité des applications JEE grâce au clustering : Le projet open source JShaft

Augmenter la disponibilité des applications JEE grâce au clustering : Le projet open source JShaft Augmenter la disponibilité des applications JEE grâce au clustering : Le projet open source Jérôme Petit, Serge Petit & Serli Informatique, ITMatic Jérôme Petit, Serge Petit & SERLI & ITMatic Serli : SSII

Plus en détail

Laboratoire ID-IMAG INRIA Rhône-Alpes Grenoble. http://moais.imag.fr

Laboratoire ID-IMAG INRIA Rhône-Alpes Grenoble. http://moais.imag.fr Laboratoire ID-IMAG INRIA Rhône-Alpes Grenoble http://moais.imag.fr 1 2 Personnel Permanents (7) : Vincent Danjean [MdC UJF] Thierry Gautier [CR INRIA] Guillaume Huard [MdC UJF] Grégory Mounié [MdC INPG]

Plus en détail

Analyse de l activité

Analyse de l activité Plan et liens avec UE2-15 Fondamentaux des IHM (M2 UE2-6) Valérie Renault valerie.renault@lium.univ-lemans.fr Analyse préalable de l activité [UE2-6] (cours / TP) Spécifications cahier des charges et spécifications

Plus en détail

Contribution à la mise en œuvre d un agent coopératif pour un système de production intégrant une maintenance préventive.

Contribution à la mise en œuvre d un agent coopératif pour un système de production intégrant une maintenance préventive. D. Marouf (1), K. Bouamrane(2) Contribution à la mise en œuvre d un agent coopératif pour un système de production intégrant une maintenance préventive. D. Marouf (1), K. Bouamrane(2) 1 Centre universitaire

Plus en détail

Modélisation et simulation de SMA gestion du temps

Modélisation et simulation de SMA gestion du temps Modélisation et simulation de SMA gestion du temps Problèmes / solutions MASTER RECHERCHE Fabien MICHEL fmichel@lirmm.fr 8 / 3 / 2010 1 Plan I Simulation multi-agents (rappels) II Exemple de problèmes

Plus en détail

4.2 Unités d enseignement du M1

4.2 Unités d enseignement du M1 88 CHAPITRE 4. DESCRIPTION DES UNITÉS D ENSEIGNEMENT 4.2 Unités d enseignement du M1 Tous les cours sont de 6 ECTS. Modélisation, optimisation et complexité des algorithmes (code RCP106) Objectif : Présenter

Plus en détail

Systèmes distribués Introduction

Systèmes distribués Introduction Systèmes distribués Introduction Nabil Abdennadher nabil.abdennadher@hesge.ch http://lsds.hesge.ch/distributed-systems/ 2015/2016 Semestre d Automne 1 Aujourd hui les réseaux et les SDI sont partout! Réseaux

Plus en détail

Conception d Applications Réparties

Conception d Applications Réparties Jean-François Roos LIFL - équipe GOAL- bâtiment M3 Extension - bureau 206 -Jean-Francois.Roos@lifl.fr 1 Objectifs du Cours Appréhender la conception d applications réparties motivations et concepts architectures

Plus en détail

Apports des architectures pair-à-pair pour les réseaux ad hoc

Apports des architectures pair-à-pair pour les réseaux ad hoc Apports des architectures pair-à-pair pour les réseaux ad hoc Tuan Dung NGUYEN Thèse co-encadrée ENST Bretagne INT (début : 15 octobre 2005) Directeur de thèse : Guy BERNARD - INT Co-encadrants : Siegfried

Plus en détail

Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises

Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises Aide à la conception de Système d Information Collaboratif, support de l interopérabilité des entreprises Jihed Touzi, Frédérick Bénaben, Hervé Pingaud Thèse soutenue au Centre de Génie Industriel - 9

Plus en détail

Tolérance aux Fautes des Grappes d Applications J2EE. Applications Internet dynamiques

Tolérance aux Fautes des Grappes d Applications J2EE. Applications Internet dynamiques Application statique Tolérance aux Fautes des Grappes d Applications J2EE Sara Bouchenak Sacha Krakowiak, Noël de Palma, Stéphane Fontaine Projet SARDES INRIA IMAG CFSE'4, 6-8 avril 2005 Tolérance aux

Plus en détail

Introduction aux Systèmes Distribués. Introduction générale

Introduction aux Systèmes Distribués. Introduction générale Introduction aux Systèmes Distribués Licence Informatique 3 ème année Introduction générale Eric Cariou Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Plan

Plus en détail

Diagnostic probabiliste des systèmes RFID

Diagnostic probabiliste des systèmes RFID Diagnostic probabiliste des systèmes RFID Rafik KHEDDAM, Oum-El-Kheir Aktouf et Ioannis Parissis 1 Plan de la présentation État de l art La RFID, c est quoi? Problématique Techniques existantes Approche

Plus en détail

GEL 1001 Design I (méthodologie)

GEL 1001 Design I (méthodologie) GEL 1001 Design I (méthodologie) Technique 2 Systèmes embarqués et fiabilité Hiver 2013 Département de génie électrique et de génie informatique Plan Système embarqué Ordinateur et architecture Von Neumann

Plus en détail

Réduction des modèles numériques

Réduction des modèles numériques Réduction des modèles numériques Mickaël ABBAS EDF R&D Chef de Projet Méthodes Numériques Avancées Développeur Code_Aster 03 février 2014 Mines ParisTech Plan de la présentation Éléments de contexte industriel

Plus en détail

Brevet de technicien supérieur Conception et Réalisation en Chaudronnerie Industrielle

Brevet de technicien supérieur Conception et Réalisation en Chaudronnerie Industrielle Brevet de technicien supérieur Conception et Réalisation en Chaudronnerie Industrielle ACTIVITÉS ET TÂCHES PROFESSIONNELLES Les activités professionnelles décrites ci-après, déclinées à partir des fonctions

Plus en détail

Une application de commerce électronique en utilisant CLAIM

Une application de commerce électronique en utilisant CLAIM Rapport du projet A4MA Une application de commerce électronique en utilisant CLAIM Étudiants : DINH Quang Ninh (dinhquangninh@gmail.com) PHAM Trong-Tôn (trongtonfr@yahoo.fr) Wiki : http://dev.deptrai.org/wiki/doku.php?id=projet_a4ma:start

Plus en détail

des systèmes d'information

des systèmes d'information Responsable du pilotage de systèmes d information E1A21 Pilotage, administration et gestion des systèmes d information - IR Le responsable du pilotage de système d'information définit et fait évoluer un

Plus en détail

Planification et coordination multiagents sous incertitude

Planification et coordination multiagents sous incertitude Planification et coordination multiagents sous incertitude Aurélie Beynier CoCoMa, Master 2 ANDROIDE 4 novembre 2014 Les plateformes agents Faciliter la mise en place d applications basées sur les systèmes

Plus en détail

Master Informatique Aix-Marseille Université

Master Informatique Aix-Marseille Université Aix-Marseille Université http://masterinfo.univ-mrs.fr/ Département Informatique et Interactions UFR Sciences Laboratoire d Informatique Fondamentale Laboratoire des Sciences de l Information et des Systèmes

Plus en détail

Évaluation de la sûreté de fonctionnement d applications basées sur le Web

Évaluation de la sûreté de fonctionnement d applications basées sur le Web Évaluation de la sûreté de fonctionnement d applications basées sur le Web Mohamed Kaâniche, Karama Kanoun {Mohamed.Kaaniche; Karama.Kanoun}@laas.fr Journée SEE «Sûreté de fonctionnement des réseaux de

Plus en détail

Techniques multiagents pour la réduction de l amplification de la demande dans une chaîne logistique : application à l industrie forestière

Techniques multiagents pour la réduction de l amplification de la demande dans une chaîne logistique : application à l industrie forestière 1/38 Techniques multiagents pour la réduction de l amplification de la demande dans une chaîne logistique : application à l industrie forestière Thierry Moyaux http://damas.ift.ulaval.ca/~moyaux Proposition

Plus en détail

596 RSTI - RIA 21/2007. SMA pour des environnements complexes

596 RSTI - RIA 21/2007. SMA pour des environnements complexes Editorial Les systèmes multi-agents (SMA) proposent une approche intéressante pour le développement de systèmes à plusieurs composantes autonomes pouvant coopérer. Ils permettent de modéliser des systèmes

Plus en détail

TP N 57. Déploiement et renouvellement d une constellation de satellites

TP N 57. Déploiement et renouvellement d une constellation de satellites TP N 57 Déploiement et renouvellement d une constellation de satellites L objet de ce TP est d optimiser la stratégie de déploiement et de renouvellement d une constellation de satellites ainsi que les

Plus en détail

Intergiciel sensible à l'énergie pour les réseaux mobiles ad hoc

Intergiciel sensible à l'énergie pour les réseaux mobiles ad hoc Intergiciel sensible à l'énergie pour les réseaux mobiles ad hoc Principes Moyens d'action Architecture Guilhem Paroux (France Télécom R&D / ENST) Isabelle Demeure (ENST) Plan de la présentation Les réseaux

Plus en détail

Architectures logicielles pour les systèmes embarqués temps réel

Architectures logicielles pour les systèmes embarqués temps réel ETR 07 4 septembre 2007 Architectures logicielles pour les systèmes embarqués temps réel Jean-Philippe Babau, Julien DeAntoni jean-philippe.babau@insa-lyon.fr 1/31 Plan Architectures logicielles pour les

Plus en détail

Ordonnancement sous contraintes de Qualité de Service dans les Clouds

Ordonnancement sous contraintes de Qualité de Service dans les Clouds Ordonnancement sous contraintes de Qualité de Service dans les Clouds GUÉROUT Tom DA COSTA Georges (SEPIA) MONTEIL Thierry (SARA) 05/12/2014 1 Contexte CLOUD COMPUTING Contexte : Environnement de Cloud

Plus en détail

Présentation SERVEUR EN CLUSTER. Clinkast 4 Avenue du Général de Gaulle F 92360 Meudon (+33) 6 20 44 86 95 (+33) 1 46 30 24 13

Présentation SERVEUR EN CLUSTER. Clinkast 4 Avenue du Général de Gaulle F 92360 Meudon (+33) 6 20 44 86 95 (+33) 1 46 30 24 13 Présentation SERVEUR D APPLICATIONS EN CLUSTER Description Un cluster est un ensemble d instances de serveurs d applications combinant haute disponibilité et forte évolutivité. Contrairement à un système

Plus en détail

Modélisation conceptuelle des Systèmes Distribués

Modélisation conceptuelle des Systèmes Distribués Modélisation conceptuelle des Systèmes Distribués Eric Cariou Master Technologies de l'internet 1 ère année Université de Pau et des Pays de l'adour Département Informatique Eric.Cariou@univ-pau.fr 1 Systèmes

Plus en détail

Figure 1. Structure répartie

Figure 1. Structure répartie Chapitre I: Applications Réparties et Middleware 1. Définition d une application répartie Une application répartie est constituée d un ensemble de processus (d objets, d agents, d acteurs) s exécutant

Plus en détail

MASTER SIS PRO : logique et sécurité DÉTECTION D INTRUSIONS. Odile PAPINI, LSIS. Université de Toulon et du Var. papini@univ-tln.

MASTER SIS PRO : logique et sécurité DÉTECTION D INTRUSIONS. Odile PAPINI, LSIS. Université de Toulon et du Var. papini@univ-tln. MASTER SIS PRO : logique et sécurité DÉTECTION D INTRUSIONS Odile PAPINI, LSIS. Université de Toulon et du Var. papini@univ-tln.fr Plan Introduction Généralités sur les systèmes de détection d intrusion

Plus en détail

PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL

PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL PLANIFICATION ET OPERATIONS INTEGREES DU TRANSPORT MULTIMODAL KEYWORDS : SYSTEMX, Transport, Multimodal, Simulation, Optimisation, Supervision CONTEXTE de l IRT SYSTEMX L IRT SystemX est un institut de

Plus en détail

Introduction aux grilles: L'exemple XtremWeb

Introduction aux grilles: L'exemple XtremWeb Introduction aux grilles: L'exemple XtremWeb Nicolas Bouillot bouillot@cnam.fr 1 Plan Introduction Première définition Les organisations virtuelles Contraintes liées aux Middlewares de Grilles Le calcul

Plus en détail

«La visualisation de l information au service de la veille, la recherche et la découverte d information sur le web»

«La visualisation de l information au service de la veille, la recherche et la découverte d information sur le web» «La visualisation de l information au service de la veille, la recherche et la découverte d information sur le web» Social Computing est spécialisé dans les domaines de l accès à l information, des réseaux

Plus en détail