Modélisation conceptuelle d´une unité de fabrication microélectronique

The modelling of industrial systems is a very hard task because of both the number and diversity of parameters to take into account, and the complex relations between these parameters. In this paper, we are interested on the study of a fully automated Integrated Circuit (IC) semiconductor manufacturing plant (fab). In the semiconductor literature, fab behaviour analysis has very often been performed using discrete-event simulation models, but little work has been devoted to the conceptualisation of the modelling approach. Other works focus on the analysis of single parts of the fab, by simplifying the relations between its components. In such a context, the aim of this paper is to use formal methodologies to model all the components of a wafer fab, that is, its physical and control systems, as well as the fabrication process. This model specification can then be used to build a simulation model for the dynamic factory behaviour analysis.La modélisation des systèmes de production est difficile en raison du nombre et de la diversité des paramètres à prendre en compte et de la complexité des relations entre ces paramètres. Dans cet article, nous nous intéressons à l´étude d´une unité complètement automatisée de fabrication de wafers semi-conduc-teurs (fab). Dans la littérature, leur analyse est très souvent réalisée en utilisant des modèles de simulation à événements discrets, mais ces travaux ne présentent pas une véritable conceptualisation du modèle utilisé. L´objectif de cet article est de conceptualiser, à travers des méthodologies formelles, tous les composants d´une unité de production microélectronique: au niveau macro, le système physique de production et son système de supervision, ainsi que, au niveau micro, le processus de fabrication. Ces approches nous aideront à identifier les objets du modèle et leurs interactions permettant ensuite de développer un programme de simulation pour l´analyser du fonctionnement dynamique du system.La modelación de los sistemas de producción es una tarea difícil debido al número y diversidad de variables que deben tenerse en cuenta y a la complejidad de las relaciones entre dichas variables. En este artículo, nos interesamos en el estudio de una unidad completamente automatizada para la fabricación de "wafers" semiconductores (llamada "fab"). En la literatura, el análisis se realiza comúnmente empleando modelos de simulación de eventos discretos, pero esos trabajos no presentan una verdadera conceptualización del modelo empleado. El objetivo de este artículo es conceptualizar, por medio de metodologías formales de modelación, todos los componentes de una planta de fabricación microelectrónica: en el nivel macro, el sistema físico de producción y su sistema de control, así como, en el nivel micro, el proceso de fabricación. Estos enfoques nos ayudarán a identificar los objetos del modelo y sus interacciones para permitir así el desarrollo de un programa de simulación para analizar el funcionamiento dinámico del sistema