Conception d'un environnement de développement des applications de contrôle de procédé basé sur le modèle formel GRAFCET et fondé sur un langage graphique flot de données / par Emmanuel Geveaux ; sous la direction de Francis Cottet

Date : 1998

Type : Livre / Book

Langue / Language : français / French

Commande de processus

Programmation parallèle (informatique)

Langages de programmation fonctionnelle

Cottet, Francis (Directeur de thèse / thesis advisor)

André, Charles (19..-.... ; ingénieur) (Rapporteur de la thèse / thesis reporter)

Ferrier, Jean-Louis (1947-....) (Rapporteur de la thèse / thesis reporter)

Soriano, Thierry (1960-.... ; professeur en Automatique) (Membre du jury / opponent)

Pierra, Guy (19..-2012 ; auteur en informatique) (Membre du jury / opponent)

Université de Poitiers (1896-....) (Organisme de soutenance / degree-grantor)

Collection : Lille-thèses / Atelier de reproduction des thèses / Lille : Atelier national de reproduction des thèses , 1983-2017

Relation : Conception d'un environnement de développement des applications de contrôle de procédé basé sur le modèle formel GRAFCET et fondé sur un langage graphique flot de données / par Emmanuel Geveaux ; sous la direction de Francis Cottet / [S.l.] , 1998

Résumé / Abstract : Ce travail presente un environnement de developpement d'applications de controle/commande de procede, base sur le modele grafcet, et implemente grace a un langage graphique flot de donnees, labview. L'utilisation d'un langage flot de donnees a permis une programmation parallele simple et naturelle mais a necessite le developpement d'outils de cooperation entre diagrammes flots de donnees concurrents. Le choix du modele grafcet, outil de specification largement utilise dans le monde de l'automatisme, permet un passage aise vers l'implementation. Ce choix a demande la mise en place d'une methode de transformation de graphes cycliques en graphes acycliques afin de pouvoir utiliser l'editeur graphique de labview pour saisir un grafcet. Le developpement d'une application dans cet environnement se fait en deux phases : une phase d'edition du grafcet de commande puis une phase d'integration et d'execution ou le modele edite est compile afin de realiser le controle du systeme que l'on souhaite piloter. Cette phase d'integration et d'execution est realisee a partir de modules canevas offrant une architecture parallele d'application ou l'utilisation des outils de cooperations entre diagrammes flots de donnees concurrents s'est averee utile et efficace