Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2007. / Submitted by Diogo Trindade Fóis (diogo_fois@hotmail.com) on 2009-11-26T20:36:26Z No. of bitstreams: 1 2007_AngelitaFleigKapp.PDF: 2854431 bytes, checksum: 7c18a4f4f583180d448d4fa471093d0c (MD5) / Approved for entry into archive by Carolina Campos(carolinacamposmaia@gmail.com) on 2010-01-11T16:32:40Z (GMT) No. of bitstreams: 1 2007_AngelitaFleigKapp.PDF: 2854431 bytes, checksum: 7c18a4f4f583180d448d4fa471093d0c (MD5) / Made available in DSpace on 2010-01-11T16:32:40Z (GMT). No. of bitstreams: 1 2007_AngelitaFleigKapp.PDF: 2854431 bytes, checksum: 7c18a4f4f583180d448d4fa471093d0c (MD5) Previous issue date: 2007-12-14 / O planejamento e o dimensionamento de recursos, tanto humanos quanto materiais, devem estar suportados por dados que facilitem a sua execução e garantam uma assertividade mínima suficiente em seus resultados. Este trabalho trata deste e outros assuntos relacionados à predição do período - com a melhor assertividade possível - em que se deve migrar o transporte dos atuais serviços de conexão de redes, hoje suportados por redes totalmente Determinísticas, para redes Estatísticas. Esta estimativa de período será feita a partir de uma rede Neural de aprendizado Hebbiano, baseada na Transformada de Karhunen-Loève onde dados de evolução de flexibilidade, custo, confiabilidade e eficiência são comparados para redes IP (Internet Protocol) e redes não IP e o cruzamento destas duas curvas estima uma data onde os citados custo, confiabilidade e eficiência serão melhores para as redes baseadas em IP. __________________________________________________________________________________________ ABSTRACT / The human and material resources planning must be supported by data that makes this task easier and they must be as correct as possible. This work, based in this directive, tries to predict a period that the service transportation will migrate fro TDM (Time Division Multiplex) to IP (Internet Protocol) based Networks. This period estimate will use a Hebbian Learning Neural Network, based on Karhunen- Loève Transform where the flexibility evolution data, cost, trustworthiness and efficiency are compared for IP Networks and Non-IP Networks. The crossing of these two curves esteems a cited date where flexibility, cost, trustworthiness and efficiency will be better for IP based networks

Nowadays, embedded systems are becoming more and more complex. For this reason, designers focus more and more to adopt component-based methods for their designs. Consequently, there is an increasing interest on modeling and verification issues of component-based embedded systems. In this thesis, a tool, which integrates modeling, simulation and verification of component-based embedded systems, is designed and implemented. This tool uses the PRES+, Petri Net based Representation for Embedded Systems, to model component-based embedded systems. Both simulation and verification of systems are based on the PRES+ models. This tool consists of three integrated sub-tools, each of them with a graphical interface, the PRES+ Modeling tool, the PRES+ Simulation tool and the PRES+ Verification tool. The PRES+ Modeling tool is a graphical editor, with which system designers can model component-based embedded systems easily. The PRES+ Simulation tool, which is used to validate systems, visualizes the execution of a model in an intuitive manner. The PRES+ Verification tool provides a convenient access to a model checker, in which models can be formally verified with respect to temporal logic formulas.

Secure networks require each node to individually be as secure as possible. Transporting telecommunication data using IP based networks increases the need for security solutions due to increased exposure to threats. Ericsson currently provides a reference solution for carrying radio traffic over standardized Ethernet using IP, which in the current version relies on third party equipment. This equipment, and their recommended configuration, needs to be tested to ensure that the reference solution is as secure as possible. The main purpose of this thesis is to provide Ericsson with a template that describes how security testing of the currently recommended equipment can be carried out. / För att ett nätverk skall vara säkert krävs att dess noder är invidivuellt säkrade. Transportering av telekommunikation över IP baserade nätverk ökar behovet av säkerhetslösningar då det ökar riskerna. Ericsson erbjuder idag en referenslösning för transport av telekommunikationstrafik över IP nätverk, som i dagsläget använder tredje-parts-utrustning. Denna utrustning och den konfiguration som rekommenderas i referenslösningen behöver säkerhetstestas för att säkerställa att den erbjudna lösningen håller en hög säkerhetsnivå. Huvudsyftet med detta exjobb är att ta fram en praktisk metod som kan användas vid Ericsson för att säkerhetstesta den utrustning som i dagsläget rekommenderas i referenslösningen.

A2B Electronics AB is a company that develops and manufactures products and technology for digital cable television. A2B's new EXM-product family translates digital television channels from multiple source networks into a single destination network. Multiple EXM-units are connected in a system to provide a custom set of TV channels. To minimize the administrative effort, the units in a system should be able to interact and collaborate without manual intervention. The purpose of this thesis is to propose an underlying system that supports seamless interaction and collaboration between units. The autonomic system concept has served as a foundation for the proposed solution. The requirements for the EXM-system proved to be similar to many properties of an autonomic system. The proposed solution was elaborated by answering five reseach questions. The answers describe how an autonomic system can be implemented with the prerequisites of the EXM-system. Solutions for service availability, configuration preservation, system state changes and automatic addressing and communication are provided. The project has resulted in a proposal of a general autonomic system. The solution has also been implemented as prototype that runs both in a simulator and on the EXM-hardware. The simulator was also developed in the scope of this project as a side-effect of the limited access to EXM-hardware. The proposed solution together with the prototype can hopefully serve as a base for projects with prerequisites similar to the project described in this thesis.

O objetivo deste trabalho é construir um modelo do tráfego de redes de computadores e aplicar a este modelo o conjunto de técnicas de Controle Estatístico de Processo (CEP) de forma a viabilizar ações preventivas sobre a rede. Trabalhou-se com a hipótese de que é possível determinar estatisticamente o comportamento da rede em um dado número de variáveis de interesse. O modelo, representado em sua forma final por um conjunto de variáveis que descrevem o tráfego modelado, foi construído a partir da observação da rede local do Instituto de Física de São Carlos (IFSC). Recolheram-se aproximadamente 10 milhões de registros, pelo software NeTraMet, classificados em fluxos e posteriormente processados por aplicativos criados especificamente para esta finalidade. Dado que o CEP pressupõe a normalidade dos dados, cuidou-se de verificar formalmente esta propriedade nas amostras colhidas, pela aplicação do teste qui-quadrado aos valores individuais. Em conformidade a referências da literatura, fez-se o mesmo em relação aos valores médios das amostras. Em ambas as situações, comprovou-se a não-normalidade das distribuições. Investigaram-se os efeitos desta constatação no CEP e desenvolveu-se uma nova metodologia de cálculo dos limites de controle, fundamentada nos trabalhos do matemático russo Pafnuty Lvovich Chebyshev (1821 – 1894), sobre teoria das probabilidades. Adaptou-se, pois, o CEP às condições reais observadas, expandindo-se a possibilidade de seu uso em distribuições não-normais. Aplicou-se o CEP devidamente adaptado aos dados da rede do IFSC, gerando-se um estudo de caso. Verificou-se que o modelo capta adeqüadamente a realidade da rede. Sua utilidade foi ilustrada pela efetiva detecção de situações anômalas. As cartas CEP geradas sugeriram a inserção de um ajuste de sensibilidade nos controles, deixado para futuros trabalhos. Os objetivos da pesquisa foram atingidos pela criação de um modelo original e comprovação da hipótese inicialmente apresentada. Foram excedidas as expectativas pela obtenção de resultados importantes e inesperados e pelo desenvolvimento de uma nova metodologia de cálculo para um ferramental já consagrado. / This work aims the development of a computer network traffic model, and subject it to the set of Statistical Process Control (SPC) techniques, in order to allow preventive actions to the network. The hypothesis of a possible statistical determination of the network behavior, at a certain number of specific parameters, was analysed. The model was developed based on local observations of the Instituto de Física de São Carlos (IFSC) network, and the final version of the model was represented by a set of parameters that describes its traffic. The NeTraMet software collected around 10 million reports, classified as flows and later on processed by specific applications. Since the SPC assumes the normality of the data, a chi-square test was applied to individual values, to confirm this characteristic in the samples collected. The same was done to the average values of the samples, as recommended by the literature. Both tests showed the no-normality of the distributions. This effect on SPC was studied, and then a new methodology to calculate the control limits was developed, based on the work of the Russian mathematician Pafnuty Lvovich Chebyshev (1821-1894), about the probability theory. SPC was adapted to real conditions making its use in no-normal distributions possible. A well-adapted SPC was applied to the IFSC network data, resulting in a study case, and it could be verified that the model properly captured the reality of the network. Its use was demonstrated by the effective detection of anomalous situations. The SPC charts generated suggested an adjustment of the control sensibility, what was left for future research. The development of an original model and the confirmation of the hypothesis above, make clear that the goals of this work were achieved. In fact, important and unexpected results surpassed the expectations of this study, as much as the development of a new calculation methodology for a well-stated tool.

Orientador: Lee Luan Ling / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-10T06:59:04Z (GMT). No. of bitstreams: 1 Perlingeiro_FirmianoRamos_D.pdf: 3410071 bytes, checksum: c0484605d794231363118e1130a5e764 (MD5) Previous issue date: 2006 / Resumo: O provisionamento de QoS garantida é de extrema importância no desenvolvimento das futuras redes. Os recentes avanços tecnológicos em comutação e em transmissão permitem a implementação de redes com velocidades extremamente altas que podem transportar grandes quantidades de tráfego geradas por aplicações mais sensíveis aos requisitos de qualidade de serviço. A próxima geração de redes deverá suportar novas aplicações multimídia em um ambiente global e disponibilizar novos serviços em plataformas flexíveis sem necessidade de alteração da infra-estrutura. Isto requer uma nova arquitetura de redes capaz de oferecer serviços de transporte e de processamento para aplicações de comunicação com fortes requisitos de QoS. No amplo escopo da engenharia de tráfego de redes e do provimento de serviços com qualidade assegurada, esta tese se dedica a propor algumas soluções para os problemas de alocação de recursos de rede, em especial soluções para a estimação da banda efetiva. Para tanto, se utiliza de forma intensiva a caracterização de tráfego, métodos analíticos, heurísticos e de simulação. Os métodos propostos de alocação de banda neste estudo estão fundamentados na Teoria dos Grandes Desvios, aproximação Gaussiana e de caracterização de tráfego. Em termos de caracterização de tráfego, além de vários parâmetros já adotados na literatura é abordada a teoria fractal, incluindo mono e multifractais em seus diferentes aspectos, e ainda, é introduzido um novo parâmetro de tráfego que inclui as características mono e multifractal. Adicionalmente são consideradas as restrições de atraso e jitter, através de adoção de critérios para validação da estimação da banda efetiva, para tráfego em tempo real. A validação da metodologia proposta neste trabalho foi efetivada através de exaustivos testes de simulação com arquivos de tráfego real / Abstract: The assured QoS provisioning has great importance in the development of future networks. Recently, the technological advances in transmission and switching has allowed the implementation of very high speed networks which can transport a huge amount of traffic generated by QoS sensitive applications. The next generation networks must support new multimedia applications in a global environment and deliver new services over flexible platforms without the need of change in the infrastructure. That means that the new network architecture has to be able to transport and process information with strong QoS requirements. Under the wide scope of teletraffic engineering and assured quality of service provisioning, this thesis proposes solutions for some open problems of network resource allocation, especially bandwidth allocation. In order to get reliable solutions, we use intensive traffic characterization, analytical and heuristical methods and simulations. The proposed bandwidth allocation methods in this study are based on the Large Deviation Theory, Gaussian Approximation and traffic characterization. In terms of traffic characterization, in addition to the well known traffic parameters, the fractal theory, including mono and multifractals, are considered. Besides, we introduce a new traffic parameter that takes the mono and multifractal characteristics into account. The proposed bandwidth estimation approaches were tested with real real time traffic under both delay and jitter criteria. All proposed methodologies in this work have been validated by exhaustive simulation tests with real traffic traces / Doutorado / Telecomunicações e Telemática / Doutor em Engenharia Elétrica

A procura por uma forma de, fácil e rapidamente, retirar conhecimento de um especialista e transmiti-lo a outros profissionais tem levado ao desenvolvimento de diversas pesquisas que unem metodologias de raciocínio com o atendimento a problemas. Os ambientes corporativos demonstram sua eficiência baseados na maneira como desenvolvem suas tarefas. Cada vez mais, buscam alternativas que os ajudem a responder por atividades e problemas ocorridos, as quais podem significar um processo de manutenção que pode decidir o nível de eficiência e competência da organização. Estas alternativas compreendem ferramentas ou profissionais, os quais transformaram-se em especialistas por adquirirem conhecimento e capacidade em prover soluções a problemas. As características de um problema podem ser alteradas sob alguns aspectos mas, mesmo em domínios mais complexos como a gerência de redes de computadores ou a medicina, algo que foi aprendido sempre tem utilidade em novas situações. Este é o tipo de conhecimento e raciocínio próprios de um especialista, ou seja, o uso de suas experiências. Raciocínio Baseado em Casos (case-based reasoning) é uma metodologia de inteligência artificial que apresenta a forma de raciocínio semelhante à de um especialista, onde o raciocínio é obtido por um processo de recordar um exemplo concreto. Porém, as pesquisas que a utilizam, geralmente, desenvolvem trabalhos para um específico tipo de domínio de problema, o que resulta em alterações de programação, caso estes desejem ser adaptados para outros domínios. Este procedimento, muitas vezes, é tido como difícil e trabalhoso Baseando-se neste contexto, o presente trabalho apresenta um mecanismo que fornece inclusões de conhecimento de especialistas, independente do tipo de domínio de problema, e raciocínio sobre este conhecimento, de forma a auxiliar usuários com problemas referentes ao domínio cadastrado. Para tanto, a implementação baseou-se na união de sistemas de registros de problemas (trouble ticket systems) com raciocínio baseado em casos, propondo uma forma auxiliar no conhecimento e busca de soluções em domínios de problema. O estudo, além de fazer uso das metodologias citadas acima, usa o domínio de gerenciamento de segurança em redes de computadores para exercitar suas funções, provar sua utilidade e dificuldades. Assim, um estudo mais detalhado sobre os problemas que cercam o domínio de segurança em redes TCP/IP foi desenvolvido.

Este trabalho apresenta uma proposta de solução para compensar o atraso variável, característico de redes IP. O preditor de Smith é tradicionalmente usado para compensar atrasos, mas no caso deste tipo de rede um fator importante que pode degradar o controle do sistema são as grandes variações nos atrasos sofridos pelas mensagens. Para tratar este problema, este trabalho baseia-se na criação de uma estrutura de dados de armazenamento para a saída do preditor de Smith, possibilitando a comparação do valor de saída da planta com o valor adequado guardado na estrutura. Para determinação do valor correspondente, este está associado a um índice calculado com o tempo de roundtrip obtido de informações dos pacotes de dados proveniente da planta. Para se chegar a tal solução, foi analisada nas primeiras seções a influência do atraso em malhas de controle e posteriormente um estudo do estado da arte para tipos de controle sobre redes IP. Ao final é apresentada uma análise experimental, demonstrando resultados promissores da aplicação desta proposta. / This work presents a solution to compensate the varying delay, characteristic of IP networks. The Smith predictor is traditionally used to compensate delays but in this type of networks an other important factor that can destabilize the system is the large jitter of the delay. In order to solve this problem, the solution presented here is based on a data structure to save the output from the model of the plant used by the Smith predictor, that make possible to compare the output from the plant with the corresponding value in the structure. In order to take the correspondent value, it is associated to an index which is calculated with the roundtrip obtained from the informations in the packet arrived from the plant. In order to formulate this solution, it was analised in the first sections the influence of the delay in control systems and then a study of the state of art of the control systems over IP networks. At the end, an experimental analise to demonstrate the good result of the application of this solution is presented.

Made available in DSpace on 2014-06-12T15:52:51Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Ao longo da última década, houve uma crescente demanda de mercado por dispositivos embarcados que agregam muitas funcionalidades (como informação, entretenimento e comunicação), em detrimento da garantia da portabilidade destes equipamentos para os usuários. Por outro lado, houve a confirmação da Lei de Moore, permitindo a elaboração de sistemas cada vez mais complexos em tamanho reduzido. Assim, surgiu um novo paradigma de desenvolvimento denominado System-on-Chip (SoC), onde todo o sistema embarcado pode agora ser integrado e implementado em um único chip, reusando componentes pré-existentes e préverificados, denominados Intellectual Property Cores (IP-cores), com o objetivo de reduzir o tempo e esforço de projeto. Neste contexto, dentro do projeto Brazil-IP (projeto para formação de recursos no desenvolvimento de hardware, apoiado pelo CNPQ), em 2005 surgiu o ipPROCESS, um processo de desenvolvimento de IP-cores com prototipação em FPGA, baseado no RUP (Rational Unified Process). Este processo define um conjunto de tarefas que são atribuídas a papéis especializados na organização, de modo a transformar os requisitos no IP-core desejado, cumprindo as restrições de prazo, custo e qualidade acordadas com o cliente. Em avaliações do processo realizadas comparativamente à norma NBR ISO/IEC 12207: Tecnologia da informação - Processos de Ciclo de Vida de Software (o qual define um modelo de referência para processos de ciclo de vida de software, bem como uma taxonomia para processos de software), foi atestado que o ipPROCESS não cobre o conjunto de processos fundamentais desta norma, apenas prevendo o desenvolvimento de um projeto, sem a negociação, concepção, fornecimento e manutenção do IP-core. Desta forma, este trabalho propõe a estruturação do ipPROCESS como conjunto de processos para o funcionamento da organização, focando na definição e incorporação dos processos fundamentais ao fluxo, para contemplar desde a negociação do produto com o cliente, passando pelo seu desenvolvimento, operação, distribuição e manutenção

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2017-03-02T13:44:12Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissert_Alexandre_Santos_CIN.pdf: 2195136 bytes, checksum: bc5b11111393e727688fe5580cf6f0b4 (MD5) / Made available in DSpace on 2017-03-02T13:44:12Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissert_Alexandre_Santos_CIN.pdf: 2195136 bytes, checksum: bc5b11111393e727688fe5580cf6f0b4 (MD5) Previous issue date: 2016-07-28 / Com o crescimento da adoção de comunicação de voz em redes de dados, tecnologia conhecida como Voice Over Internet Protocol (VoIP) , tornaram-se evidentes, tanto vantagens obtidas, quanto problemáticas decorrentes do contraste entre a natureza das redes de dados e as necessidades do tráfego VoIP. A internet não possui, por padrão, formas inteligentes de proteção e priorização do tráfego, levando à utilização de tecnologias externas para suprir estas necessidades. Todavia, a utilização destas tecnologias tem tornado-se cada vez mais complexa em virtude de um fenômeno conhecido como ossificação das redes IP, conforme Mckeown et al. (2008). Em busca de solucionar os problemas enfrentados pelas redes atuais e prover maior flexibilidade e capacidades inovadores, surge a Software Defined Network (SDN), tecnologia que visa trazer uma série de vantagens para as redes de dados atuais através de sua arquitetura. Neste trabalho é proposta a VoIPath, uma solução baseada em SDN que implementa uma técnica de seleção de caminhos com base em atributos específicos, relevantes para o tráfego VoIP. Para processar estes atributos e identificar os melhores caminhos para o tráfego VoIP é empregado um algoritmo criado com programação linear, onde um volume de tráfego VoIP é dividido entre diferentes caminhos, com base em opções de execução da solução. Para controlar a propagação do tráfego é empregada uma tecnologia baseada em SDN a Virtual Tenant Networks (VTN), através desta o tráfego é conduzido por uma rede lógica, chamada de tenant. O mapeamento destas redes lógicas na rede SDN física garante a passagem do tráfego pelos caminhos selecionados. Por fim é realizada uma série de experimentos para demonstrar a efetividade da solução, bem como melhorias na qualidade do áudio, calculadas com base em um modelo de avaliação de qualidade de tráfego VoIP. / With increasing adoption of voice communications through data networks, technology known as VoIP, both advantages and issues have become apparent. The second group caused by the contrast between the nature of data networks and the needs of VoIP traffic. By default, data networks do not have smart structures to protect and prioritize traffic. In order to achieve these characteristics external technologies are deployed, but the utilization of such strategy has become complex due to a phenomenon described as network ossification (MCKEOWN et al., 2008). In order to provide solutions to the problems of the actual data networks architecture and provide greater flexibility, comes in scene the SDN technology. The SDN architecture unleashes a new horizon of possibilities to the networks. This work proposes the VoIPath solution, which consists of a implementation of a SDN based path selection technique, oriented by specific relevant attributes to the VoIP traffic. A algorithm created with linear programming is employed to compute these attributes and identify the best paths to the VoIP traffic, which is divided through the network, in according to execution parameters. In order to control the traffic propagation is employed the VTN technology, which consists on an SDN based solution. Through VTN technology the VoIP traffic is forwarded through an logical network called tenant. The mapping of the tenant over the physical network ensures that the selected paths are employed. To ensure the solution’s effectiveness a series of experiments are performed and the impact of its’s execution on the audio is calculated with the usage of an VoIP quality measurement evaluation model.