PROCEDE DE DEBOGAGE D'UN LOGICIEL DE FONCTIONNEMENT D'UN SYSTEME EMBARQUE A BORD D'UN AERONEF ET DISPOSITIF DE MISE EN OEUVRE

Procédé de débogage d'un programme d'un logiciel de fonctionnement d'un système embarqué, caractérisé en ce qu'il comporte les étapes suivantes :a) balisage (31) du programme en positionnant des balises le long d'un chemin d'exécution pour découper ledit chemin d'exécution en intervalles fonctionnels adjacents,b) exécution (32) normale du programme.c) capture (33) d'un état d'exécution du programme par des vecteurs d'état des balises,d) lorsqu'une erreur est détectée :- recherche (36) d'un intervalle fonctionnel défaillant en fonction des vecteurs d'état des balises,- exécution reverse (41) du programme dans cet intervalle fonctionnel défaillant,- détermination et correction de l'erreur (42).