Abstract FR:

La bibliographie sur les systemes automatises de production reconnait largement l'importance des modes de marche (et d'arret) dans le cycle de vie des s. A. P. , aussi bien dans la phase de conception que dans la phase d'exploitation. Mais il existe actuellement fort peu d'outils permettant de les modeliser ou de les integrer lors de la conception. L'objectif de cette these est de proposer une approche unifiee des modes de marche d'un s. A. P. Partant d'un point de vue g. E. M. M. A. , on modelise le comportement de chacun des differents composants elementaires d'un atelier par un automate fini deterministe dont les etats sont les modes de marche, les transitions etant les commutations entre modes. Puis, par composition, en respectant la structure fortement hierarchique d'un s. A. P. , en integrant les interactions et les contraintes de fonctionnement entre composants, et en effectuant a chaque niveau de la hierarchie une abstraction par encapsulation des niveaux inferieurs, on modelise le comportement du s. A. P. Dans sa globalite. Cette demarche s'accompagne, en outre, de la construction d'un gestionnaire pour chaque niveau d'encapsulation, gestionnaire constituant une modelisation du logiciel de commande a mettre en uvre. La modelisation a l'aide d'automates finis deterministes permet une formalisation des differentes operations effectuees. Un premier chapitre introductif presente le contexte de cette recherche, celui des s. A. P. , et on y situe la notion de mode de marche par rapport aux differents termes et aux differentes interpretations rencontrees. Le second chapitre expose le modele avec les caracteristiques et les contraintes prises en compte par cette approche; le troisieme en effectue sa specification formelle. Le quatrieme et dernier chapitre est un exemple de sa mise en uvre dans le cadre des langages de configuration