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.
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-00449899
Contributor : Laurent Piétrac <>
Submitted on : Saturday, January 23, 2010 - 5:57:21 PM
Last modification on : Tuesday, December 18, 2018 - 6:08:04 PM
Document(s) archivé(s) le : Thursday, June 17, 2010 - 9:41:57 PM

Identifiers

  • HAL Id : tel-00449899, version 1

Collections

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

385

Files downloads

516