Orientador: Nelson Luis Saldanha da Fonseca / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-27T15:39:16Z (GMT). No. of bitstreams: 1 Furtado_VitorHugo_M.pdf: 13385223 bytes, checksum: 4c479d8cb2f5ee34733fc74ed9f51683 (MD5) Previous issue date: 2000 / Resumo: Cellular Digital Packet Data Networks (CDPD) é uma tecnologia de redes sem fio que tem como principais características a transmissão digital, tecnologia de rádio, channel hopping e comutação por pacote. A presente dissertação enfoca aspectos do desempenho e dimensionamento das redes CDPD. Propõe-se uma extensão do protocolo DSMA/CD para o transporte de tráfego com prioridade. / Abstract: Cellular Digital Packet Data Networks is a wireless network technology which has as main feature the digital transmission, radio technology, channel hopping and packet commutation. In this dissertation, performance aspects and CDPD networks are analyzed. Moreover, a prioritized version of the DSMA/CD protocol is introduced. / Mestrado / Mestre em Ciência da Computação

Orientador: Nelson Luis Saldanha da Fonseca / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-07-28T15:57:03Z (GMT). No. of bitstreams: 1 VianaNeto_CesarAugusto_M.pdf: 13468980 bytes, checksum: 68be9c3e23919127667bbd701f8f56f0 (MD5) Previous issue date: 1999 / Resumo: Nessa dissertação avalia-se mecanismos para controle de tráfego auto-semelhante. Apresenta-se um conjunto de equações capazes de estimar os recursos necessários para fornecer Qualidade de Serviço a um agregado de fontes. Avalia-se o comportamento dessas equações em diferentes cenários e são enfatizadas as vantagens obtidas com a utilização do conceito de escala de tempo de interesse. Introduz-se também um mecanismo de policiamento de tráfego auto semelhante, o Balde Furado Fractal, e avalia-se sua efetividade no policiamento de tais tráfegos. / Abstract: In this thesis we evaluate flow control mechanisms for self-similar traffic. We show a framework capable to compute resource requirements to provide Quality of Service for an aggregate of sources using the concepts of envelope process and time-scales of interest. We evaluate this framework with different traffic sets and show the obtained multiplexing gain. Moreover, we introduce the fractal Leaky Bucket, a policing mechanism for self- similar traffic. / Mestrado / Mestre em Ciência da Computação

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-10-05T21:52:12Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Anderson Wesley Alves Bezerra.pdf: 1979361 bytes, checksum: ac90c7988a2d3b56b4a1fb6c7d34698a (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-11-14T21:05:11Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Anderson Wesley Alves Bezerra.pdf: 1979361 bytes, checksum: ac90c7988a2d3b56b4a1fb6c7d34698a (MD5) / Made available in DSpace on 2018-11-14T21:05:11Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Anderson Wesley Alves Bezerra.pdf: 1979361 bytes, checksum: ac90c7988a2d3b56b4a1fb6c7d34698a (MD5) Previous issue date: 2017-06-27 / Em um contexto onde os serviços de rede de dados nas organizações requerem melhor aproveitamento dos recursos disponíveis, essa pesquisa consiste em um estudo voltado a determinar a viabilidade da utilização da tecnologia VoIP em dispositivos móveis utilizando o padrão IEEE 802.11, no âmbito do IFMT - Campus Cáceres - Prof. Olegário Baldo. Este Campus possui dois links de dados (4 e 20Mbps) considerados pelo Departamento de Informática insuficientes para atender à demanda dos usuários. Além disto, a rede sem fio apresenta pontos críticos de sinal em função de obstáculos e/ou por interferência. Num primeiro momento foram realizadas enquetes entre os usuários, que permitiram verificar o grau de satisfação com os serviços providos pelo Campus e o interesse na utilização de aplicações com recurso de tecnologia VoIP. O resultado das enquetes revelou a insatisfação dos usuários com a qualidade do acesso à Internet, a necessidade de mobilidade no interior do Campus e a utilização de aplicativos VoIP em dispositivos móveis, com preferência aos aplicativos WhatsApp e Messenger. Em seguida, foram realizados experimentos com o objetivo de avaliar subjetivamente e objetivamente a qualidade das chamadas de voz destas aplicações em três cenários: comunicação local com baixa carga; handover com carga média; e handover no Campus e comunicações externas. Para estas avaliações foram utilizadas duas bandas de dados para cada comunicação, 15 e 30 kbps, que foram escolhidas a partir de testes preliminares em ambiente indoor. Os dispositivos utilizados no ambiente de teste foram configurados com parâmetros de qualidade de serviço (QoS) para o protocolo de voz e com redução da área de alcance para obter maior vazão e qualidade de sinal. As avaliações subjetivas foram realizadas com usuários do próprio Campus e alcançaram resultados no mínimo razoáveis. As avaliações objetivas foram realizadas utilizando os softwares Wireshark e um emulador Android (Nox) para captura dos pacotes e cálculo das métricas: atraso, variação de atraso, perda de pacotes e o handover, cujos resultados estiveram dentro dos limites estabelecidos na literatura. Também, através de um computador, com sistema operacional pfSense, foi possível gerenciar o controle de banda de dados e o acesso à Internet, bem como determinar o consumo da banda de dados utilizado pelas aplicações. Os resultados obtidos revelam que a viabilidade do uso de aplicações VoIP em dispositivos móveis depende da readequação da infraestrutura da rede sem fio, devendo-se atentar para o distanciamento entre os pontos de acesso, obstáculos, sobreposição de canais e potência do sinal. Apesar da insatisfação dos usuários com os serviços da Internet no Campus, de modo a satisfazer o desejo deles de utilizar aplicações VoIP móveis, recomenda-se reservar 500 kbps para atender no mínimo 35 usuários simultâneos, considerando que o ideal seria aumentar a banda do link de dados e não piorar ainda mais a qualidade percebida dos serviços atuais. / In a context where data network services in organizations require a better use of available resources, this research consists of a study aimed at determining the feasibility of using VoIP technology on mobile devices using the IEEE 802.11 standard, at IFMT - Campus Cáceres - Prof. Olegário Baldo, which has two data links (20 and 4 Mbps) considered insufficient by the IT department to meet the current number of users, it also presents critical points of signal due to obstacles and/or by interference. Initially it was carried out surveys among the users, which allowed us to verify the degree of satisfaction with the services provided by the Campus and the interest in the use of applications with VoIP technology. The result of the survey revealed the dissatisfaction of the users with the quality of Internet access, the desire for mobility within the Campus and the use of VoIP applications on mobile devices, with WhatsApp and Messenger applications as a preference. Afterwards, it was performed several experiments aiming at evaluating subjectively and objectively the quality of the voice calls of these applications in three scenarios: local communication with low load; handover with medium load and handover at the Campus and external communications. The evaluations were divided into two data bands, 15 and 30 kbps, which were chosen from preliminary indoor tests. The devices used in the test environment were set up with QoS parameters for the speech protocol and with reduction of the reach area to obtain higher throughput and signal quality. Subjective evaluations were carried out with real Campus users, which achieved at least reasonable results. The objective evaluations were carried out by using the Wireshark software and an Android (Nox) emulator for the capture of the packets and subsequent metrics computation: delay, delay variation, packet loss and handover time, which were within the limits established in the literature. Also, through a computer with pfSense operating system, it was possible to manage data band control and Internet access, as well as to determine the bandwidth consumption used by the applications. The obtained results show that the feasibility of using VoIP applications in mobile devices depends on the adjustment of the infrastructure of the wireless network, and attention must be paid to the distance between the access points, obstacles, overlapping channels and signal strength. Although the uses are dissatisfied with the Campus Internet services, in order to meet their desire in using mobile VoIP application on Campus, it should be reserved 500 kbps to meet at least 35 simultaneous users, considering that it would be ideal to increase the data link and not to aggravate the current services quality even more.

Submitted by Fernanda Rodrigues de Lima (fernanda.rlima@ufpe.br) on 2018-10-05T22:04:14Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Cláudio Luiz.pdf: 2733488 bytes, checksum: 2dcf76bfff96fd6d94e04adaf4067968 (MD5) / Approved for entry into archive by Alice Araujo (alice.caraujo@ufpe.br) on 2018-11-14T21:07:12Z (GMT) No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Cláudio Luiz.pdf: 2733488 bytes, checksum: 2dcf76bfff96fd6d94e04adaf4067968 (MD5) / Made available in DSpace on 2018-11-14T21:07:12Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) DISSERTAÇÃO Cláudio Luiz.pdf: 2733488 bytes, checksum: 2dcf76bfff96fd6d94e04adaf4067968 (MD5) Previous issue date: 2017-06-29 / Algumas restrições da pilha de protocolos TCP/IP se tornaram fatores limitadores para o crescimento da Internet atual. Dentre esses fatores estão limitações no roteamento, que é feito com pouca granularidade e sobre grandes escopos por protocolos como o BGP (Border Gateway Protocol). A Arquitetura Interredes Recursiva é uma proposta clean slate para a Internet do futuro (IF) que propõe soluções alternativas para esses limites. Denomina-se convergência de roteamento ao conjunto de ações tomadas para manter os caminhos da rede que ligam os remetentes aos destinatários em face de mudanças na topologia causadas por quedas ou descobertas de melhores caminhos. Essa dissertação descreve um trabalho que teve por objetivo avaliar a convergência de roteamento da arquitetura RINA em comparação com a convergência dos protocolos de roteamento da Internet atual. Para alcançar esse objetivo, o comportamento dos componentes da rede RINA foi emulado através do protótipo ProtoRINA e, como representante do roteamento na Internet atual, emulou-se o comportamento do protocolo BGP. Os cenários construídos no desenvolvimento do trabalho permitiram uma comparação entre os tempos de resposta na rede RINA e na Internet atual, tendo ambas, sido submetidas, a convergências provocadas por quedas de caminhos. / Some restrictions in the TCP/IP protocol stack have become limiting factors for growing the Internet. Some of these factors are limitations in routing, which is done with little granularity and over large scopes by protocols such as BGP (Border Gateway Protocol). The Recursive InterNetwork Architecture (RINA) is a clean slate proposal for Future Internet (FI) which proposes alternative solutions for these limitations. Routing convergence is the set of actions to maintain the network paths that connect senders to recipients in the face of changes in topology caused by failures or discoveries of better paths. This dissertation describes a work that aimed to evaluate the convergence of routing of the RINA architecture in comparison to the convergence of the current Internet. In order to reach this objective, the behavior of the components of the RINA network was emulated through the ProtoRINA prototype and, as a representative of the current Internet routing, the behavior of the BGP protocol was emulated. The scenarios constructed in the development of this work allowed a comparison between the response times in the RINA network and in the current Internet, both of which were submited to convergences caused by path failures.

Esta pesquisa tem por objetivo identificar benefícios e incrementar o grau de compreensão relativo à operação e desempenho de sistema em redes na área de metrologia em química. O seu desenvolvimento compreende a identificação de fatores de influência e dimensões de aprimoramento. A pesquisa experimental foi conduzida por meio de estudo de caso múltiplo, compreendendo experiência nacional e internacional, o qual foi desenvolvido por meio de questionários e entrevistas com 33 pesquisadores de nível sênior, membros da Rede Brasileira de Medições em Química (anteriormente denominada Programa Brasileiro de Metrologia em Química) e 58 gestores da área de metrologia em química de 54 instituições de 46 países principalmente as signatárias da Convenção do Metro. Concluiu-se que atuações cooperativas como redes são especialmente benéficas. Este fato ocorre principalmente em função da diversidade de demandas existentes em MQ. Em rede, essas demandas podem ser resolvidas com menos investimentos e prazos adequados, usando equipamentos e especialistas nacionais, seguindo padrões globais. Entretanto, a gestão de sistemas em rede requer uma visão cuidadosa de todos os fatores que afetam o seu desempenho e manutenção, incluindo aqueles necessários ao seu aprimoramento. Futuras pesquisas são necessárias para validar estes resultados, aplicando-os em outros sistemas em rede. Adicionalmente, estudos complementares devem ser feitos para identificar o \"peso\" dos fatores de influência na rede e a relação entre eles usando modelos matemáticos como técnicas de modelagem. Também exeriência práticas como as apresentadas neste estudo podem ser aplicadas no desenvolvimento de teorias como a Actor Network Theory. / This research is focused on identifying the benefits and to increase the amount of understanding associated with operation and performance of a network system focusing on chemical metrology. Its development comprised the identification of factors of influence and dimensions of improvement. The experimental research was conducted through a multiple case study that included national and international experiences developed through interviews and questionnaires with 33 senior researchers from the Brazilian Network for Chemical Measurements (formerly known as the Brazilian Program on Metrology in Chemistry) and 58 managers of chemical metrology area from 54 institutions in 46 countries that were mainly signatories to the Metre Convention. The conclusion that cooperative actuation like networks are especially beneficial. This is because the diversity of current demands for chemical metrology. In a network, these demands can be resolved with less investment, in a timely manner, using national specialist and equipment, and following global standards. However, management of such a network system requires careful oversight of all factors that affect its performance and maintenance, including those factors needed for its improvement. Future researchers are needed to validate these results, applying them to other network systems. In addition, complimentary studies should be done to identify the \"weight\" of the influencing factors to networks and the relation among them using mathematics models such as modeling techniques. Also practical experiences like the ones presented in this study can be applied in the development of theories like the Actor Network Theory.

Orientador: Shusaburo Motoyama / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-20T23:50:39Z (GMT). No. of bitstreams: 1 Pazeto_TatianaAnnoni_D.pdf: 1711898 bytes, checksum: 8065d763289ade9949c23d195aa6fce9 (MD5) Previous issue date: 2012 / Resumo: As redes atuais, baseadas em tecnologia IP, transportam uma variedade de trafegos, tais como voz, dados e videos (trafego multimidia) e sao denominadas de redes convergentes. Outras redes estao em desenvolvimento para aplicacoes especificas como Redes de Sensores Corporais Sem Fio (RSC). O problema de prover a qualidade de servico (QoS - Quality of Service) de cada tipo de trafego em redes convergentes e em RSC, e essencial, pois os trafegos exigem diferentes requisitos de qualidade. Um dos principais parametros para prover QoS nessas redes e o escalonador de trafegos. O objetivo principal desta tese e analisar e propor escalonadores de trafego para a rede convergente e para RSC. O escalonador de trafegos proporciona uma utilizacao mais equitativa da banda disponivel. Como a rede baseada em IP foi originalmente projetada para transportar somente trafegos de dados, e estudada, nesta tese, a influencia do trafego multimidia no desempenho e no projeto do escalonador. O estudo e realizado atraves do desenvolvimento de varias plataformas de simulacoes que contem os varios tipos de trafegos, um buffer de armazenamento de pacotes, um link de saida e os varios tipos de escalonamento. Como o escalonador FIFO foi e continua sendo o mais utilizado, esse escalonador foi tomado como referencia para confrontar os resultados obtidos com o escalonador DRR e com o outro modelo inedito de escalonamento que usa em seu calculo de distribuicao de quotas, o conceito de banda efetiva. O escalonador DRR e o de banda efetiva podem fazer distincao entre os trafegos, de modo que a alocacao de bandas entre os varios trafegos se torne mais justa e atenda aos requisitos de QoS. Pelos resultados obtidos, pode-se constatar que a solucao de escalonamento proposta consegue controlar a perda de pacotes, mas o atraso deve ser melhor investigado. Alem disso, o escalonador DRR e mais indicado para trafego multimidia se comparado ao escalonador FIFO. Na maioria das propostas examinadas na literatura, o escalonador mais utilizado para RSC e aquele baseado em tecnica TDM. Existem poucos estudos em que o escalonador e baseado em servico ciclico, conhecido na literatura como polling. Nesta tese, estuda-se a conveniencia da utilizacao do escalonador baseado em polling para RSC. O estudo e, tambem, realizado atraves de uma plataforma de simulacoes que contempla fontes apropriadas desenvolvidas para sensores corporais, o escalonador polling e um buffer. As fontes desenvolvidas sao ineditas na literatura. Os resultados mostram que o escalonador polling pode ser uma boa alternativa para coletar dados dos sensores sobre ou subcutaneos implantados no corpo humano / Abstract: Today's networks are based on IP technology and carry a variety of traffic, such as voice, data and video (multimedia traffic) and are called convergent networks. Other networks are being developed for specific applications such as Wireless Body Sensor Networks (WBSN). The problem of providing Quality of Service (QoS) of each type of traffic in convergent networks and WBSN is essential, since the traffics demand different quality requirements. One of the main providers of QoS in these networks is the traffic scheduler. The main objective of this thesis is to analyze and propose traffic schedulers for convergent network and WBSN. The traffic scheduler provides a fairer use of the available bandwidth. As IP based network was originally designed to carry only data traffic, it is studied in this thesis, the influence of multimedia traffic on the performance and design of the scheduler. The study is carried out by developing multiple simulation platforms that contain various types of traffics, a buffer for packet storing, an output link and the various types of scheduling. As the FIFO scheduler was and remains the most widely used, it was taken as a reference to compare the results obtained with the DRR scheduler and with another unprecedented model of scheduling that uses in its calculation of the distribution of quotas, the concept of effective bandwidth. The DRR and the effective bandwidth schedulers can separate the traffics, so the allocation of bandwidths among the various traffics becomes fair and requirements of QoS can be met. From the results, it can be seen that the proposed scheduling solution can control packet loss, but the delay should be better investigated. Moreover, the DRR scheduler is best suited for multimedia traffic compared to the FIFO scheduler. In most of the proposals examined in the literature, the scheduler most used on WBSN is based on TDM technique. There are few studies in which the scheduler is based on cyclic service, known in the literature as polling. In this thesis, the convenience of using the scheduler based on polling for WBSN is studied. The study is also undertaken through a platform of simulations that include appropriate fonts developed for body sensors, the polling scheduler and a buffer. The sources developed are unprecedented in literature. The results show that the polling scheduler can be a good alternative to collect data from sensors implanted in subcutaneous or on the human body / Doutorado / Telecomunicações e Telemática / Doutora em Engenharia Elétrica

Orientador: Mauricio Ferreira de Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-04T00:07:15Z (GMT). No. of bitstreams: 1 Boava_Adao_M.pdf: 1628286 bytes, checksum: ed4b516176dad68cc79e3c264490e71a (MD5) Previous issue date: 2004 / Resumo: A garantia de níveis de serviço das Redes Privadas Virtuais (VPNs) depende fundamentalmente da presença de um modelo de projeto que seja função, não somente dos recursos da rede, como também dos serviços de comunicação (fim a fim) das estações e das aplicações. Esse modelo deve ser de fácil atualização e flexível o suficiente para a implantação rápida e eficiente de novas funcionalidades. As tecnologias VPN/MPLS e DiffServ têm sido propostas para o provimento de qualidade de serviço para a próxima geração das VPNs. Esta dissertação apresenta uma estratégia para o projeto de redes VPNs baseada nestas tecnologias. O trabalho proposto utiliza um ambiente de teste desenvolvido para esta dissertação com o objetivo de validar a implementação de VPNs MPLS com DiffServ. Foram realizados três tipos de testes voltados para a geração de dados referentes à conectividade, isolamento e qualidade de serviço. Esses dados permitiram a realização de análises do desempenho das VPNs MPLS. O trabalho apresenta também o desenvolvimento, o uso e implementação do modelo de projeto de VPNs MPLS para várias classes de serviços. O modelo descreve uma estratégia simplificada para dimensionamento das classes de serviços por VPN. De forma geral, é capaz de representar o desenvolvimento de VPNs MPLS para várias classes com qualidade de serviço fim a fim, as quais transportam tráfegos de diversas aplicações: tráfego melhor esforço (best effort), tráfego com prioridades (AFI, AF2, AF3, AF4) e tráfego de voz (EF). Os conceitos relacionados à conectividade e ao isolamento dos roteadores virtuais utilizados nas VPNs MPLS também são abordados neste trabalho. A tendência do mercado de VPNs IP é também apresentada, sendo estas comparadas às VPNs de nível 2 predominantes no mercado e, normalmente, baseadas na tecnologia Frame Relay / Abstract: The guarantee of degrees of VPN service depends largely on the existence of a project model that is a function of network resources, as well as of communication services (end-to-end), stations and applications. This model must be easily updated and flexible enough so that new functions may be added to it when necessary. VPN MPLS and DiffServ are being analyzed for the provision of service quality necessary to the next VPN generation. This work proposes a strategy for the project based on VPNs in these technologies. This work is based on an environment of tests, which was developed to this work and had as its objective to investigate the viability of implementing a VPN/MPLS with DiffServ. Three tests were performed in such environment and provided data referring to the connectivity, isolation and quality of service. This data permitted to analyze some VPN MPLS performance. This work also shows the development, application and implementation of the VPN IP MPLS model in several degrees of services. Such model offers a simplified ethodology of VPN IP MPLS projects. Besides that, it permits to measure the type of services by VPN. In general, this model is able to represent the VPN IP MPLS development to several degrees of services with the quality of end-to-end services, which transport traffic of diverse applications: Data (Best Effort), Data with priority (AFI, AF2, AF3, AF4) and Voice (EF). The ideias about connectivity and isolation of Router Virtuals of VPN IP MPLS are analyzed in this work. The VPN IP market's tendency is also presented, comparing VPN IP to those of level 2, which prevail an market / Mestrado / Mestre em Ciência da Computação

Made available in DSpace on 2014-06-12T18:05:20Z (GMT). No. of bitstreams: 2 arquivo7242_1.pdf: 931437 bytes, checksum: 157a5fafafe6d80cb0496c15d8d7a5a9 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2005 / A presente dissertação se centra na temática de produção de previsões de valores futuros de arrecadações tributárias. Em particular, busca-se avaliar a utilidade de métodos de previsão baseados em redes neurais. Os resultados obtidos para arrecadações do ICMS nacional e de três estados (Pernambuco, Rio de Janeiro e São Paulo) mostram que previsões obtidas por redes neurais podem ser mais precisas do que aquelas fornecidas por metodologias de previsão mais tradicionais como o alisamento exponencial e o método de Box e Jenkins. Os resultados revelam ainda que combinações de previsões que incluem redes neurais tendem a alcançar maior precisão do que combinações que não incluem redes neurais

Orientador: Maria Isabel Felisberti / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Quimica / Made available in DSpace on 2018-07-25T03:51:08Z (GMT). No. of bitstreams: 1 Rocha_SandraMaria_D.pdf: 1994818 bytes, checksum: 6e452b27b2ad9b0ba92d221fe11b32d7 (MD5) Previous issue date: 1998 / Doutorado

Orientadores : Marcio Luiz de Andrade Netto, Beatriz Mascia Daltrini / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T00:55:18Z (GMT). No. of bitstreams: 1 Aguilera_LuizManoel_M.pdf: 8911300 bytes, checksum: 9c90f520e3ebe9300dc43c765d322d38 (MD5) Previous issue date: 1989 / Resumo: O conteúdo deste trabalho aborda a geração automática de Redes de Petri a partir da Especificação de um Sistema de Software com Características Tempo Real, utilizando ambiente de programação Prolog. A especificação do sistema é feita através de duas interfaces: "Interface de Especificação de Sistemas" que reúne um conjunto de conceitos cujo objetivo é especificar, decompor e inter-relacionar diferentes objetos de projeto e "Interface de Especificação da Dinâmica de Sistemas" cujo objetivo é especificar, interpretar e descrever as condições de simulação de algumas das características dinâmicas de um Sistema de Software Tempo Real. O modelo em Rede de Petri gerado automaticamente é traduzido em arquivos atendendo aos padrões de entrada de dados de um Analisador de Redes de Petri desenvolvido na USP/SP e um Simulador de Redes de Petri desenvolvido no LAAS/Toulouse/França; cujo objetivo é validar nas etapas iniciais do ciclo de vida, as especificações do Sistema de Software com Características Tempo Real Projetado / Mestrado / Mestre em Engenharia Elétrica