Abstract FR:

La commande d'un systeme de production automatise est, durant son exploitation, en constante evolution. Pour mener a bien ces modifications, il est imperatif de comprendre le systeme existant. Ce que ne permet pas toujours la documentation issue de la conception de la commande qui, suite aux differentes interventions sur la commande, ne correspond plus a la commande en exploitation. Un processus d'ingenierie inverse s'avere alors necessaire afin d'extraire les specifications de la commande pre-existante. Dans ce memoire, on ne traite que l'aspect comportemental d'une commande suppose decrit en grafcet ou en langage inspire grafcet. Dans un cadre industriel, ce type de description peut etre extremement complexe. De plus, ces representations comportementales ne presentent que peu ou pas de structuration et sont donc difficilement analysables. Devant ce constat, nous proposons de formaliser la description initiale de la commande. L'objectif est de la rendre comprehensible afin d'en retrouver les specifications. Le processus de formalisation est realise selon un principe d'observation en utilisant un nouveau formalisme : l'hypergrafcet. Le modele hypergrafcet base sur le grafcet, permet la structuration et la representation d'un comportement sous la forme d'une hierarchie d'abstraction. La methodologie proposee dans ce memoire repose sur la definition d'une interpretation de l'hypergrafcet specifique a un contexte d'ingenierie inverse et sur deux methodes d'elaboration d'une representation hypergrafcet a partir d'un grafcet ou d'un programme en langage inspire grafcet.