Tolérance aux fautes imprévues dans les systèmes complexes

Slides:



Advertisements
Présentations similaires
Un environnement de développement éducatif
Advertisements

EPITECH 2009 UML EPITECH 2009
L'interopérabilité dans l'innovation 2
Karima Boudaoud, Charles McCathieNevile
Eléments de Génie Logiciel
« Connaître les besoins en logement : une exigence partagée sur les territoires ? » La connaissance des besoins en logement est un des points faibles des.
IREMIA : Institut de REcherche en Mathématiques et Informatique Appliquées Université de la Réunion Uniformisation des mécanismes de conception de SMA.
10/31/02 Leïla Merghem - LIP6 Une approche Multi-Agents pour la Simulation de Réseaux de Télécommunications Leïla Merghem (LIP 6) Dominique Gaïti (LIP.
Patterns & Anti Patterns
Quelles sont les composantes principales d ’une activité de formation?
Réunion GT SIM GART – 29 Janvier 2013
COMMISSION GERS Catherine Durand-Couchoux Assemblée Générale du 11 Février 2010.
J. Paul Gibson Bureau A 207, Le département LOgiciels-Réseaux
1 B Système Enjeux et principes Cours DESS Nantes 04 Décembre 2002 Didier ESSAME.
LI.A ça ressemble à ça… des fois…. Ou pas… Rappels et définition de lIA – Lidée quon sen fait – Jusquoù on va aujourdhui / dans le futur? – Petit Etat.
Analyse et diagnostic Développement d’Outils
Concevoir un système dinformation hospitalier évolutif, ouvert et adapté grâce à un processus de conception orienté modèle Benjamin Chevallereau Alain.
1 ARCHITECTURE DACCÈS la méthode générale modèle de données définitions module daccès / modules métiers construction des modèles les modules daccès, les.
FSAB1402: Informatique 2 Techniques de Programmation Orientée Objet
MIAGE MASTER 1 Cours de gestion de projet
XML-Family Web Services Description Language W.S.D.L.
HTML.
Support d'adaptation dynamique pour le modèle de composants PauWare
Concepts de base : la Classe Pour faire une comparaison simple, une classe serait a priori, une structure C avec des variables et des fonctions.
Les Systèmes Multi-Agents pour la Gestion de Production
Caroline Chopinaud Amal El Fallah Seghrouchni Patrick Taillibert
Simulation multi-agent de phénomènes collectifs : quelques questions d’ordre épistémologique Frédéric AMBLARD Institut de Recherche en Informatique de.
Aide à la décision et à la négociation dans un problème de gestion de production distribuée Jean-Pierre Camalot et Patrick Esquirol LAAS-CNRS 7, avenue.
Exploitation du modèle holonique dans un cadre combinant IAD et IHM
MAINTENANCE INDUSTRIELLE
IFT451 Introduction aux langages formels Froduald Kabanza Département dinformatique Université de Sherbrooke planiart.usherbrooke.ca/kabanza/cours/ift313.
PROCESS DE GESTION D’UN PROJET
Contrôle de l’émergence dans les systèmes d’agents cognitifs autonomes
TESTS D’UTILISABILITE DANS LES SERVICES PUBLICS
OIL & UPML DREVET - HUMBERT Introduction OIL : un langage de description dontologies UPML : un langage de description de systèmes à base.
« Recherche de méthode d’estimation de volume de production à risque »
Veille Technologique : Étudier les avantages et inconvénients du typage statique et du typage dynamique pour des applications interactives Sujet proposé.
Mesures de performance organisationnelle Cours ICO 810
La méthodologie expérimentale Fondements et bases d’application
Ingrid Geretschläger and Jocelyne Jerdelet/CERN ETT-SIS-DM1 La litterature grise : importation et gestion au SIS u Dans le passé, échange entre.
Universté de la Manouba
© Petko ValtchevUniversité de Montréal Janvier IFT 2251 Génie Logiciel Notions de Base Hiver 2002 Petko Valtchev.
Partie II Sémantique.
Alessandro de Luna Almeida
Sensibilisation a la modelisation
Structures de données IFT Abder Alikacem Gestion des exceptions Module 2 Département dinformatique et de génie logiciel Édition Septembre 2009.
Création d’une communauté web scénarisée : le projet Crealys
Similarité Belkhir Abdelkader Laboratoire LSI USTHB
Module 8 : Surveillance des performances de SQL Server
Design Patterns en programmation par objets. Plan  Design patterns –De quoi s’agit-il? –Pourquoi faut-il les utiliser?  Design patterns essentiels 
Exposé du 26/03/2010 Michaël Le Clerc & Nicolas Le Texier Mires Un intergiciel pour les réseaux de capteurs.
GESTION DE PROJET
Bases de Données Temporelles
Maîtrise Informatique 2002/2003 Langages & Systèmes Objets TP : Agents Logiciels.
Communiquer efficacement
Introduction au Génie Logiciel
Dyalog.Net Peter Donnelly Managing Director Dyadic Systems Toronto 30/10/2002.
RELATIONS TELEPHONIQUE CLIENTS
Algorithmes pour le web “A Unified Approach to Personalization Based on Probabilistic Latent Semantic Models of Web Usage and Content”
Initiation à la conception des systèmes d'informations
Reconnaissance de visage par vidéo
L’Ergonomie dans la conception
L T I Laboratoire de Téléinformatique 2 Projet de semestre Parseur XML basé sur la DTD : Buts –Utiliser la grammaire définissant un type de fichiers XML.
21/02/2003DEA DISIC 1 Grid Computing Programming the grid: Distributed Software Components, P2P and Grid Web Services for Scientific Applications Tarak.
LES OUTILS DE GESTION DE PROJET
Dániel Darvas (CERN BE-ICS-PCS) Spécification formelle pour les API CERN-ESTEREL séminaire 21/01/2016, CERN Travail conjoint avec B. Fernández, E. Blanco,
PRÉSENTATION AGL LES TESTS LOGICIELS LES TEST LOGICIELS 1 Mickael BETTINELLI Brandon OZIOL Gaétan PHILIPPE Simon LUAIRE.
CONTENU DE L ’ISO Définition métrologie.
Lancer et suivre un audit local TRAINING LAF 2009.
Transcription de la présentation:

Tolérance aux fautes imprévues dans les systèmes complexes Costin Caval Amal El Fallah Seghrouchni Patrick Taillibert

Sommaire De quoi on parle Difficultés identifiées Qu’est-ce qu’on veut faire

Faute imprévue? Définition Toutes les fautes sont imprévues ? Faute dont l’apparition n’est pas prévue dans le système  Toutes les fautes sont imprévues ? Nous prenons un cycle de production simplifié…

Conception Fautes ? Oui Non Développement Fautes ? Oui Non

Conception Fautes ? Oui Non Développement Sure ? Fautes ? Oui Non

Conception Oui Fautes ? Oui Traitement ? Non Non Développement Sure ? Oui Fautes ? Oui Traitement ? Non Non

Faute imprévue ? Définition Par qui ? Faute dont l’apparition n’est pas prévue dans le système Faute non identifiée ou volontairement ignorée (« risque assumé ») au moment de la conception et/ou de la construction d’un système Par qui ? Résultat = Concepteurs + Développeurs + Outils

Faute imprévue? État d’esprit aider le concepteur à décrire et le développeur à écrire des programmes implicitement fiables Langage Plateforme Méthodologie

Faute imprévue? Travaux que nous regardons Observer [Diaz et al. 1994] Sentinelles [Shah et al. 2009, Klein et al. 1999] Détection des anomalies [Chandola et al. 2009] Mission data system [Rasmussen 2001]

Verrous #1 Agents communiquant uniquement par échange de messages #2 Agents au comportement dirigé par des buts #3 Détection des erreurs #4 Localisation des agents contaminés

#1 Agents Avantages « classiques » des agents L’autonomie … des autres Interactions par des messages Propagation limitée des erreurs L’autonomie … des autres

#2 Agents et buts Contrôle sur les résultats des actions Méthodologie format des buts, plans, automates etc. Langage

#3 Détection Limitation des « libertés » des développeurs Assembler -> C -> Java -> ?... (ex.: Erlang) Typage, contraintes, contrôle des états d’attente

#4 Localisation Hypothèses sur l’état correct des interlocuteurs Métadonnées pour les messages échangées

Conclusions Définir le concept de faute imprévue Décrire des agents dirigés par des buts Définir un langage Ajouter des éléments de localisation

Merci 

Références Chandola, Varun, Arindam Banerjee, and Vipin Kumar. 2009. “Anomaly Detection: A Survey.” ACM Comput. Surv. 41 (3) (July): 15:1–15:58. Diaz, Michel, Guy Juanole, and Jean-Pierre Courtiat. 1994. “Observer-A Concept for Formal On-Line Validation of Distributed Systems.” IEEE Trans. Softw. Eng. 20 (12) (December): 900–913. Klein, Mark, and Chrysanthos Dellarocas. 1999. “Exception Handling in Agent Systems.” In Proceedings of the Third Annual Conference on Autonomous Agents, 62–68. AGENTS  ’99. New York, NY, USA: ACM. Rasmussen, R.D. 2001. “Goal-based Fault Tolerance for Space Systems Using the Mission Data System.” In Aerospace Conference, 2001, IEEE Proceedings., 5:2401–2410. Shah, Nazaraf, Rahat Iqbal, Anne James, and Kashif Iqbal. 2009. “Exception Representation and Management in Open Multi-agent Systems.” Inf. Sci. 179 (15) (July): 2555–2561.

Notes suite à la présentation Q : Est-ce que vous vous intéressez que à des fautes de conception et de développement ou à d’autres fautes aussi? R : Nous nous intéressons à toutes les fautes qui peuvent se produire et nous les traitons en ligne en fonction des buts des agents. Néanmoins, nous ne pouvons pas garantir le résultat du système dans tous les cas, car le système peut perdre des ressources vitales à l’achèvement de ses buts. Q : Pourquoi est-ce que vous voulez proposer un nouveau langage? R : La proposition d’un nouveau langage est hypothétique à ce niveau, mais le langage que nous avons dans le laboratoire (ALMA) a certains aspects que nous comptons utiliser dans notre méthode, comme le raisonnement sous hypothèses et les timeouts pour les états d’attente. Néanmoins, nous pourrions être amenés à utiliser un des autres langages déjà existants comme base pour notre proposition.