Mistral : méthodologie interactive de conception et réalisation des systèmes de commande temps-réel repartis en automatique : application à un processus électromécanique

par Fabrice Moitessier

Thèse de doctorat en Informatique

Sous la direction de Jean-Claude Derniame.

Soutenue en 1991

à Vandoeuvre-les-Nancy, INPL .


  • Résumé

    Une méthodologie peut être vue comme une boite à outils dans laquelle le concepteur trouve une variété d'outils (modèles, méthodes, solutions,. . . ) pour mener à bien son travail. La méthodologie proposée dans ce mémoire permet la conception des systèmes de commande repartis destinés aux processus physiques hybrides et rapides (machine tournante par exemple) mais ses concepts restent valables pour la conception d'autres systèmes de commande. Elle est structurée en deux grandes phases : une phase dite conception dans laquelle le concepteur va pouvoir décrire son système de commande à l'aide de réseaux de pétri et énoncer ses contraintes de temps. Cette phase est-elle même composée de 5 étapes (énoncé du problème, bilan des fonctions, formalisation des fonctions, trace du flux de données, ordonnancement des réseaux); une phase dit réalisation dans laquelle le concepteur va pouvoir implanter son application en intégrant ses contraintes de temps. Cette phase est également composée de 3 étapes (prise en compte des synchronisations avec le processus, découpage en blocs fonctionnels, implantation). Un certain nombre de règles de construction des réseaux de pétri sont proposées. Ces règles s'appuient sur le concept de certification à priori qui permet de garantir par construction les propretés du réseau. On présente également, dans ce mémoire, l'atelier de développement nécessaire comme support de la méthodologie et un éditeur implantant certaines étapes de la méthodologie


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (354 p.)cill.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 285-293. Résumé

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Lorraine. Direction de la documentation et de l'édition. BU Ingénieurs.
  • Disponible pour le PEB
  • Cote : 1991 MOITESSIER F.
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : MOITESSIER m
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : MOITESSIER m

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1991-MOI
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.