UN ENVIRONNEMENT DE MODELISATION ET DE SIMULATION EN ADA POUR LES SYSTEMES DE PRODUCTION / MARTINE COZ-VERFAILLIE ; SOUS LA DIRECTION DE MICHEL GOURGAND

Date :

Editeur / Publisher : [S.l.] : [s.n.] , 1994

Format : 220 P.

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : français / French

Gourgand, Michel (Directeur de thèse / thesis advisor)

Université Blaise Pascal (Clermont-Ferrand ; 1976-2016) (Organisme de soutenance / degree-grantor)

Résumé / Abstract : CE TRAVAIL S'INSERE DANS UN ENSEMBLE DE TRAVAUX MENES A L'UNIVERSITE DE CLERMONT-FERRAND II SUR LA MODELISATION/SIMULATION DES SYSTEMES DE PRODUCTION. LA DEMARCHE PROPOSEE EST SYSTEMATIQUE ET DEBOUCHE SUR L'UTILISATION DU LANGAGE ADA. IL EST IMPORTANT D'OFFRIR A L'UTILISATEUR FINAL, QUI CONNAIT SON DOMAINE PROFESSIONNEL MAIS PAS LA PROGRAMMATION, UN OUTILLAGE ADAPTE A SES BESOINS, SOUPLE ET FACILEMENT ADAPTABLE. LE BUT A ATTEINDRE EST LA CONSTRUCTION D'UN ENSEMBLE D'OUTILS ET DE METHODES FACILES A METTRE EN UVRE QUI DEBOUCHE SUR L'ECRITURE AUTOMATIQUE DES PROGRAMMES DE SIMULATION (MODELE D'ACTION) EN ADA. EN S'APPUYANT SUR LE GUIDE D'ANALYSE REALISE DANS LE PROJET SIGMA QUI PRECONISE UNE ANALYSE HIERARCHIQUE EN TROIS SOUS-SYSTEMES, L'UTILISATEUR DECRIRA DANS UN PREMIER TEMPS SON SYSTEME AVEC SADT. AVEC L'AIDE DE CONSIGNES DE TRANSCRIPTION ET UNE BIBLIOTHEQUE DE SPECIFICATION REPRESENTANT LES CLASSES D'OBJETS DU SOUS-SYSTEME PHYSIQUE, DANS UN DEUXIEME TEMPS, IL ELABORERA COMPLETEMENT SON MODELE DE CONNAISSANCE AVEC LA LOGIQUE DE REECRITURE CONCURRENTE. CETTE METHODE RECENTE DE SPECIFICATION FORMELLE AUTORISE LA GENERATION DE CODE. L'ARCHITECTURE DU MODELE D'ACTION GENERIQUE ET L'ARCHITECTURE DE LA BIBLIOTHEQUE DE COMPOSANTS REUTILISABLES (GEREE PAR L'ENVIRONNEMENT ADA) ONT ETE ELABOREES EN SUIVANT LES PRINCIPES DE LA METHODE HOOD. LE GENERATEUR QUI PERMET LA GENERATION AUTOMATIQUE (OU SEMI-AUTOMATIQUE) DU MODELE D'ACTION A PARTIR DU MODELE DE CONNAISSANCE, FOURNIT UN CODE NATUREL, CLAIR, ROBUSTE FACILEMENT MODIFIABLE. LA FAISABILITE DE LA METHODOLOGIE PROPOSEE A ETE PROUVEE AVEC LE SIMULATEUR SIERRADA. UN ENVIRONNEMENT POUR LA MISE EN UVRE DE CETTE METHODOLOGIE EST SPECIFIE