[PDF] [PDF] Atelier Logiciel pour le Génie Automatique - Ce document est le fruit

[PDF] Les Systèmes Automatisés

Simples ou complexes, les systèmes automatisés sont partout dans notre environnement quotidien Connaître leur fonctionnement permet aussi de mieux  

[PDF] PRESENTATION DES SYSTEMES AUTOMATISES

L'automatique est ainsi la discipline scientifique permettant de caractériser les systèmes automatisés et de choisir/concevoir/réaliser la commande des systèmes

[PDF] STRUCTURE GENERALE DUN SYSTEME AUTOMATISE Notion

Un système automatisé peut, pour faciliter l'analyse, se représenter sous la forme d'un schéma identifiant trois parties (P O ; P C ; P P) du système et exprimant 

[PDF] Atelier Logiciel pour le Génie Automatique - Ce document est le fruit

Un M S A P (Machine et Système Automatisé de Production) est défini dans [ FRA 87] par: exécutable dédié aux Machines et Systèmes Automatisés de Production, par l'association d'une analyse IDEFl: information modeling manual

[PDF] Matière : Architecture des Systèmes Automatisés Chapitre 1: Les

Architecture générale des systèmes automatisés : Un système automatisé est composé de deux parties principales : la partie opérative et la partie commande ;

[PDF] Thème

Généralité sur les systèmes automatisés de production 8 I Introduction Ce chapitre permet de comprendre la structure d'un Système Automatisé de Production 

[PDF] GENIE DES SYSTEMES AUTOMATISES LES - FOAD - MOOC

UE5-21 Processus de production d'énergie 2 UE5-22 Interventions pratiques en Electronique 1 UE5-23 Maintenance des systèmes automatisés 1 Activités  

[PDF] Chapitre 1 AUTOMATISMES

LES SYSTEMES AUTOMATISES 1) Système technique : C'est un ensemble technique conçu pour répondre à un besoin Sa fonction globale est d'apporter une 

[PDF] les systèmes avec deux inconnus

[PDF] LES SYSTEMES COLONIAUX EN AFRIQUE

[PDF] Les systèmes d'équations

[PDF] les systèmes d'exploitation les plus utilisés

[PDF] les systèmes de 2 équations ? 2 inconnues

[PDF] Les systèmes électoraux et l’élaboration d'une loi

[PDF] les systèmes maths

[PDF] Les systèmes!

[PDF] Les tables claudiennes

[PDF] Les Tables claudiennes (DM d'Histoire)

[PDF] les tables claudiennes histoire seconde

[PDF] les tables claudiennes la décision de l'empereur et ses raisons

[PDF] LES TABLES de claude

[PDF] Les tableurs

[PDF] les taches d'un directeur financier

AVERTISSEMENT

Ce document est le fruit d'un long travail approuvé par le jury de soutenance et mis à disposition de l'ensemble de la communauté universitaire élargie. Il est soumis à la propriété intellectuelle de l'auteur. Ceci implique une obligation de citation et de référencement lors de l'utilisation de ce document. D'autre part, toute contrefaçon, plagiat, reproduction illicite encourt une poursuite pénale.

Contact : ddoc-theses-contact@univ-lorraine.fr

LIENS Code de la Propriété Intellectuelle. articles L 122. 4 Code de la Propriété Intellectuelle. articles L 335.2- L 335.10

U.ER.S.T.M.LA.

THESE présentéeà

L'UNIVERSITEDENANCYl

pourl'obtentiondugradede

Docteurdel'UniversitédeNancyl

Option"ProductionAutomatisée"

par

HervéPANETTO

UniversitédeNancyl

UNECONTRIBUTIONAUGENIEAUTOMATIQUE:

LEPROTOTYPAGE

DESMACHINESETSYSTEMES

AUTOMATISESDE

PRODUCTION

Président

Rapporteurs

Directeur

deThèse

Examinateurs

R.HUSSONProfesseuràl'LN.P.L.

DirecteurduC.R.A.N.

F.PRUNETProfesseur

àl'U.S.T.L.Montpellier

Directeur

DptS.D.C.LA./L.A.M.M.

lF.AUBRYProfesseuràl'LN.P.L.

M.VERONProfesseur

àl'UniversitédeNancy1

DirecteurduL.A.C.N./C.R.A.N.

DirecteurduL.A.M.

desMoyens-SPIEAUTOMATION deNancy1-L.A.C.N./C.R.A.N.

Lamiseenoeuvredes

àl'évolutiondu.GÈnie

Automatiqueet

(codage d'objetscommune faireentreprise. deConception ofmethodsand suchasstructuration, ofdeveloppement tools.Atshort-dated,thedefinition ofanAutomationEngineeringCASEwould

SOMMAIREGENERAL

INTRODUCTION·PROBLEMATIOUE

CHAPITRE1 :SPEX:UNOUTIL,DEUXMETIERS

1.SPEX:UNOUTIL,DEUXMETIERS1

1.DéfinitionduGénieAutomatique1

2.LesbesoinsenGénieAutomatique2

3.Principes importésduGénieLogiciel6

3.1.Laréutilisation6

3.2.Lesqualitésnécessaires

àlaréutilisation7

3.3.Lanotiond'objet8

3.3.1.Définition8

3.3.2.Lanotiondemessages9

3.3.3.Lanotiondeclasse9

3.3.4.L'instanciation9

3.3.5.L'héritage9

3.4.SPEXetleGénieLogiciel10

II.FONCTIONNALITES

DEL'OUTILSPEX12

3.LesBoîtesFonctionnelles21

3.1.Définition21

3.2.Leprocessusdecréation22

3.2.2.L'éditeurGrafcet23

3.2.3.LeséditeursSchémas

àrelaisetLogigrammes25

3.2.4.L'éditeurLangageC26

3.2.5.L'éditeurdePupitresdecommande28

3.4.Leprocessusdegénéralisation

31

4.LeDiagrammeFonctionnel33

4.1.Définition33

4.2.Leprocessusdecréation33

4.2.1.Lesdémarchesméthodologiques

33

SOMMAIREGENERAL

installation35

LLesVuesdel'application37

4.3.Leprocessusd'instanciation39

4.4.Leprocessusdegénéralisation40

6.1.Tracetextuelledesévènements44

6.2.ScénariodeTestsurSPEX45

6.3.Algorithmed'interprétation49

III.CONCLUSIONSETPERSPECTIVES50

SOMMAIREGENERAL

I.SEMANTIQUEDESOBJETSD'AUTOMATISATION

1.Introduction

2.Lesmodèles

1.Modèlespratiques

1.1.Actinomies

2.Modèlescognitifs

2.3.Approcheorientée"ObjetProduit"

2.4.AutresApproches

II.

CONCLUSIONDUCHAPITREII

1 1 3 5 5 9 9 11 11 17 20 22

SOMMAIREGENERAL

CHAPITREIII:DEL'INTERCONNEXIOND'OUTILS

1.DEL'INTERCONNEXIOND'OUTILS...1

1.1.Verslesphasesamontducycledevie2

1.CorrespondancedirecteentreIDEFOetSPEX2

deConceptiondesMSAP 5

2.1.PositionduproblËme5

2.4.L'outilassociÈ:GRILLES19

2.5.L'interfaceGRILLE-SPEX30

1.2.Verslesphasesavalducycledevie35

1.GÈnÈrateursdecode35

decommande 41

2.4.Lecontrôleurd'exécution41

del'outilSPEX 48

3.EmulateurdePartieOpérative52

II.CONCLUSIONSDUCHAPITREIII54

SOMMAIREGENERAL

DE

GENIEAUTOMATIQUEPARTICULIER

PARTICULIER

1

1.BilandesAteliersdeGénieLogiciel1

2. 3.

3.2.Perspectivesd'intégrations6

3.2.1.Intégration"faible"desoutils6

3.2.2.Intégration"forte"desoutils7

1.Lemodèleconceptuel"objet"d'unAtelierdeGénieX 8

3.2.3.

Leprojetd'intégration21

II.CONCLUSIONSDUCHAPITREIV27

CONCLUSIONS

REFERENCESBlliLIOGRAPHIQUES

ANNEXES

1 J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J J

Introduction-Problématique

Introduction-Problématique

Introduction-Problématique

INTRODUCTION-PROBLEMATIQUE

CadreGénéraldel'étude

desprincipeslargementéprouvésparle

GénieLogicieltelsquestructuration,

modularité,réutilisation,

GénieAutomatique.

faitsentiretontnécessitédes concepteurs.Des etdoivent,pourêtre praticables,êtresupportéespardesoutilsinformatisésou outils méthodes. eterreursd'interprétation. d'abstractionparunecombinaisondesniveaux ouparticulier.En page1

Introduction-Problématique

ProductionManufacturière.

MaquettageetPrototypage

la),alorsqu'ilestdéjàtrop tard,économiquementpouruneremise validation 1b). re-spécification

SPECIFICATION1<-..-.....-----,---------i

1--

RECETIE

TESTS

UNITAIRES

re-conception

GENERALE

'II/re-conception ..-----4--,dÈtaillÈe..------,

CONCEPTIONIL

DETAILLEE-ï- -

<_--EnThéorie CODAGE'-- automatisme page2

Introduction-Problématique

maquette etscénariosmaqueuage etvalidation prototypage etvalidation prototypage etvalidation etvalidationscénarios detests

RECETffi

scÈnariosdetests prototype etscÈnarios scÈnarios detests automatisme exÈcutable,cecipourcomplÈter etsurtoutsa spÈcification. Une ‡direprochedulangage d'implÈmen tation. laquestion: page3

Introduction-Problématique

attentes desesfutursutilisateurs? unlangage prochedel'implémentation[BOU90]maisindépendammentdesmoyens utilisésdansl'applicationréelle. chapître 1), permettre: -laconstructiond'une connaîtreleurcomportementinterne; -l'élaborationd'un composantsdelamaquette.L'exécution qu'ellesinduisent. ducycledevieproposépar[VOG

88],nouspouvonssituerlemaquettageetleprototypagesurlaFigure2 :

page4

Introduction-Problématique

EXPRESSION

DESBESOINS

.,..........-._...._.._ _...._ _........: :"l,... TESTS DU

SYSTEME

MODELE

CONCEPTUEL

MODELE

LOGIQUE

MODELE

PHYSIQUE

..-..__......---_..... d'uneentité

Plandumémoire:

Chapitresprincipaux:

page5

Introduction-Problématique

inspirésduGénieLogiciel;

SystèmesAutomatisés;

-après

Automatiqueparticulier;

Transfert.

page6 1

Chapitre1:SPEX:unoutil,deuxmétiers

SOMMAIRE

Chapitre1

1.SPEX:UNOUTIL,DEUXMETIERS

1.DéfinitionduGénieAutomatique

2.LesbesoinsenGénieAutomatique

3.Principesimportés

duGénieLogiciel 3.1.

Laréutilisation

3.2.Lesqualitésnécessaires

àlaréutilisation

3.3.

Lanotiond'objet

3.4.SPEX

etleGénieLogiciel

II.FONCTIONNALITESDE

L'OUTILSPEX

3.LesBoîtesFonctionnelles

3.1.Définition

3.2.Leprocessusdecréation

3.4.Leprocessusdegénéralisation

4.LeDiagrammeFonctionnel

4.1.Définition

4.2.Leprocessusdecréation

4.3.Leprocessusd'instanciation

4.4.Leprocessusdegénéralisation

6.1.Tracetextuelledesévènements

6.2.ScénariodeTestsurSPEX

6.3.Algorithmed'interprétation

III.CONCLUSIONS

ETPERSPECTIVES

1 1 2 6 6 7 7 10 12 12 14 21
21
22
30
31
33
33
33
39
40
40
43
44
45
49
50

Chapitre1:SPEX:unoutil,deuxmétiers

1.SPEX:UNOUTIL,DEUXMETIERS

1.DéfinitionduGénieAutomatique

[FRA87] par:quotesdbs_dbs46.pdfusesText_46