Apport de la méta-modélisation formelle pour la conception des Systèmes Automatisés de Production - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1999

Apport de la méta-modélisation formelle pour la conception des Systèmes Automatisés de Production

Résumé

Works presented in this thesis focus on the languages and the methods used for the design of Automated Manufacturing Systems (AMS). The main objective is to improve the definition exactness of these languages and methods, and the selected approach consists in ``meta-model'' them using a formal language : the Z language. In a first time, we present existent works on the modeling activity, in order to show the interest of the meta-modeling to answer our objective. In a second time, we consider the different requirements that the meta-model has to ensure to correctly to represent a language or a method. Then, we present in which way the Z formal language meets all these requirements. The efficiency of the approach is validated through two examples. The first one consists in the meta-modeling of a language used for the design of the discreet event systems: the generalized Petri nets. For the second example, the approach is applied to a method used for the design of hybrid system controls which uses two languages: events temporal Petri nets and differential equations.
Les travaux présentés dans ce mémoire portent sur l'étude des langages et méthodes de conception des Systèmes Automatisés de Conception (SAP). Notre objectif est l'amélioration de la rigueur de la définition de ces langages et méthodes. Le moyen retenu est l'utilisation d'un langage formel, le langage Z, pour les méta-modéliser. Dans un premier temps, nous présentons les travaux existants sur l'étude de l'activité de modélisation, afin de montrer l'intérêt de la méta-modélisation vis-à-vis de notre objectif. Dans un deuxième temps, nous caractérisons les différents aspects que doit couvrir un méta-modèle pour représenter avec rigueur un langage ou une méthode. Dans un troisième temps, nous présentons de quelle façon le langage Z permet de couvrir l'ensemble de ces besoins. Nous validons alors notre approche sur deux exemples. Le premier exemple est un langage de conception des systèmes à événements discrets : les réseaux de Petri généralisés. Le deuxième exemple est une méthode de conception de la commande des systèmes hybrides intégrant deux langages : les réseaux de Petri temporels à événements et les équations différentielles.
Fichier principal
Vignette du fichier
These-memoire.pdf (1.36 Mo) Télécharger le fichier

Dates et versions

tel-00449899 , version 1 (23-01-2010)

Identifiants

  • HAL Id : tel-00449899 , version 1

Citer

Laurent Piétrac. Apport de la méta-modélisation formelle pour la conception des Systèmes Automatisés de Production. Automatique / Robotique. École normale supérieure de Cachan - ENS Cachan, 1999. Français. ⟨NNT : ⟩. ⟨tel-00449899⟩
277 Consultations
338 Téléchargements

Partager

Gmail Facebook X LinkedIn More