[PDF] méthodes heuristiques et métaheuristique d'optimisation
[PDF] méthode heuristique optimisation
[PDF] système automatisé de production sap
[PDF] les métaheuristiques en optimisation combinatoire
[PDF] système automatisé de production pdf
[PDF] système automatisé de production ppt
[PDF] cours aide soignante module 1 pdf
[PDF] qcm module 1 aide soignante gratuit
[PDF] cours aide soignante module 2
[PDF] module 1 aide soignante résumé
[PDF] les 8 modules aide soignante
[PDF] module 1 aide soignante contenu
[PDF] cours aide soignante gratuit
[PDF] cours aide soignante module 3
[PDF] hamlet être ou ne pas être
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
quotesdbs_dbs44.pdfusesText_44