Abstract FR:

Nous avons montré dans ce mémoire qu'une approche des systèmes de production par les fonctions et les opérations permet d'aller beaucoup plus loin dans la spécification des contraintes de fonctionnement et de gestion des configurations et des modes de fonctionnement. Nous avons présenté la problématique de la supervision et de la gestion des modes en étendant les concepts du gemma. En effet il ne s'agit plus de gérer la marche et l'arrêt d'un système automatise de production unitaire mais de gérer les configurations d'un système flexible de production compose et complexe. La démarche que nous proposons, dans un premier temps, permet de construire un modèle du système de production, par une analyse ascendante des contraintes et des liens de fonctionnement entre opérations. Cette technique de modélisation aboutit, de manière systématique, a un modèle arborescent fonctionnel du système de production. Ce modèle met en évidence les différents niveaux de commande du système flexible de production manufacturière et fait ressortir les principes d'organisation et de conduite des installations en spécifiant leurs liens avec les fonctions. L'originalité de cette démarche réside dans la possibilité d'intégrer tous les composants d'une unité de production. Elle permet aussi de tenir compte d'une manière très simple de l'ajout ou de la suppression d'un composant. Dans une seconde démarche, nous avons montre comment l'exploitation de la modélisation permet de générer une spécification de la supervision du sfpm. Cette phase de traduction est basée sur la transcription directe des modèles du sfpm dans un langage synchrone graphique: argos. La traduction de ces arborescences sous forme de programmes synchrones permet la mise à jour réactive de l'état et de la disponibilité des composants du système de production et la transmission des ordres de reconfiguration de façon originale.