Distributed modeling and simulation of productive systems.

As tecnologias da informação, telecomunicações e mobilidade aliadas às mudanças econômicas e sociais acarretaram uma grande reestruturação da indústria. Entre estas mudanças, verifica-se um maior nível de descentralização e especialização das unidades produtivas, o aumento da automação dos processos e, em conseqüência, uma maior quantidade e complexidade nas interações de seus sub-sistemas. De forma a lidar com esta complexidade e facilitar o estudo e projeto de novos sistemas, faz-se necessário o uso de modelos, que são analisados por exemplo, através de simulação. Entre elas destaca-se a simulação distribuída, a qual trata da evolução de situações/cenários do sistema em computadores fisicamente dispersos, conectados através de uma rede de comunicação, visando, por exemplo, a redução do tempo de simulação, a simulação de grandes modelos(composto por muitos elementos), maior tolerânica a falhas e mesmo a distribuição geográfica. Visando contribuir para uma maior aplicabilidade das técnicas de modelagem e simulação, em especial a distribuída, propõe-se nesta tese (1) um novo método para a modelagem hierárquica de sistemas produtivos; e (2) um novo algoritmo para a sincronização da evolução do tempo de simulação de diferentes simuladores interagindo através de redes de comunicação (LAN, WAN). No método de modelagem proposto, utiliza-se uma abordagem top-down para a decomposição do sistema, partindo-se de um nível de abstração para um de maior detalhamento, permitindo, assim, um maior nível de conhecimento quanto ao comportamento dos elementos e suas interações. No nível de detalhamento desejado, utiliza-se a Rede de Petri na modelagem dos elementos básicos do sistema, que são, assim como na orientação a objetos, denominados classes. Em seguida, através de uma abordagem bottom-up, estes modelos são agrupados, formando modelos mais complexos: componentes e aplicativos. A fim de garantir a interação entre estes elementos, foram definidos um conjunto de interfaces, bem como suas regras de relacionamento. Este método foi aplicado a um estudo de caso para comprovar sua eficácia. No que diz respeito ao algoritmo proposto para sincronizar os tempos de simulação, utiliza-se como subsidio o mecanismo de gerenciamento da transmissão de dados em redes conhecido como Token Ring. Um simulador de eventos, distribuído, foi implementado com a finalidade de validar o algoritmo proposto.Evolution on the information technology, telecommunications and transport systems, associated to social and economic changes around the world have caused a significative reorganization of the industry. In this context, a high level of decentralization and specialization of the productive units, as well as an increment of the automation level used in productive processes have been verified. It results on the increase of the amount and the complexity of the enterprise subsystems interactions. Modeling techniques are used with simulation to deal with the complexity, to analysis, and to design new productive systems. Among the simulation approaches, distributed simulation is distinguished. It deals with the execution of simulation in physically dispersed computers connected through a LAN (Local Area Network), providing, for example, the reduction of the simulation time, huge simulation models (models with many elements), fault tolerance, as well as geographic dispersion. To contribute for the evolution of modeling and simulation techniques, in special the distributed one, it is proposed on this work: (1) a new method for the hierarchical modeling of productive systems; and (2) a new time synchronization algorithm used to manage the time evolution of a set of distributed simulation software. On the proposed modeling method it is used a top-down approach to decompose the system in basic elements, starting in a high-level abstraction model, and ending with a set of basic models with high level of detail. Then, these models are modeled using Petri net. As well as on object-oriented languages, each model is called class. After that, using a bottom-up approach, these basic models are grouped to generate more complex models: component and application. A set of interfaces, as well as its relationship rules had been defined to guarantee the interaction among these elements. This method was applied to a case study to confirm its effectiveness. About the time synchronization algorithm, the token ring protocol is used as subsidy. An event based distributed simulator was implemented with the purpose to validate the proposed algorithm