Accéder directement au contenu Accéder directement à la navigation
Thèse

Un point de vue unifié sur la diagnosticabilité

Résumé : Le problème du diagnostic de défaillance à base de modèle dans les systèmes complexes a reçu un intérêt croissant durant les dernières décennies. Ce problème doit être pris en compte dès la phase de conception du système, au moyen de l'analyse de la diagnosticabilité. La diagnosticabilité est la capacité d'un système à exhiber des symptômes différents pour un ensemble de situations de défaillances anticipées. Plusieurs approches ont été développées basées sur différents formalismes de modélisation, toutefois les raisonnements menant à la diagnosticabilité sont très semblables dans toutes ces approches. Cette thèse développe une comparaison des approches existantes et établit une définition unifiée de la diagnosticabilité. Une nouvelle approche pour l'analyse de diagnosticabilité, basée sur les modes de faute partiels, est décrite. Elle est implémentée dans le contexte des architectures orientées services, plus précisément sur des web service, et bénéficia du cadre du projet européen WS-DIAMOND. Une nouvelle généralisation de la définition de la diagnosticabilité à n'importe quel ensemble d'état est présentée, qui permet de prendre en compte de nouveaux types de propriétés, comme les préconditions de réparation, ou la qualité de service. Ces travaux ouvrent des perspectives pour le raisonnement de diagnosticabilité indépendant du modèle, pour la diagnosticabilité basée sur d'autres types de modèles, ainsi que pour l'intégration du diagnostic dans un outil de surveillance plus général. Le diagnostic et l'analyse de diagnosticabilité des systèmes logiciels est encore un domaine jeune, et ouvre de nombreuses connections avec le domaine de la sécurité informatique.
Type de document :
Thèse
Liste complète des métadonnées

Littérature citée [48 références]  Voir  Masquer  Télécharger

https://tel.archives-ouvertes.fr/tel-00354934
Contributeur : Arlette Evrard Connectez-vous pour contacter le contributeur
Soumis le : mercredi 21 janvier 2009 - 15:05:45
Dernière modification le : mardi 19 octobre 2021 - 23:16:22
Archivage à long terme le : : vendredi 12 octobre 2012 - 10:00:40

Fichier

Identifiants

  • HAL Id : tel-00354934, version 1

Citation

Xavier Pucel. Un point de vue unifié sur la diagnosticabilité. Réseaux et télécommunications [cs.NI]. INSA de Toulouse, 2008. Français. ⟨tel-00354934⟩

Partager

Métriques

Les métriques sont temporairement indisponibles