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

Thèse de doctorat en Informatique

Sous la direction de Francis Cottet.

Soutenue en 1998

à Poitiers .

Le jury était composé de Thierry Soriano, Jean-Michel Châlons, Louis-Philippe Doco, Guy Pierra.

Les rapporteurs étaient Charles André, Jean-Louis Ferrier.


  • Résumé

    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.

  • Titre traduit

    Conception of a programmation environment for process control applications based on the formal model grafcet in a graphical data flow language


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 166, [48] p
  • Annexes : 43 réf. bibliogr.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Poitiers. Service commun de la documentation. Section Sciences, Techniques et Sport.
  • Disponible pour le PEB
  • Cote : TS 98/POIT/2298
  • Bibliothèque : Université de Poitiers. Service commun de la documentation. Section Sciences, Techniques et Sport.
  • Disponible pour le PEB
  • Bibliothèque : École normale supérieure. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : THESE 1998 07 / Labo LURPA

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 1998POIT2298
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.