Na simulação heterogênea de um sistema eletrônico complexo, um mesmo modelo pode ser composto por partes distintas em relação às tecnologias ou linguagens utilizadas na sua descrição, níveis de abstração, ou pela combinação de partes de software e de hardware (escopo da co-simulação). No uso de modelos heterogêneos, a construção de uma ponte eficaz entre diferentes simuladores, em conjunto com a solução de problemas tais como sincronização e tradução de dados, são alguns dos principais desafios. No contexto do projeto de sistemas embarcados, a validação desses sistemas via co-simulação está sujeita a estes desafios na medida em que um mesmo modelo de representação precisa suportar a cooperação consistente entre partes de hardware e de software. Estes problemas tornam-se mais significativos quando abordados em ambientes distribuídos, o que aumenta a complexidade dos mecanismos que gerenciam os ítens necessários à correta cooperação entre partes diferentes. Contudo, embora existam abordagens e ferramentas voltadas para o tratamento de modelos heterogêneos, inclusive em ambientes distribuídos, ainda persiste uma gama de limitações causadas pela distribuição e heterogeneidade de simuladores. Por exemplo, restrições quanto à variedade de tecnologias (ou linguagens) utilizadas na descrição das partes de um modelo, flexibilidade para o reuso de partes existentes, ou em tarefas de gerenciamento de sincronização/dados/interface/distribuição. Além disso, em geral, nas soluções existentes para simulação heterogênea, alterações são necessárias sobre as partes do modelo, limitando a preservação de sua integridade. Esta é uma característica indesejável, por exemplo, no reuso de componentes IP (Intellectual Property) Neste contexto, esta tese apresenta o DCB (Distributed Co-simulation Backbone), cujo propósito geral é o suporte à execução distribuída dos modelos heterogêneos. Para isso, são observados de modo integrado quatro fatores básicos: a distribuição física; a independência dos componentes (partes); o encapsulamento das estratégias de gerenciamento de tempo, de dados e de comunicação; e a sincronização híbrida. Em geral, as soluções existentes valorizam um fator em detrimento dos demais, dependendo dos propósitos envolvidos e sua variação em relação ao grau de especificidade (soluções proprietárias ou restritas a um escopo de aplicações). O Tangram, também discutido nesta tese em termos de requisitos, é uma proposta de ambiente para projeto de modelos heterogêneos distribuídos. No contexto da especificação do DCB, esta proposta tem como objetivo geral agregar num mesmo ambiente funcionalidades de apoio para a busca e catalogação de componentes, seguidas do suporte à construção e à execução distribuída de modelos heterogêneos via DCB. À luz dos princípios de generalidade e flexibilidade da arquitetura do DCB, o Tangram visa permitir que o projetista reduza seu envolvimento com detalhes relacionados ao provimento de condições necessárias à cooperação entre componentes heterogêneos. No escopo desta tese, ênfase foi dada à co-simulação de sistemas embarcados, ênfase esta observada também na construção do protótipo do Tangram/DCB, e nos estudos de caso. Contudo, a estrutura do DCB é apropriada para qualquer domínio onde a simulação possa ser utilizada como instrumento de validação, entre outros propósitos.

A validação de projetos de sistemas eletrônicos pode ser feita de diversas maneiras, como tem sido mostrado pelas pesquisas em síntese automática e verificação formal. Porém, a simulação ainda é o método mais utilizado. O projeto de um sistema digital típico pode ser desenvolvido em diversos níveis de abstração, como os níveis algorítmico, lógico ou analógico. Assim, a simulação também deve ser executada em todos esses níveis. A simulação apresenta, contudo, o inconveniente de não conseguir conciliar uma alta acuracidade de resultados com um baixo tempo de simulação. Quanto mais detalhada é a descrição do circuito, maior é o tempo necessário para simulá-lo. O inverso também é verdadeiro, ou seja, quanto menor for a acuracidade exigida, menor será o tempo dispendido. A simulação multinível tenta conciliar eficiêencia e acuracidade na simulação de circuitos digitais, propondo que partes do circuito sejam descritas em diferentes níveis de abstração. Com isso, somente as partes mais críticas do sistema são descritas em detalhes e a velocidade da simulação aumenta. Contudo, essa abordagem não é suficiente para oferecer um grande aumento na velocidade de simulação de grandes circuitos. Assim, surge como alternativa a aplicação de técnicas de processamento distribuído à simulação multinível. Os aspectos que envolvem a combinação dessas duas técnicas são abordados nesse trabalho. Como plataforma para os estudos realizados, optou-se por usar duas ferramentas desenvolvidas nessa Universidade: os simuladores do Sistema AMPLO e o Sistema Operacional HetNOS. São estudadas técnicas de sincronização em sistemas distribuídos, fundamentais para o desenvolvimento dos simuladores e, finalmente, são propostas alternativas para a distribuição dos simuladores. É realizada, ainda, uma análise comparativa entre as versões propostas.

A simulação paralela de eventos é uma área da computação que congrega grande volume de pesquisas, pela importância em facilitar o estudo de novas soluções nas mais diferentes áreas da ciência e tecnologia, sem a necessidade da construção de onerosos protótipos. Diversos protocolos de simulação paralela podem ser encontrados, divididos em dois grandes grupos de acordo com o algoritmo empregado para a execução em ordem dos eventos: os conservadores e os otimistas; contudo, ambos os grupos utilizam trocas de mensagens para a sincronização e comunicação. Neste trabalho, foi desenvolvido um novo protocolo de simulação paralela, fazendo uso de memória compartilhada, o qual foi implementado e testado sobre um ambiente de estações de trabalho, realizando, assim, simulação paralela com uso de memória compartilhada distribuída. O protocolo foi desenvolvido tendo como base de funcionamento os protocolos conservadores; utilizou diversas características dos mesmos, mas introduziu várias mudanças em seu funcionamento. Sua execução assemelha-se às dos protocolos de execução síncrona, utilizando conceitos como o lookahead e janelas de tempo para execução de eventos. A principal mudança que o novo protocolo sofreu foi proporcionada pelo acesso remoto à memória de um LP por outro, produzindo diversas outras nas funções relativas à sincronização dos processos, como o avanço local da simulação e o agendamento de novos eventos oriundos de outro LP. Um ganho adicional obtido foi a fácil resolução do deadlock, um dos grandes problemas dos protocolos conservadores de simulação paralela. A construção de uma interface de comunicação eficiente com uso de memória compartilhada é o principal enfoque do protocolo, sendo, ao final da execução de uma simulação, disponibilizado o tempo de simulação e o tempo de processamento ocioso (quantia utilizada em comunicação e sincronização). Além de uma implementação facilitada, propiciada pelo uso de memória compartilhada ao invés de trocas de mensagens, o protocolo oferece a possibilidade de melhor ocupar o tempo ocioso dos processadores, originado por esperas cada vez que um LP chega a uma barreira de sincronização. Em nenhum momento as modificações efetuadas infringiram o princípio operacional dos protocolos conservadores, que é não possibilitar a ocorrência de erros de causalidade local. O novo protocolo de simulação foi implementado e testado sobre um ambiente multicomputador de memória distribuída, e seus resultados foram comparados com dois outros simuladores, os quais adotaram as mesmas estratégias, com idênticas ferramentas e testados em um mesmo ambiente de execução. Um simulador implementado não utilizou paralelismo, tendo seus resultados sido utilizados como base para medir o speedup e a eficiência do novo protocolo. O outro simulador implementado utilizou um protocolo conservador tradicional, descrito na literatura, realizando as funções de comunicação e sincronização através de trocas de mensagens; serviu para uma comparação direta do desempenho do novo protocolo proposto, cujos resultados foram comparados e analisados.

[pt] Tubulações industriais são a maneira mais segura, rápida e econômica de se transportar diferentes produtos, principalmente aqueles relacionados com a industria do petróleo. Essas tubulações sempre envolvem altos investimentos financeiros sendo, portanto, fundamental a garantia de um funcionamento contínuo, com o mínimo de interrupções. Para isso são usados Pigs. Pigs são dispositivos utilizados com muita frequência e com várias finalidades, tais como limpeza e desobstrução de tubulações, retirada de água, vedação de linhas, separação de diferentes produtos, remoção de condensado, inspeção e em testes hidrostáticos. O modelo aqui desenvolvido utiliza as equações unidimensionais da conservação de massa e da quantidade de movimento linear, para simular o movimento transiente do fluido. A equação de conservação de quantidade de movimento para o Pig é resolvida simultaneamente. Uma equação auxiliar para prever a vazão de fluido através do by-pass é proposta e acoplada ao sistema. Vários casos típicos são estudados, obtendo-se excelentes resultados. / [en] Industrial pipelines are the safest, fastes and the most economical way to transport a large range of products, mostly those related to the oil industry. Pipeline systems are usually associated with huge financial investiments, being of fundamental importance to sustain their continuous operation, and maintainning them, reducing the number of interruptions or accidents at a minimum level. To accomplish that, pigs are used. Pigs are devices frequently used for many different purposes, a few of them are clemaming and dewatering a pipeline, sealing of a papeline, transport of different products, inspection and hydraulic tests all of them being accomplished without the interruption of the production lines. The developed model uses the unidimensional conservation equation of mass and linear momentum to simulate the transient movement of the fluid. The conservation of linear momentum of the Pig is also solved, Auxiliary equation to predict the by-pass flow is also incorporated into the system. several special cases are studied with very good results.

[pt] No presente trabalho, é desenvolvido um modelo matemático para a simulação do processo de liquefação de gás natural APCI C3MR com dois estágios. O primeiro estagio consta de um ciclo de pré-resfriamento por compressão de vapor, com propano como refrigerante, o qual reduz aproximadamente até -35 ºC a temperatura do gás natural, em quatro níveis de pressão. No segundo estagio para a liquefação de gás natural o ciclo de compressão de vapor tem como refrigerante uma mistura composta de nitrogênio, metano, etano e propano. Nos dois estágios os evaporadores trabalham em três diferentes níveis de pressão. Os evaporadores do ciclo de pré-resfriamento são usados como condensadores para o ciclo de liquefação. Para os dados de entrada da simulação foi considerado o projeto da Planta de Liquefação de Gás Natural Pampa Melchorita, no departamento de Ica, ao sul de Lima, Peru, com produção prevista de 4,7 MTPA. As propriedades da mistura de refrigerante e do gás natural foram calculadas a partir do programa REFPROP, desenvolvido no NIST, EUA. Dos valores obtidos das propriedades termodinâmicas construírem-se equações de ajustes que foram utilizadas no modelo matemático. O sistema de equações algébricas não-lineares foi resolvido em plataforma EES. / [en] In the present work a mathematical model for the simulation the APCI C3MR process for natural gas liquefaction, in two vapor compression refrigeration stages, is presented. In the first stage, with propane as the working fluid, the temperature of natural gas is reduced to -35 ºC. The second stage uses a mixture of nytrogen, methane, ethane and propane as refrigerant. The evaporators of the pré-cooled cycle are used as condensers for the liquefaction cycle. The mathematical model is formed by the mass and energy conservation equations, applied to adequate control volumes, and by the thermodynamic properties equations, from the computational package REFPROP, developed by NIST, USA. A computational program was developed in platform EES, to solve the resulting non-linear system of algebraic equations. As input for the program, data from an existing NG liquefaction plant in Pampa Mechorita, south of Lima, Peru, were used.

Grandes áreas inundáveis prestam importantes serviços ambientais, como manutenção da biodiversidade e regulação de clima, cheias e ciclos biogeoquímicos, e estão presentes nas mais variadas regiões geográficas, desde úmidas áreas tropicais como a Amazônia, até locais áridos como os grandes deltas internos da África. Complexos processos hidrológicos e hidrodinâmicos ocorrem nestas áreas, onde existe intensa interação entre áreas inundadas, biosfera e atmosfera, e onde ocorrem alterações significativas das ondas de cheia que são por elas propagadas sazonalmente. Neste contexto, o presente trabalho apresenta, através de dois métodos distintos, formas com que podemos aprofundar nosso conhecimento da dinâmica destas grandes áreas inundáveis. Inicialmente, é abordado o efeito causado pela interação rio-planície de inundação na forma dos hidrogramas. Constatou-se, através de observação de diversos hidrogramas defluentes de grandes sistemas inundáveis, que a ascensão destes é tipicamente mais lenta que a recessão, caracterizando uma assimetria negativa. Então, a partir de uma série de abordagens numéricas, analíticas e empíricas, mostrou-se que a este fenômeno é decorrente da inversa relação entre velocidade da onda de cheia (celeridade) e vazão que ocorre nestes ambientes devido ao armazenamento nas planícies. Um estudo de caso com os principais rios da Amazônica evidenciou a relevância da avaliação de assimetria de hidrogramas para compreensão da dinâmica hidrológica em regiões inundáveis. A segunda etapa deste trabalho consistiu no aprimoramento e validação de um modelo acoplado hidrológico-hidrodinâmico distribuído para simulação de bacias com grandes áreas inundáveis, capaz de modelar matematicamente a dinâmica existente e a aumentar nossa capacidade preditiva da inundação destas regiões. Foi realizada uma aplicação na bacia do Alto Rio Níger, no Oeste da África, onde está localizado o Delta Interno do Níger, uma vasta planície no Deserto do Sahel inundada sazonalmente, e onde importantes perdas por evaporação ocorrem. O modelo desenvolvido representou de forma satisfatória vazões, níveis e áreas inundadas ao longo da região, permitindo a identificação de processos relevantes na inundação do Delta. O acoplamento entre uma representação explícita da hidrodinâmica dos canais da planície (armazenamento, bifurcações, remanso) e o balanço vertical hidrológico (infiltração de água da planície para o solo e evapotranspiração) mostrou-se necessário para o satisfatório resultado do modelo. Assim, com esta pesquisa, acredita-se que novos elementos foram contribuídos para a compreensão da hidrologia de grandes áreas inundáveis, a partir da identificação do importante efeito da interação rio-planície na assimetria de hidrogramas, e do desenvolvimento de técnicas de modelagem matemática que evidenciaram a relevância da representação de interações entre hidrologia e hidrodinâmica em modelos de grandes escala. / Large floodable areas provide important environment services, such as biodiversity maintenance and regulation of climate, floods and biogeochemical cycles, and are present throughout different geographical settings, from tropical, wet areas like the Amazon, to arid ones such as the large African Inner deltas. Complex hydrologic and hydrodynamic processes occur in these areas, such as an intense interaction between flooded areas, biosphere and atmosphere, and alterations of flood waves that propagate through it. In this context, this study presents, through two distinct methods, ways with which we can deepen our understanding of the dynamics of such floodable areas. Firstly, the effect of river-floodplain interaction on hydrograph shape is addressed. It was noted, by observing a series of hydrographs routed through floodable systems, that hydrograph ascension is typically slower than the recession, characterizing a negative skewness. Then, through a series of numerical, analytical and empirical approaches, it was shown that this phenomenon exists due to the inverse relationship between flood wave speed (celerity) and discharge that occurs in these environments because of floodplain storage. A case study in main Amazon Basin tributaries was performed and indicated the relevance of hydrograph skewness evaluation for comprehension of hydrological dynamics in floodable areas. The study second step consisted in the development and validation of a distributed, coupled hydrologic-hydrodynamic model for simulation of basins with large floodable areas, able to mathematically model and to improve our prediction capacity of flooding in these areas. An application was performed in Upper Niger River, West Africa, where the Niger Inland Delta is located, which is a vast floodplain in the Sahel Desert that is seasonally flooded, and where important evaporation losses occur. The developed model satisfactorily represented discharges, levels and flooded areas across the basin, allowing the identification of relevant flooding processes in the Delta. The coupling between explicit representation of floodplain channel hydrodynamics (storage, bifurcations, backwater) and vertical hydrological balance (floodplain water infiltration into soil column, and evapotranspiration) proved a necessary model structure for the satisfactorily obtained results. Finally, with this research, we understand that new elements were contributed to the comprehension of hydrology of large floodable areas, from the identification of the river-floodplain interaction effects on hydrograph skewness to the development and application of mathematical modelling techniques, showing the relevance of the interaction between hydrology and hydrodynamic in such areas.

A simulação paralela de eventos é uma área da computação que congrega grande volume de pesquisas, pela importância em facilitar o estudo de novas soluções nas mais diferentes áreas da ciência e tecnologia, sem a necessidade da construção de onerosos protótipos. Diversos protocolos de simulação paralela podem ser encontrados, divididos em dois grandes grupos de acordo com o algoritmo empregado para a execução em ordem dos eventos: os conservadores e os otimistas; contudo, ambos os grupos utilizam trocas de mensagens para a sincronização e comunicação. Neste trabalho, foi desenvolvido um novo protocolo de simulação paralela, fazendo uso de memória compartilhada, o qual foi implementado e testado sobre um ambiente de estações de trabalho, realizando, assim, simulação paralela com uso de memória compartilhada distribuída. O protocolo foi desenvolvido tendo como base de funcionamento os protocolos conservadores; utilizou diversas características dos mesmos, mas introduziu várias mudanças em seu funcionamento. Sua execução assemelha-se às dos protocolos de execução síncrona, utilizando conceitos como o lookahead e janelas de tempo para execução de eventos. A principal mudança que o novo protocolo sofreu foi proporcionada pelo acesso remoto à memória de um LP por outro, produzindo diversas outras nas funções relativas à sincronização dos processos, como o avanço local da simulação e o agendamento de novos eventos oriundos de outro LP. Um ganho adicional obtido foi a fácil resolução do deadlock, um dos grandes problemas dos protocolos conservadores de simulação paralela. A construção de uma interface de comunicação eficiente com uso de memória compartilhada é o principal enfoque do protocolo, sendo, ao final da execução de uma simulação, disponibilizado o tempo de simulação e o tempo de processamento ocioso (quantia utilizada em comunicação e sincronização). Além de uma implementação facilitada, propiciada pelo uso de memória compartilhada ao invés de trocas de mensagens, o protocolo oferece a possibilidade de melhor ocupar o tempo ocioso dos processadores, originado por esperas cada vez que um LP chega a uma barreira de sincronização. Em nenhum momento as modificações efetuadas infringiram o princípio operacional dos protocolos conservadores, que é não possibilitar a ocorrência de erros de causalidade local. O novo protocolo de simulação foi implementado e testado sobre um ambiente multicomputador de memória distribuída, e seus resultados foram comparados com dois outros simuladores, os quais adotaram as mesmas estratégias, com idênticas ferramentas e testados em um mesmo ambiente de execução. Um simulador implementado não utilizou paralelismo, tendo seus resultados sido utilizados como base para medir o speedup e a eficiência do novo protocolo. O outro simulador implementado utilizou um protocolo conservador tradicional, descrito na literatura, realizando as funções de comunicação e sincronização através de trocas de mensagens; serviu para uma comparação direta do desempenho do novo protocolo proposto, cujos resultados foram comparados e analisados.

O aumento na complexidade dos sistemas embarcados, compostos por partes de hardware e software, aliado às pressões do mercado que exige novos produtos em prazos cada vez menores, tem levado projetistas a considerar a possibilidade de construir sistemas a partir da integração de componentes já existentes e previamente validados. Esses componentes podem ter sido desenvolvidos por diferentes equipes ou por terceiros e muitas vezes são projetados utilizando diferentes metodologias, linguagens e/ou níveis de abstração. Essa heterogeneidade torna complexo o processo de integração e validação de componentes, que normalmente é realizado através de simulação. O presente trabalho especifica mecanismos genéricos e extensíveis que oferecem suporte à cooperação entre componentes heterogêneos em um ambiente de simulação distribuída, sem impor padrões proprietários para formatos de dados e para a descrição do comportamento e interface dos componentes. Esses mecanismos são baseados na arquitetura DCB (Distributed Co-Simulation Backbone), voltada para co-simulação distribuída e heterogênea e inspirada nos conceitos de federado (componente de simulação) e federação (conjunto de componentes) que são definidos pelo HLA (High Level Architecture), um padrão de interoperabilidade para simulações distribuídas. Para dar suporte à co-simulação distribuída e heterogênea, esse trabalho descreve mecanismos que são responsáveis pelas tarefas de cooperação e distribuição, chamados de embaixadores, assim como o mecanismo gateway, que é responsável pela interoperabilidade entre linguagens e conversão de tipos de dados. Também é apresentada uma ferramenta de suporte à geração das interfaces de co-simulação, que são constituídas de dois embaixadores configuráveis e um gateway para cada federado, gerado a partir de templates pré-definidos.

Na simulação heterogênea de um sistema eletrônico complexo, um mesmo modelo pode ser composto por partes distintas em relação às tecnologias ou linguagens utilizadas na sua descrição, níveis de abstração, ou pela combinação de partes de software e de hardware (escopo da co-simulação). No uso de modelos heterogêneos, a construção de uma ponte eficaz entre diferentes simuladores, em conjunto com a solução de problemas tais como sincronização e tradução de dados, são alguns dos principais desafios. No contexto do projeto de sistemas embarcados, a validação desses sistemas via co-simulação está sujeita a estes desafios na medida em que um mesmo modelo de representação precisa suportar a cooperação consistente entre partes de hardware e de software. Estes problemas tornam-se mais significativos quando abordados em ambientes distribuídos, o que aumenta a complexidade dos mecanismos que gerenciam os ítens necessários à correta cooperação entre partes diferentes. Contudo, embora existam abordagens e ferramentas voltadas para o tratamento de modelos heterogêneos, inclusive em ambientes distribuídos, ainda persiste uma gama de limitações causadas pela distribuição e heterogeneidade de simuladores. Por exemplo, restrições quanto à variedade de tecnologias (ou linguagens) utilizadas na descrição das partes de um modelo, flexibilidade para o reuso de partes existentes, ou em tarefas de gerenciamento de sincronização/dados/interface/distribuição. Além disso, em geral, nas soluções existentes para simulação heterogênea, alterações são necessárias sobre as partes do modelo, limitando a preservação de sua integridade. Esta é uma característica indesejável, por exemplo, no reuso de componentes IP (Intellectual Property) Neste contexto, esta tese apresenta o DCB (Distributed Co-simulation Backbone), cujo propósito geral é o suporte à execução distribuída dos modelos heterogêneos. Para isso, são observados de modo integrado quatro fatores básicos: a distribuição física; a independência dos componentes (partes); o encapsulamento das estratégias de gerenciamento de tempo, de dados e de comunicação; e a sincronização híbrida. Em geral, as soluções existentes valorizam um fator em detrimento dos demais, dependendo dos propósitos envolvidos e sua variação em relação ao grau de especificidade (soluções proprietárias ou restritas a um escopo de aplicações). O Tangram, também discutido nesta tese em termos de requisitos, é uma proposta de ambiente para projeto de modelos heterogêneos distribuídos. No contexto da especificação do DCB, esta proposta tem como objetivo geral agregar num mesmo ambiente funcionalidades de apoio para a busca e catalogação de componentes, seguidas do suporte à construção e à execução distribuída de modelos heterogêneos via DCB. À luz dos princípios de generalidade e flexibilidade da arquitetura do DCB, o Tangram visa permitir que o projetista reduza seu envolvimento com detalhes relacionados ao provimento de condições necessárias à cooperação entre componentes heterogêneos. No escopo desta tese, ênfase foi dada à co-simulação de sistemas embarcados, ênfase esta observada também na construção do protótipo do Tangram/DCB, e nos estudos de caso. Contudo, a estrutura do DCB é apropriada para qualquer domínio onde a simulação possa ser utilizada como instrumento de validação, entre outros propósitos.

A validação de projetos de sistemas eletrônicos pode ser feita de diversas maneiras, como tem sido mostrado pelas pesquisas em síntese automática e verificação formal. Porém, a simulação ainda é o método mais utilizado. O projeto de um sistema digital típico pode ser desenvolvido em diversos níveis de abstração, como os níveis algorítmico, lógico ou analógico. Assim, a simulação também deve ser executada em todos esses níveis. A simulação apresenta, contudo, o inconveniente de não conseguir conciliar uma alta acuracidade de resultados com um baixo tempo de simulação. Quanto mais detalhada é a descrição do circuito, maior é o tempo necessário para simulá-lo. O inverso também é verdadeiro, ou seja, quanto menor for a acuracidade exigida, menor será o tempo dispendido. A simulação multinível tenta conciliar eficiêencia e acuracidade na simulação de circuitos digitais, propondo que partes do circuito sejam descritas em diferentes níveis de abstração. Com isso, somente as partes mais críticas do sistema são descritas em detalhes e a velocidade da simulação aumenta. Contudo, essa abordagem não é suficiente para oferecer um grande aumento na velocidade de simulação de grandes circuitos. Assim, surge como alternativa a aplicação de técnicas de processamento distribuído à simulação multinível. Os aspectos que envolvem a combinação dessas duas técnicas são abordados nesse trabalho. Como plataforma para os estudos realizados, optou-se por usar duas ferramentas desenvolvidas nessa Universidade: os simuladores do Sistema AMPLO e o Sistema Operacional HetNOS. São estudadas técnicas de sincronização em sistemas distribuídos, fundamentais para o desenvolvimento dos simuladores e, finalmente, são propostas alternativas para a distribuição dos simuladores. É realizada, ainda, uma análise comparativa entre as versões propostas.