De la Matrac au CarDeCRS

Ce travail étend au cadre distribué et plus précisément à la surveillance de Web Services l'approche par reconnaissance de chroniques, adaptée au diagnostic de systèmes à évènements discrets. Le formalisme des chroniques a été proposé il y a quelques années dans le but de surveiller des systèmes dynamiques en temps réel. Une chronique, caractérisée par un ensemble d'évènements temporellement contraints, décrit les situations à surveiller. Il existe des algorithmes efficaces de reconnaissance de chroniques à la volée, mais toujours dans un cadre centralisé. Or, il est maintenant admis que les approches distribuées sont plus adaptées à la surveillance de systèmes réels. La contribution de cette thèse est donc d'étendre l'approche à base de chroniques au contexte distribué. Nous proposons ainsi une extension du formalisme des chroniques ainsi que deux architectures décentralisées, nommées Matrac et CarDeCRS dont le but commun est, en fusionnant des diagnostics locaux calculés par des reconnaisseurs de chroniques, d'obtenir un diagnostic global permettant d'élaborer un plan de réparation.