Diagnostic des systèmes matériels et logiciels

par Maisaa Khalil

Thèse de doctorat en Informatique

Sous la direction de Chantal Robach.

Soutenue en 2002

à Grenoble, INPG .

    mots clés mots clés


  • Résumé

    Les systèmes complexes (télécommunications, systèmes embarqués, systèmes réactifs. . . ) sont soumis à des contraintes fortes de qualité de service qui rendent leur conception et leur validation difficiles et coûteuses. Il est donc extrêmement important de définir et de développer les méthodes et outils permettant de réduire les coûts de validation de tels systèmes. Ce travail consiste à définir : - une méthode de diagnostic permet de localiser les composants matériels fautifs dans un système complexe. Cette méthode est fondée sur l'application des techniques d'intelligence artificielle. La résolution est guidée par des heuristiques de natures différentes et par des contraintes, soit imposées par le concepteur, soit liées à l'environnement de test. - Une méthode automatique d'aide à la localisation des fautes détectées dans un logiciel, basée sur une analyse des traces d'exécution. Cette méthode permet de restreindre le domaine des parties suspectes du logiciel afin d'aider à la correction. - Comme l'activité de diagnostic s'intègre pleinement au processus de validation, nous nous sommes intéressés dans cette thèse également à proposer une mesure de diagnosabilité en logiciel, définie comme " la facilité à localiser les fautes détectées ".


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 181 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 173-181

Où se trouve cette thèse ?

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Non disponible pour le PEB
  • Cote : TS02/INPG/0027
  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire de Sciences.
  • Disponible pour le PEB
  • Cote : TS02/INPG/0027/D
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.