Abstract FR:

Un systeme flexible de production est compose d'un ensemble d'equipements heterogenes qui cooperent pour la realisation d'une tache de fabrication donnee. La conduite d'un tel systeme, compte tenu de sa nature repartie, demande de resoudre tout un ensemble de problemes relatifs a la synchronisation et a l'interconnexion de ces equipements. Les travaux presentes dans ce memoire apportent une contribution a l'etude et a la conception de systemes flexibles de production. Une methodologie, fondee sur l'utilisation de la technique de description formelle estelle, est d'abord proposee. Elle couvre les differentes etapes de conception d'une cellule flexible d'assemblage, c'est-a-dire de la specification initiale de la tache d'assemblage a realiser jusqu'a l'implementation sur site du systeme de conduite de la cellule. Cette methodologie permet, de plus, de valider, au moyen d'une technique de verification par abstraction, les differentes etapes de conception et les differents niveaux de controle du systeme de conduite (en particulier le generateur de plans et le systeme de pilotage). L'utilisation de deux outils de support a estelle, estim et ews, a permis l'automatisation de la methodologie proposee et conduit a une implementation operationnelle du systeme de conduite sur la cellule flexible experimentale du laasllll/cnrs. En complement a cette etude, estelle a egalement ete utilisee pour specifier et valider un profil de la norme mms (manufacturing message services) defini de maniere a satisfaire les besoins de communication au sein d'une cellule flexible d'assemblage heterogene