Un environnement de modelisation et de simulation en ada pour les systemes de production

par MARTINE COZ-VERFAILLIE

Thèse de doctorat en Sciences appliquées

Sous la direction de Michel Gourgand.

Soutenue en 1994

à Clermont Ferrand 2 .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 220 P.
  • Annexes : 120

Où se trouve cette thèse ?

  • Bibliothèque : Bibliothèque Clermont Université (Aubière). Section Sciences et Techniques.
  • Accessible pour le PEB
  • Bibliothèque : Université Blaise Pascal. Département de physique. Bibliothèque.
  • Non disponible pour le PEB
  • Cote : INF26
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.