Etude d'une stratégie de maintenance adaptative pour des systèmes logiques

par Nouar Garcia-Mardambek

Thèse de doctorat en Informatique

Sous la direction de Chantal Robach.

Soutenue en 1991

à Grenoble INPG .


  • Résumé

    La complexité des équipements numériques entraîne une difficulté croissante des tâches de vérification de ces équipements tout au long de leur vie: conception, production, industrialisation et maintenance. Chacune de ces étapes induit des modes de défaillances spécifiques et nécessite des méthodes de vérification adaptées. Alors que des méthodes et outils de génération de test ont été développés pour les étapes de conception et production, les vérifications en phase opérationnelle sont restées très empiriques, et font largement appel à l'expertise des ingénieurs de maintenance. C'est pourquoi nous nous sommes intéressés à la maintenance préventive/curative des systèmes numériques. L'objectif était de concevoir une stratégie qui organise l'exécution de fonctions élémentaires de test en fonction du type de vérification (prévention, correction) et des contraintes à prendre en compte. Cette stratégie fournit une spécification fonctionnelle du programme de maintenance. Le problème rencontré est équivalent à un problème de couverture d'une matrice booléenne. Nous avons proposé et validé: ― des méthodes de résolution classique: multiplication directe, branchement par ligne et par colonne, arbre sémantique; le problème à résoudre est équivalent à un problème de conversion d'une formule normale conjonctive en une formule normale équivalente disjonctive (CFN-DFN). C'est un problème NP-complet. Ces méthodes de résolution fournissent toutes les solutions minimales en minimisant la complexité des algorithmes appliqués et le temps de calcul nécessaire; ― une méthode heuristique fondée sur des techniques d'Intelligence Artificielle: ce type de résolution fournit une solution optimale par rapport à un ensemble de critères donnés. Un certain nombre de systèmes à base de techniques d'I. A. Ayant été développés dans les différents domaines du test: diagnostic, génération des stimuli, maintenance et réparation, nous avons mené une analyse comparative et fait une synthèse sur l'ensemble des solutions de type système expert. Le système OPS5, à base de productions, a été utilisé pour la programmation de ces différentes méthodes, et leur validation sur des cartes réelles

  • Titre traduit

    Adaptative maintenance strategy for digital systems


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (213 p.)
  • Annexes : Bibliogr.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Disponible pour le PEB
  • Cote : TS 91/INPG/0076
  • Bibliothèque : Moyens Informatiques et Multimédia. Information.
  • Disponible pour le PEB
  • Cote : IMAG-1991-GAR
  • Bibliothèque : École polytechnique. Bibliothèque Centrale.
  • Disponible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.