Test en ligne des systèmes à base de microprocesseur. (One-line test in microprocessor based systems)

Cette these traite de la verification en ligne, par des moyens materiels, du flot de controle d'un systeme a base de microprocesseur. Une technique de compaction est utilisee pour faciliter cette verification (analyse de signature). La plupart des methodes proposees jusqu'ici imposent une modification du programme d'application, afin d'introduire dans celui-ci des proprietes invariantes (la signature en chaque point de l'organigramme est independante des chemins prealablement parcourus). Les methodes proposees ici, au contraire, ont comme caracteristique principale de ne pas modifier le programme verifie et utilisent un dispositif de type processeur, disposant d'une memoire locale, pour assurer l'invariance de la signature. Deux methodes sont ainsi decrites. La premiere est facilement adaptable a differents microprocesseurs et presente une efficacite qui la place parmi les meilleures methodes proposees jusqu'ici. La seconde methode a ete derivee de la premiere dans le but de diminuer la quantite d'informations necessaire au test. Cette derniere methode a ete implantee sur un prototype d'unite centrale d'automate programmable (avec la societe telemecanique) et son efficacite a ete evaluee par des experiences d'injection de fautes. Le cout d'implantation particulierement faible dans le cas du prototype realise peut permettre d'envisager une evolution de celui-ci vers un produit industriel