Skip to Main content Skip to Navigation
Theses

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

Abstract : 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.
Document type :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-00449899
Contributor : Laurent Piétrac <>
Submitted on : Saturday, January 23, 2010 - 5:57:21 PM
Last modification on : Monday, February 15, 2021 - 10:48:15 AM
Long-term archiving on: : Thursday, June 17, 2010 - 9:41:57 PM

Identifiers

  • HAL Id : tel-00449899, version 1

Citation

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. ⟨tel-00449899⟩

Share

Metrics

Record views

455

Files downloads

557