tolérance aux fautes imprévues dans les systèmes complexes
DESCRIPTION
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 - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/1.jpg)
Tolérance aux fautes imprévues dans les systèmes complexes
Costin CavalAmal El Fallah Seghrouchni
Patrick Taillibert
![Page 2: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/2.jpg)
Sommaire
• De quoi on parle
• Difficultés identifiées
• Qu’est-ce qu’on veut faire
![Page 3: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/3.jpg)
Faute imprévue?
• Définition – 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é…
![Page 4: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/4.jpg)
Conception
Fautes ?
Développement
Fautes ?
Oui
Oui
Non
Non
![Page 5: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/5.jpg)
Conception
Fautes ?
Développement
Fautes ?
Oui
Oui
Non
Non
Sure ?
![Page 6: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/6.jpg)
Traitement ?
Traitement ?
Conception
Fautes ?
Développement
Fautes ?
Oui
Oui
Oui
Oui
Non Non
Non Non
Sure ?
![Page 7: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/7.jpg)
Faute imprévue ?
• Définition – 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
![Page 8: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/8.jpg)
Faute imprévue?
• État d’esprit – aider le concepteur à décrire et le développeur à
écrire des programmes implicitement fiables• Langage• Plateforme• Méthodologie
![Page 9: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/9.jpg)
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]
![Page 10: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/10.jpg)
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
![Page 11: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/11.jpg)
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
![Page 12: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/12.jpg)
Merci
![Page 13: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/13.jpg)
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.
![Page 14: Tolérance aux fautes imprévues dans les systèmes complexes](https://reader036.vdocuments.fr/reader036/viewer/2022082900/56816708550346895ddb70bd/html5/thumbnails/14.jpg)
Notes suite à la présentationQ : 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.