Specification d'une methode d'expression des besoins de commande pour les systemes de production

par Hervé Guéguen

Thèse de doctorat en Traitement du signal et télécommunications

Sous la direction de Yves Quénec'hdu.

Soutenue en 1993

à Rennes 1 .


  • Résumé

    Les cahiers des charges d'automatisation et les specifications des besoins des utilisateurs sont des points tres importants pour la qualite des systemes de commande des systemes de production et la maitrise de leur cout de developpement. Ces informations sont pourtant en regle generale peu formalisees voire parfois pas exprimees explicitement. L'objet de cette these est de specifier une methode qui permette de guider l'expression et la formalisation des besoins de commande, en vue de l'integration de l'activite de conception de la commande, qui va utiliser ces informations, dans une demarche coherente de developpement des systemes de commande. La methode proposee repose sur la construction progressive d'un modele du comportement attendu pour le systeme constitue du processus de production, des produits et de la commande. La structure du modele est realisee par un ensemble hierarchise d'objets qui correspondent aux entites tangibles du systeme de production. Cette structure correspond alors a celle du processus et est facilement comprehensible par les specialistes du processus. Elle permet une approche progressive du probleme qui est basee sur la definition de differents niveaux d'abstraction. Les specifications comportementales sont guidees par des principes bases sur la notion d'objectifs et sont formalises a l'aide des statecharts. Apres une presentation de la problematique des specifications de besoins, les principes de la methode proposee sont presentes et replaces dans le cadre general des methodes de specification issues du genie logiciel. Le probleme des specifications comportementales et du choix du formalisme retenu pour les exprimer est ensuite detaille. Enfin l'application de la methode a deux exemples de systemes de production hybrides est presentee


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (247 p.)
  • Annexes : 94 réf.

Où se trouve cette thèse ?

  • Bibliothèque : Université de Rennes I. Service commun de la documentation. Section sciences et philosophie.
  • Disponible pour le PEB
  • Cote : TA RENNES 1993/136
  • Bibliothèque : Ecole Polytechnique de l’Université François Rabelais . Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-331
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.