Made available in DSpace on 2015-04-14T13:56:40Z (GMT). No. of bitstreams: 1 396309.pdf: 932199 bytes, checksum: 3b5f4e64851c970d9cf0c4c0153247f4 (MD5) Previous issue date: 2007-09-18 / O cen?rio atual das redes de comunica??o, na qual as redes convergentes aparecem como ponto fundamental, aponta para a necessidade da garantia da qualidade nos servi?os prestados. Tal qualidade ? indispens?vel para o novo modelo de neg?cios das operadoras de telecom. Os m?todos de medi??o passiva e ativa t?m demonstrado papel determinante nesta tarefa, quantificando e qualificando os dados relacionados ao estado da rede. Junto ? medi??o ativa, a t?cnica de dispers?o de pares de pacotes mostra-se como m?todo confi?vel e promissor para medir a capacidade de um caminho entre dois pontos. Em conformidade com as especifica??es do projeto Plataforma e Servi?os de Telemetria - CelTel, idealizado pelo Grupo de Pesquisas Avan?adas em Redes de Computadores e Tecnologia da Informa??o (GPARC&TI), a presente disserta??o prop?e a implementa??o da t?cnica de dispers?o de pares de pacotes focada em topologias tipicamente celulares. Tais topologias caracterizam-se por apresentarem em sua rede de acesso a mais baixa taxa de transmiss?o de dados, permitindo que a medi??o de capacidade de um caminho norteie-se por um limite inferior baseado na capacidade do enlace de acesso ? rede. O trabalho apresenta uma revis?o bibliogr?fica acerca dos aspectos relacionados ao gerenciamento de redes, focando-se nas t?cnicas de medi??o ativa existentes. Posteriormente, aborda-se a t?cnica de dispers?o de pares no contexto do projeto, assim como sua implementa??o e discuss?es acerca dos resultados obtidos.

Made available in DSpace on 2015-04-14T14:49:07Z (GMT). No. of bitstreams: 1 413102.pdf: 1154669 bytes, checksum: f44f67d48eecd7a5905469e66658d40f (MD5) Previous issue date: 2007-08-31 / Este trabalho descreve o R-MAC, um protocolo de acesso ao meio projetado para atender as requisi??es de energia das Redes de Sensores Sem Fio (RSSFs). A fim de melhor explicar o protocolo proposto, em um primeiro momento foi realizado um estudo em redes wireless em geral. Todas as camadas de uma RSSF s?o introduzidas, com ?nfase na camada de controle de acesso ao meio (MAC), que ? a motiva??o principal do R-MAC. O problema do acesso ao meio ? discutido, e alguns t?picos de interesse s?o investigados. Uma discuss?o de protocolos relacionados tamb?m ? conduzida, e os aspectos espec?ficos dos protocolos estudados considerados no projeto do R-MAC. O R-MAC foi desenvolvido para RSSF dirigidas a eventos, com coleta peri?dica, insens?vel a lat?ncia da rede e com baixa taxa de envio. A efici?ncia no consumo de cada nodo, aumenta o tempo de vida da RSSF como um todo. Al?m disso, prop?e-se uma t?cnica para buscar novas conex?es toda vez que um nodo sair da rede. Esta t?cnica resulta no aumento da intera??o de cada nodo com a rede. O protocolo proposto ? de f?cil implementa??o em nodos de RSSFs baseados em microprocessador, e suas efici?ncia e aplicabilidade foram mostradas com a avalia??o de equa??es para estimar o consumo de pot?ncia.

Made available in DSpace on 2015-04-14T14:49:22Z (GMT). No. of bitstreams: 1 423774.pdf: 1356397 bytes, checksum: 4c07d8d5aba7d673efbc82c220109747 (MD5) Previous issue date: 2010-03-22 / Este trabalho tem como principal objetivo a investiga??o de protocolos para forma??o de redes ad hoc, visando a modelagem de novo protocolo para forma??o de scatternets Bluetooth. Esse protocolo tem por caracter?stica principal atender os requisitos de aplica??es interativas, que dependem mais de uma maior disponibilidade da conex?o do que de uma conex?o com largura de banda elevada e com baixo atraso de comunica??o. O protocolo modelado mant?m conex?es funcionando mesmo na presen?a de eventos de entrada e sa?da de n?s da rede m?vel. O protocolo foi proposto visando a implementa??o de um SoC Bluetooth para a forma??o de scatternets. A valida??o inicialmente foi idealizada para utiliza??o da plataforma F?nix do projeto Brazil IP, sendo ao final realizada uma simula??o para levantamento de resultados do modelo para gera??o de scatternets.

Made available in DSpace on 2015-04-14T14:49:55Z (GMT). No. of bitstreams: 1 444044.pdf: 1517934 bytes, checksum: 017ad238277ccab4a746e7590ed0bade (MD5) Previous issue date: 2010-03-19 / The development of distributed systems and communication protocols is not a trivial task and the use of formal specification and verification techniques becomes necessary to assure the correctness of such systems. While model-checking techniques face the state space explosion problem, the use of theorem provers is an important resource for verification of systems with unlimited number of states. The formal method Event-B, increasingly being used in both industry and academia, is based on the technique of theorem proving and also supports refinement. The contribution of this work is a library of reusable formal specification patterns, in Event-B, for message passing mechanisms commonly employed in distributed systems. A specification pattern defines the desired communication semantics of a channel, having its properties formally proven. During the development of a distributed system, the developer may use these patterns by applying guided refinement steps on the target model. The resulting system is assured to have the communication semantics as defined by the pattern, thus freeing the developer of defining the communication system from scratch and of proving its properties. / O desenvolvimento de sistemas distribu?dos e protocolos de comunica??o ? uma tarefa complexa e o uso de t?cnicas de especifica??o e verifica??o formal torna-se necess?rio para garantir a corretude de tais sistemas. Enquanto t?cnicas de model-checking passam pelo problema da explos?o do espa?o de estados, o uso de provadores de teoremas representa um importante recurso para verifica??o de sistemas com ilimitado n?mero estados. O m?todo formal Event-B, de uso crescente na ind?stria e academia, se ap?ia na t?cnica de prova de teoremas e suporta refinamento. A contribui??o deste trabalho est? em proporcionar uma biblioteca reus?vel de padr?es de especifica??o, em Event-B, de mecanismos de troca de mensagens em sistemas distribu?dos. Um padr?o de especifica??o define a sem?ntica de comunica??o desejada em um canal, demostrando formalmente suas propriedades. Durante o desenvolvimento de um sistema distribu?do, o desenvolvedor pode fazer uso destes padr?es atrav?s de passos guiados de refinamento do sistema. O sistema resultante garante a semantica de comunica??o definida no padr?o utilizado e livra o desenvolvedor de se preocupar em definir o sistema de comunica??o a partir do in?cio e provar suas propriedades.

Made available in DSpace on 2015-04-14T13:56:11Z (GMT). No. of bitstreams: 1 404328.pdf: 3041840 bytes, checksum: 71eb19106ae512b0259919d42c2e2389 (MD5) Previous issue date: 2008-06-30 / A crescente evolu??o da ?rea da microeletr?nica nas ?ltimas d?cadas acarretou um aumento expressivo da capacidade de integra??o de sistemas em um ?nico chip, o que levou ? necessidade de novas tecnologias para a an?lise do correto funcionamento dos sistemas. Observam-se, recentemente, novas arquiteturas de processadores, migrando de uma ?nica CPU (Unidade Central de Processamento) para m?ltiplos n?cleos (tipicamente, 2, 4 e 8 processadores em uma ?nica pastilha). ? neste cen?rio, que evolui de sistemas eletr?nicos mono para multiprocessados, que este trabalho se insere, visando propor uma expans?o da t?cnica CFCSS (Control Flow Checking by Software Signatures), desenvolvida por Edward J. McCluskey para sistemas monoprocessados, a uma vers?o aplic?vel a sistemas com v?rios processadores em um SoC (System-on-Chip). Quanto ? sua estrutura, este trabalho constitui-se de duas partes. A primeira apresenta a taxonomia e os conceitos b?sicos de sistemas tolerantes a falhas e uma revis?o bibliogr?fica das principais t?cnicas de detec??o de falhas em software em sistemas monoprocessados, al?m de abordar a evolu??o da tecnologia reprogram?vel. A segunda parte descreve a metodologia de desenvolvimento das plataformas de hardware e de software, bem como as etapas realizadas e as dificuldades encontradas. Al?m disso, apresenta a t?cnica CFCSS adaptada a v?rios processadores, o protocolo de comunica??o desenvolvido para a realiza??o dos testes e os resultados obtidos. Assim, este trabalho demonstra car?ter inovador e se justifica pela tend?ncia de os sistemas embarcados possu?rem, v?rios processadores e aplica??es sendo executadas simultaneamente.

Made available in DSpace on 2015-04-14T14:50:10Z (GMT). No. of bitstreams: 1 457558.pdf: 3774876 bytes, checksum: 2e292891c7a84495b7410724b3e2926e (MD5) Previous issue date: 2014-03-18 / The growing demand for wireless equipment for use in industrial automation communication networks has motivated the development of this dissertation. The emergence of new wireless technologies such as Wireless Hart, ISA 100.11a and Zigbee, all based on the IEEE 802.15.4 protocol, as well as the involvement of the author in the development of two wireless products for use in industrial automation, has grounded the area to be searched. This research was restricted in the implementation and evaluation of a wireless network architecture based on tree network topology. This architecture will be exploited for use in industry, in which will be researched and developed based on the IEEE 802.15.4 protocol, today considered the most suitable for industrial automation. This dissertation will look at the research conducted in wireless sensor networks for use in industrial automation systems, as well as the development of a hybrid solution that encompasses one of the most widespread protocols of communication networks in industrial automation, the Modbus RTU protocol, and the IEEE 802.15.4 protocol. This solution involves gateways devices that interface between protocols and create a wireless network with tree network topology as well as end devices that operate with battery and have temperature and humidity sensors. The work covers everything from research and development of the solution, until the final test to validate the developed solution. / A crescente demanda de equipamentos sem fio para uso em redes de automa??o industrial motivou o desenvolvimento dessa disserta??o. O surgimento de novas tecnologias sem fio, tais como Wireless Hart, ISA 100.11a e Zigbee, todas baseadas no protocolo IEEE 802.15.4, bem como o envolvimento do autor no desenvolvimento de dois produtos sem fio para uso na automa??o industrial, fundamentou a ?rea a ser pesquisada. Essa pesquisa restringiu-se na implementa??o e avalia??o de uma arquitetura de rede sem fio com topologia baseada em rede do tipo ?rvore. Essa arquitetura, por consequ?ncia de ser explorada para uso na ind?stria, ? pesquisada e desenvolvida tendo como base o protocolo IEEE 802.15.4, hoje considerado o mais adequado para automa??o industrial. Nesta disserta??o ser? abordada a pesquisa realizada em redes de sensores sem fio para uso em automa??o industrial, bem como o desenvolvimento de uma solu??o h?brida que engloba o protocolo Modbus RTU (um dos protocolos de comunica??o mais difundidos em redes de automa??o industrial) e o protocolo IEEE 802.15.4. Essa solu??o envolve dispositivos gateways que criam uma interface entre os dois protocolos e criam uma rede sem fio com topologia ?rvore, bem como dispositivos finais que operam a bateria e possuem sensores de umidade e temperatura. O trabalho aborda desde a pesquisa e desenvolvimento da solu??o, at? a realiza??o de testes finais que validam a solu??o desenvolvida.

Made available in DSpace on 2014-12-17T14:54:53Z (GMT). No. of bitstreams: 1 RummeniggeRD.pdf: 4734896 bytes, checksum: 7fd06946288490f84ee082f6f9ad36dd (MD5) Previous issue date: 2010-01-18 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / In this work, we present the GATE, an approach based on middleware for interperceptive applications. Through the services offered by the GATE, we extension we extend the concept of Interperception for integration with several devices, including set-top box, mobile devices (cell phones), among others. Through this extension ensures the implementation of virtual environments in these devices. Thus, users who access the version of the computer environment may interact with those who access the same environment by other devices. This extension is just a part of the services provided by the GATE, that remerges as a new proposal for multi-user virtual environments creation. / Neste trabalho, apresentamos o GATE, uma abordagem baseada em middleware para aplica??es interperceptivas. Atrav?s dos servi?os oferecidos pelo GATE, estendemos o conceito da Interpercep??o para a integra??o com v?rios dispositivos, incluido set-top box, dispositivos m?veis (celulares), entre outros. Atrav?s desta extens?o garantimos a execu??o de ambientes virtuais nesses dispositivos. Assim, usu?rios que acessarem a vers?o do ambiente pelo computador poder?o interagir com aqueles que acessarem o mesmo ambiente por outros dispositivos. Essa extens?o ? apenas uma parte dos servi?os garantidos pelo GATE, surge como uma nova proposta para cria??o de ambientes virtuais multisu?rios.

Made available in DSpace on 2015-04-14T14:49:27Z (GMT). No. of bitstreams: 1 427029.pdf: 2846166 bytes, checksum: e58e7e583a8e59c4cf88f555666e60c4 (MD5) Previous issue date: 2008-03-25 / O trabalho apresenta caracter?sticas, funcionamento e arquitetura das redes wireless mesh assim como sua aplicabilidade em diversos cen?rios. S?o mostrados tamb?m aspectos de hardware, protocolos, algoritmos de roteamento, topologias e grupos de discuss?o criados para esta tecnologia, com destaque para os grupos de padroniza??o IEEE 802.11s, 802.15.5 e 802.16a. Al?m de mostrar o funcionamento destas redes foram investigados tamb?m alguns projetos de pesquisa realizados no MIT (Massachusetts Institute of Technology), e pela Microsoft Research. S?o apresentados resultados de avalia??o de desempenho de protocolos de roteamento de redes mesh em dois cen?rios para a mesma topologia. Os dois cen?rios possuem quantidades diferentes de nodos e fontes de comunica??o. A avalia??o foi realizada por meio de simula??o com a ferramenta Network Simulator (ns2), utilizando UDP como protocolo da camada de transporte. Os resultados de simula??o mostraram resultados interessantes, e tamb?m descobertas n?o esperadas, a partir das an?lises e compara??es entre os protocolos de roteamento selecionados.

Made available in DSpace on 2014-12-17T14:55:03Z (GMT). No. of bitstreams: 1 EdsonMSN.pdf: 1297152 bytes, checksum: ddeef5119a3b863368e35112b7fbbd68 (MD5) Previous issue date: 2006-08-02 / New multimedia applications that use the Internet as a communication media are pressing for the development of new technologies, such as: MPLS (Multiprotocol Label Switching) and DiffServ. These technologies introduce new and powerful features to the Internet backbone, as the provision of QoS (Quality of Service) capabilities. However, to obtain a true end-to-end QoS, it is not enough to implement such technologies in the network core, it becomes indispensable to extend such improvements to the access networks, what is the aim of the several works presently under development. To contribute to this process, this Thesis presents the RSVP-SVC (Resource Reservation Protocol Switched Virtual Connection) that consists in an extension of RSVP-TE. The RSVP-SVC is presented herein as a mean to support a true end-to-end QoS, through the extension of MPLS scope. Thus, it is specified a Switched Virtual Connection (SVC) service to be used in the context of a MPLS User-to-Network Interface (MPLS UNI), that is able to efficiently establish and activate Label Switched Paths (LSP), starting from the access routers that satisfy the QoS requirements demanded by the applications. The RSVP-SVC was specified in Estelle, a Formal Description Technique (FDT) standardized by ISO. The edition, compilation, verification and simulation of RSVP-SVC were made by the EDT (Estelle Development Toolset) software. The benefits and most important issues to be considered when using the proposed protocol are also included / O protocolo proposto nesta Tese, denominado Resource Reservation Protocol Switched Virtual Connection (RSVP-SVC), que consiste numa extens?o do RSVP-TE, vai de encontro ao surgimento de novas aplica??es multim?dia, que usam a Internet como meio de interconex?o. Tais aplica??es pressionam pelo desenvolvimento de novas tecnologias, tais como: MPLS, DiffServ e RSVP-TE, que introduzem novas e eficientes caracter?sticas ao backbone Internet, proporcionando uma significativa diferen?a no que tange ? provis?o de QoS (Quality of Service). O presente trabalho leva em conta o fato de que para se conseguir uma QoS fim-a-fim verdadeira, n?o basta implementar tais tecnologias no n?cleo da rede, ? imprescind?vel, estender tais melhorias ?s redes de acesso e qui?? ?s redes locais. Nesse sentido, muitos trabalhos est?o atualmente em desenvolvimento. ? no intuito de contribuir com este processo que este trabalho apresenta a defini??o de uma UNI MPLS SVC atrav?s do RSVP-SVC. Essa extens?o d? ao RSVP-TE a capacidade de estabelecer t?neis LSP (Label Switched Path) a partir de conex?es discadas, ampliando portanto o escopo de utiliza??o do MPLS, levando-o at? ?s redes locais atrav?s das redes de acesso, e provendo tamb?m suporte a uma QoS fim-a-fim verdadeira. O RSVP-SVC foi especificado em Estelle, que ? uma linguagem de especifica??o formal padronizada pela ISO. A edi??o, compila??o, verifica??o e simula??o do RSVP-SVC foi feita atrav?s do programa EDT (Estelle Development Toolset). Ademais, tanto os benef?cios quanto ?s quest?es mais importantes a serem consideradas quando do uso deste protocolo s?o apresentados

Made available in DSpace on 2014-12-17T14:56:04Z (GMT). No. of bitstreams: 1 CarlosAOJ.pdf: 1085948 bytes, checksum: 14c962ba5a82f983a474383c27475bb0 (MD5) Previous issue date: 2005-12-19 / One of the most important decisions to turn a substation automatic and no attended it relates to the communication media between this substation and Operation Center. Generally energy companies uses radio or optic fiber, depending of distances and infrastructure of each situation. This rule applies to common substations. Mobile substations are a particular case, therefore they are conceived for use at provisional situations, emergencies, preventive or corrective maintenance. Thus the telecommunication solution used at common substations are not applied so easily to mobile substations, due absence of infrastructure (media) or difficulty to insert the mobile substation data in existing automation network not long. The ideal media must supply covering in a great geographic area to satisfy presented requirements. The implantation costs of this big infrastructure are expensive, however a existing operator may be used. Two services that fulfill that requirements are satellite and cellular telephony. This work presents a solution for automation of mobile substations through satellite. It was successfully implanted at a brazilian electric energy concessionaire named COSERN. The operation became transparent to operators. Other gotten benefits had been operational security, quality in the supply of electric energy and costs reduction. The project presented is a new solution, designed to substations and general applications where few data should be transmitted, but there is difficulties in relation to the media. Despite the satellite having been used, the same resulted can be gotten using celullar telephony, through Short Messages or packet networks as GPRS or EDGE. / Uma das decis?es t?cnicas mais importantes para se automatizar uma subesta??o e torn?-la desassistida refere-se ao meio de comunica??o entre esta subesta??o e o Centro de Opera??es. Normalmente as empresas do setor el?trico optam por usar r?dio ou fibra ?tica, dependendo das dist?ncias e infra-estrutura dispon?vel em cada situa??o. Essa regra se aplica a subesta??es comuns. Subesta??es m?veis s?o um caso particular, pois s?o concebidas para uso em situa??es sazonais, emerg?ncias, manuten??es preventivas ou corretivas. Dessa forma, as solu??es de telecomunica??es para subesta??es comuns n?o s?o facilmente aplic?veis ?s m?veis, seja devido ? inexist?ncia de infra-estrutura (meio de comunica??o), ou ? dificuldade de inserir, em um curto espa?o de tempo, as informa??es da subesta??o m?vel numa rede de automa??o existente. Considera-se, ent?o, que para atender aos requisitos de mobilidade apresentados, o meio de comunica??o ideal deve fornecer cobertura em uma grande ?rea geogr?fica. Os custos de implanta??o de uma infra-estrutura desse porte s?o muito elevados, por?m os servi?os de uma operadora existente podem ser usados. Dois servi?os que atendem bem a esses requisitos s?o o sat?lite e a telefonia celular. Neste trabalho, ? apresentada uma solu??o para automa??o de subesta??es m?veis atrav?s de enlace via sat?lite. O projeto foi implantado na concession?ria de energia COSERN, com sucesso. A opera??o tornou-se transparente aos operadores. Outros benef?cios obtidos foram seguran?a operacional, qualidade no fornecimento de energia el?trica e redu??o de custos. A solu??o apresentada ? um projeto piloto, voltado n?o s? para subesta??es, mas para aplica??es cujo volume de dados transmitidos seja pequeno, e h? dificuldades quanto ao meio de comunica??o. Apesar do sat?lite ter sido usado, pode-se obter o mesmo resultado usando-se a telefonia celular, atrav?s de Short Messages ou via rede de comuta??o de pacotes, como o GPRS ou o EDGE.