Un point de vue unifié sur la diagnosticabilité

Le probleme du diagnostic de defaillance a base de modele dans les systemes complexes a recu un interet croissant durant les dernieres decennies. Ce probleme doit etre pris en compte des la phase de conception du systeme, au moyen de l'analyse de la diagnosticabilite. La diagnosticabilite est la capacite d'un systeme a exhiber des symptomes differents pour un ensemble de situations de defaillances anticipees. Plusieurs approches ont ete developpees basees sur differents formalismes de modelisation, toutefois les raisonnements menant a la diagnosticabilite sont tres semblables dans toutes ces approches. Cette these developpe une comparaison des approches existantes et etablit une definition unifiee de la diagnosticabilite. Une nouvelle approche pour l'analyse de diagnosticabilite, basee sur les modes de faute partiels, est decrite. Elle est implementee dans le contexte des architectures orientees services, plus precisement sur des web service, et beneficia du cadre du projet europeen WS-DIAMOND. Une nouvelle generalisation de la definition de la diagnosticabilite a n'importe quel ensemble d'etat est presentee, qui permet de prendre en compte de nouveaux types de proprietes, comme les preconditions de reparation, ou la qualite de service. Ces travaux ouvrent des perspectives pour le raisonnement de diagnosticabilite independant du modele, pour la diagnosticabilite basee sur d'autres types de modeles, ainsi que pour l'integration du diagnostic dans un outil de surveillance plus general. Le diagnostic et l'analyse de diagnosticabilite des systemes logiciels est encore un domaine jeune, et ouvre de nombreuses connections avec le domaine de la securite informatique.