La présentation est en train de télécharger. S'il vous plaît, attendez

La présentation est en train de télécharger. S'il vous plaît, attendez

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

Présentations similaires


Présentation au sujet: "Tolérance aux fautes imprévues dans les systèmes complexes Costin Caval Amal El Fallah Seghrouchni Patrick Taillibert."— Transcription de la présentation:

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

2 Sommaire De quoi on parle Difficultés identifiées Quest-ce quon veut faire

3 Faute imprévue? Définition – Faute dont lapparition nest pas prévue dans le système Toutes les fautes sont imprévues ? Nous prenons un cycle de production simplifié…

4 Conception Fautes ? Développement Fautes ? Oui Non

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

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

7 Faute imprévue ? Définition – Faute dont lapparition nest 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 dun système Par qui ? – Résultat = Concepteurs + Développeurs + Outils

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

9 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]

10 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

11 #1 Agents Avantages « classiques » des agents – Interactions par des messages – Propagation limitée des erreurs Lautonomie … des autres

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

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

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

15 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

16 Merci

17 Références Chandola, Varun, Arindam Banerjee, and Vipin Kumar Anomaly Detection: A Survey. ACM Comput. Surv. 41 (3) (July): 15:1–15:58. Diaz, Michel, Guy Juanole, and Jean-Pierre Courtiat 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 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 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 Exception Representation and Management in Open Multi-agent Systems. Inf. Sci. 179 (15) (July): 2555–2561.

18 Notes suite à la présentation Q : Est-ce que vous vous intéressez que à des fautes de conception et de développement ou à dautres 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 à lachèvement de ses buts. Q : Pourquoi est-ce que vous voulez proposer un nouveau langage? R : La proposition dun 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 dattente. Néanmoins, nous pourrions être amenés à utiliser un des autres langages déjà existants comme base pour notre proposition.


Télécharger ppt "Tolérance aux fautes imprévues dans les systèmes complexes Costin Caval Amal El Fallah Seghrouchni Patrick Taillibert."

Présentations similaires


Annonces Google