Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
Methodes et outils pour le diagnostic fonctionnel de microprocesseurs
| Auteur / Autrice : | Haissam Ziade |
| Direction : | Jean-Claude Geoffroy |
| Type : | Thèse de doctorat |
| Discipline(s) : | Automatique |
| Date : | Soutenance en 1986 |
| Etablissement(s) : | Toulouse, INSA |
Mots clés
Mots clés contrôlés
Résumé
Ce travail s'interesse au diagnostic fonctionnel de microprocesseurs. Deux objectifs essentiels sont vises: recherche de nouveaux mecanismes de defaillances dans le but d'enrichir la base de connaissance actuelle et aide a la localisation de defauts. Apres une etude bibliographique du probleme de diagnostic de microprocesseurs dans ses deux aspects: detection et localisation, une approche de diagnostic dite approche "a posteriori" est proposee. Elle permet la localisation d'anomalies dans des circuits defectueux a l'aide d'une suite d'actions du type hypotheses d'erreurs/validation. Les hypotheses d'erreurs sont determinees en fonction des symptomes reellement observes lors d'un test. Cette approche a ete mise en oeuvre en utilisant la chaine de test gapt. Elle a ete appliquee a un ensemble de microprocesseurs 80c86. Les resultats obtenus ont prouve l'efficacite de cette methode et la souplesse d'utilisation de la chaine de test gapt.