Retour au site du LAAS-CNRS

Abstract

This paper deals with the choice of abstractions for stating hierarchical diagnosis problems. Generally, hierarchical models are built manually and choosing the appropriate abstractions is quite an empirical science. To tackle this issue, we frame a diagnosis problem as an optimal constraint satisfaction problem (OCSP) and we define abstraction related to two OCSP's, in the structure and in the search space. This allow us to analyse the influence of the abstraction on the temporal computational complexity reduction offered by hierarchical reasoning. Optimal abstractions are shown to be built on the well-known diagnosis concept of potential conflict.

Mots-Clés / Keywords

Abstract

Self-healing software is one of the challenges for IST research. The WS-DIAMOND project aims at making a step in this direction by developing a framework for self-healing Web Services. In particular, the project aims at: - Defining an framework for self-healing service execution of conversationally complex Web Services, where monitoring, detection and diagnosis of anomalous situations, due to functional or non-functional errors, are carried on and repair/ reconfiguration is performed, thus guaranteeing reliability and availability of Web Services; - Defining a methodology and tools for service design that guarantee effective and efficient diagnosability/ repairability during execution. The research builds upon results in different areas such as model-based diagnosis, semantic Web Services, cooperative information systems and Web Service composition. It goes beyond a number of current projects in the area of Service Oriented Computing, which do not consider the monitoring, diagnosing and repairing of Web Services. This paper describes the achievements in the first phase of the project.

Résumé

Le comportement des systèmes hybrides résulte en général du mariage de dynamiques continues et discrètes, d'où le besoin de nouveaux concepts et de méthodes spécifiques. En particulier, les approches du diagnostic à base de modèles (DBM), dédiées aux systèmes Continus (SC) d'une part et aux systèmes à événements discrets (SED) d'autre part, ne peuvent pas être directement appliquées. L'identification non ambigue du mode du système (nominal ou de faute) à un instant donné, dépend essentiellement de la propriété de diagnosticabilité du système hybride. La diagnosticabilité d'un système est en effet la propriété qui garantit que l'état du système est identifiable avec un nombre fini d'observables. Dans cet article, on considère des systèmes hybrides modélisées par des automates hybrides. Chaque état discret modélise un mode opérationnel du système, auquel on associe un ensemble d'équations algébriques et/ou différentielles qui décrivent le comportement continu dans chaque mode. Dans cet article, on s'intéresse à la diagnosticabilité du système multimode, qui est le système continu sous-jacent. Pour cela, on fait l'extension de l'approche espace de parité pour générer des indicateurs de cohérence associés à chaque mode et on introduit le nouveau concept de signature de mode. Cette étude constitue une première étape vers l'étude de la diagnosticabilité des systèmes hybrides qui nécessitera de considérer également l'information apportée par la partie discrète.

Abstract

This paper deals with the choice of abstractions for stating hierarchical diagnosis problems. Generally, hierarchical models are built manually and choosing the appropriate abstractions is quite an empirical science. To tackle this issue, we frame a diagnosis problem as an optimal constraint satisfaction problem (OCSP) and we define abstraction related to two OCSP's, in the structure and in the search space. This allow us to analyse the influence of the abstraction on the temporal computational complexity reduction offered by hierarchical reasoning. Optimal abstractions are shown to be built on the well-known diagnosis concept of potential conflict.

Mots-Clés / Keywords