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.