Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer

Résumé : Les architectures informatiques nécessitent aujourd~hui des capacités ~d~autoguérison~, c~est-à-dire de diagnostic de l~occurrence de fautes et de réparation de leurs effets, de manière autonome, pour continuer à assurer leurs fonctionnalités. Cela est particulièrement vrai dans le domaine des Services Web, auxquels nous appliquons actuellement ces travaux. Les concepteurs de tels systèmes ont besoin d~outils permettant de vérifier avant leur mise en oeuvre opérationnelle qu~ils sont bien ~autoguérissants~. Pour cela, une première étape consiste à définir formellement ce qu~autoguérison signifie. La diagnosticabilité est la capacité d~un système à déterminer l~état fautif dans lequel il se trouve à partir des observations dont il dispose. La réparabilité est la capacité d~un système à disposer de plans de réparation adaptés aux fautes. Nous proposons une nouvelle définition de diagnosticabilité, qui ne s~appuie plus sur une partition des fautes comme le fait la définition classique, mais sur un ensemble couvrant de macrofautes et permet d~associer à un système son niveau de diagnosticabilité. Nous proposons ensuite une première définition formelle de la réparabilité. Ces deux définitions sont celles qui conviennent pour caractériser la capacité d~autoguérison d~un système. Nous proposons ainsi une définition d~autoguérison en combinant pour la première fois explicitement la diagnosticabilité et la réparabilité. Un théorème peut alors être démontré dont découle assez directement un algorithme de vérification de l~autoguérison. Nous terminons en montrant comment ce travail peut servir à élaborer des stratégies et aider les concepteurs à analyser leur système et le rendre autoguérissant.
Type de document :
Article dans une revue
Revue I3 - Information Interaction Intelligence, Cépaduès, 2009, 8 (2)
Liste complète des métadonnées

https://hal.inria.fr/inria-00460681
Contributeur : René Quiniou <>
Soumis le : mardi 2 mars 2010 - 09:14:32
Dernière modification le : mardi 11 septembre 2018 - 15:18:15

Identifiants

  • HAL Id : inria-00460681, version 1

Citation

Marie-Odile Cordier, Yannick Pencolé, Louise Travé-Massuyès, Thierry Vidal. Caractérisation des systèmes autoguérissants : diagnostiquer ce que l'on va réparer. Revue I3 - Information Interaction Intelligence, Cépaduès, 2009, 8 (2). 〈inria-00460681〉

Partager

Métriques

Consultations de la notice

267