Utilisation des Statecharts pour une spécification structurée du contrôle des cellules flexibles

Statecharts to specify in a structured way the control of flexible manufacturing cells

• Auteur / Autrice : Jean-Claude Marty
• Direction : Marc Sartor
• Type : Thèse de doctorat
• Discipline(s) : Génie mécanique. Productique
• Date : Soutenance en 1994
• Etablissement(s) : Toulouse, INSA

Mots clés

Mots clés contrôlés

Temps réel (informatique)

Commande, Théorie de la

Fabrication, Systèmes flexibles de

Mots clés libres

Sciences appliquees

Informatique, automatique theorique, systemes

Atelier flexible

Specification

Cellule flexible

Modele graphique

Statechart

Analyse descendante

Systeme reactif

Cd

Flexible manufacturing systems

Specifications

Reactive system

Cd

Résumé

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