[PDF] Ce document est le fruit dun long travail approuvé par le jury de

View - Download Ce document est le fruit dun long travail approuvé par le jury de

Previous PDF

Next PDF

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

[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