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

Specification of a method for the expression of control requirements for production systems

• Auteur / Autrice : Hervé Guéguen
• Direction : Yves Quénec'hdu
• Type : Thèse de doctorat
• Discipline(s) : Traitement du signal et télécommunications
• Date : Soutenance en 1993
• Etablissement(s) : Rennes 1

Mots clés

Mots clés contrôlés

Spécifications

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