Thèse soutenue

Un environnement de modelisation et de simulation en ada pour les systemes de production
FR  |  
EN
Accès à la thèse
Auteur / Autrice : MARTINE COZ-VERFAILLIE
Direction : Michel Gourgand
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1994
Etablissement(s) : Clermont-Ferrand 2

Résumé

FR

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