Vers une reformulation de la spécification dans la commande des systèmes de production : approches multi-formalismes

par Rachid Mrhailaf

Thèse de doctorat en Informatique industrielle et productique

Sous la direction de Abd-El-Kader Sahraoui.

Soutenue en 1997

à Toulouse 3 .


  • Résumé

    La spécification complète de la conduite des systèmes de production nécessite différents approches et formalismes afin de tenir compte de ses différents aspects (système hétérogène). Couvrir tous les aspects d'un système hétérogène est ramené au problème d'intégration de différentes méthodes sous une approche globale d'analyse et de décomposition (approche multi-formalismes). Deux cas de systèmes hétérogènes ont été étudiés. Le premier cas est celui d'un système réactif et transformationnel ou nous avons proposé l'intégration des méthodes SA/RT et SC sous une approche fonctionnelle globale. Le deuxième cas concerne les systèmes comportant, en plus des sous-systèmes réactifs et transformationnels, des sous-systèmes d'information. Pour ce type de systèmes, nous avons proposé l'intégration des méthodes SA/RT, SC, MI et OMT sous une approche globale basée sur le concept de domaine et d'objet domaine. Afin d'intégrer des méthodes formelles (VDM) dans le cycle de developpement d'un système, Nous avons proposé une démarche de passage d'un modèle semi-formel à un modèle formel. Cette démarche s'applique aussi bien dans le cas d'un développement fonctionnel que d'un développement orienté objet. Il a été étudié en particulier le passage d'un modèle semi-formel SA-RT à un modèle formel VDM. Les différentes approches sont illustrées à travers des études de cas sur un exemple de cellule d'usinage.

  • Titre traduit

    Towards a reformulation of specification in the control of production systems : a multiformalisms approach


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 151 f.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p. 145-150

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université Paul Sabatier. Bibliothèque universitaire de sciences.
  • Disponible pour le PEB
  • Cote : 1997TOU30124
  • Bibliothèque : École nationale d'ingénieurs de Tarbes. Bibliothèque.
  • Disponible pour le PEB
  • Cote : TH MRH 1997

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-1997-MRH
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.