Utilisation des Statecharts pour une spécification structurée du contrôle des cellules flexibles / par Jean-Claude Marty ; sous la direction de Marc Sartor

Date :

Editeur / Publisher : [Lieu de publication inconnu] : [s.n] , [1994]

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Fabrication, Systèmes flexibles de

Commande, Théorie de la

Temps réel (informatique)

Sartor, Marc (1957-....) (Directeur de thèse / thesis advisor)

Institut national des sciences appliquées (Toulouse ; 1961-....) (Organisme de soutenance / degree-grantor)

Collection : Rapport LAAS / Laboratoire d'automatique et d'analyse des systèmes, [puis] Laboratoire d'analyse et d'architecture des systèmes / Toulouse : Laboratoire d'automatique et d'analyse des systèmes du CNRS , 1986-...

Relation : Utilisation des Statecharts pour une spécification structurée du contrôle des cellules flexibles / par Jean-Claude Marty ; sous la direction de Marc Sartor / [S.l] : [s.n] , [1994]

Résumé / Abstract : les travaux developpes dans ce memoire se situent dans le cadre de la specification des cellules flexibles de fabrication mecanique. nous definissons en ce sens une approche dont les fondements reposent sur une approche structuree par analyse descendante. le concepteur est invite a proceder par decompositions successives d'une activite principale de controle d'une mission. la notion de mission traduit une directive de fabrication et impose un fonctionnement particulier de la cellule. les modeles employes sont des langages graphiques statechart, activity chart et les diagrammes entite-relation. le deroulement de l'etude suit les principes des methodes sart bien connues dans le domaine des systemes reactifs temps reels. ainsi chaque decomposition s'articule autour de trois axes de specification ou activity chart decrit l'aspect fonctionnel, statechart detaille l'aspect controle et les diagrammes entite-relation precisent la partie des donnees. une modelisation hierarchisee du controle est alors obtenue. l'ensemble des mecanismes preconises et des regles de construction de la representation sont illustres sur un exemple industriel