Resumo: Este trabalho apresenta a Virtual-Machines-MIB, uma MIB para a gerˆencia de m´aquinas virtuais baseada no Simple Network Management Protocol (SNMP). A Virtual-Machines- MIB define uma interface padronizada para a gerˆencia de m´aquinas virtuais, permitindo que a mesma ferramenta possa gerenciar, atrav´es do protocolo SNMP, diferentes monitores de m´aquinas virtuais, como KVM, Xen e VMWare. Diferente da maior parte das MIB's existentes, a Virtual-Machines-MIB permite ao gerente n˜ao apenas monitorar aspectos da m´aquina f´?sica e das VM's, mas tamb´em executar a?c˜oes de controle, como criar, excluir, reiniciar, ligar, desligar e congelar VM's. Tamb´em ´e poss´?vel alterar o nome, a quantidade de mem´oria RAM e de CPU's das VM's, al´em de alterar as unidades de armazenamento das mesmas. Resultados pr´aticos s˜ao apresentados utilizando ferramentas de gerˆencia SNMP comuns para gerenciar diferentes monitores de m´aquinas virtuais. Para isso, foram criados agentes SNMP que oferecem suporte `a Virtual-Machines-MIB e instalados em m´aquinas com o KVM e o Xen. Os agentes foram criados com base no agente SNMP de dom´?nio p´ublico NET-SNMP, que foi estendido para que passe a oferecer suporte `a Virtual-Machines-MIB utilizando as fun?c˜oes da libvirt.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2013. / Made available in DSpace on 2013-12-05T22:56:06Z (GMT). No. of bitstreams: 1 320885.pdf: 1817207 bytes, checksum: 221b231c6a7d4919cf11344c7e9ca481 (MD5) Previous issue date: 2013 / Visando suprir a necessidade de segurança no funcionamento de sistemas computacionais, diversas abordagens tolerantes a faltas bizantinas foram criadas. Apesar de terem fins práticos, a maior parte destas abordagens ainda apresenta um fraco desempenho ou requisitos que limitam seu uso em boa parte dos cenários reais. Neste trabalho de pesquisa é apresentada uma arquitetura e um algoritmo para replicação de máquina de estados tolerante a faltas bizantinas usando virtualização. A virtualização, apesar de existir há mais de 30 anos, vem se tornando cada vez mais comum recentemente, sendo muito utilizada em aplicações de computação em nuvens. São exploradas as vantagens fornecidas pela virtualização para detectar e tolerar réplicas faltosas, de forma a transformar ou reduzir faltas bizantinas em faltas de omissão. Com esta transformação, a abordagem apresentada é capaz de reduzir o número total de réplicas físicas necessárias de 3f + 1, em abordagens tradicionais, para 2f + 1. Esta abordagem se baseia no conceito de máquinas virtuais gêmeas, ou seja, na execução de um conjunto de máquinas virtuais em cada máquina física, cada uma funcionando de uma certa forma como um detector de falhas de sua gêmea, a partir da validação das mensagens enviadas. Neste contexto, um protótipo foi implementado e alguns experimentos foram realizados para obter medidas do desempenho da abordagem em uma execução prática. <br> / Abstract : Aiming to supply the need for security in information systems, a lotof approaches were proposed. Despite of being practical, most part ofthese approaches still lack in performance or have too strong requirements.We present an architecture and an algorithm for Byzantinefault-tolerant state machine replication using virtualization. Despite ofexisting for more than 30 years, virtualization is becoming more common,mainly because of cloud computing applications. Our algorithmexplores the advantages of virtualization to reliably detect and toleratefaulty replicas, allowing the transformation of Byzantine faults intoomission faults. Our approach reduces the total number of physicalreplicas from 3f +1, in traditional approaches, to 2f +1. Our approachis based on the concept of twin virtual machines, where thereare a set of virtual machines in each physical host, each one acting asfailure detector of its twin, by the validation of the messages sent.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2004 / Inclui bibliografia / Desde o final da década de 70 observam-se estudos preocupados em prover portabilidade para aplicações computacionais através do uso de máquinas virtuais. Essa tendência aumentou com o avanço das tecnologias de rede e a necessidade de integração entre comp

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2004 / Inclui bibliografias / Diversas ferramentas contribuem para aumentar a segurança de um sistema computacional. Dentre elas, destacam-se os sistemas de detecção de intrusão. Tais sistemas monitoram continuamente a atividade em uma rede ou servidor, buscando evidências de intrusão / Several tools contribute to improve the security of a computing system. Among them, intrusion detection systems stand out. Such systems continuously watch the activity on a network or server, looking for intrusion evidences. However, host-based intrusion

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2005 / Inclui bibliografia / A área de jogos eletrônicos obteve um crescimento muito grande nos últimos anos. A tarefa de construção de um jogo eletrônico, por se tratar de uma tarefa complexa, necessita de um suporte adequado nos diversos níveis relacionados com o desenvolvimento, q

Submitted by Jorge de Castro Teixeira Filho (jteixeirafilho@bol.com.br) on 2015-12-23T12:08:14Z No. of bitstreams: 1 Projeto Banca Final Entrega Revisado.pdf: 1166587 bytes, checksum: 00f3cd51838e693d8f3b75bae989f2a1 (MD5) / Rejected by Ana Luiza Holme (ana.holme@fgv.br), reason: Prezado Jorge, O titulo do seu trabalho está diferente da ata da banca, não pode ser diferente a não ser que a banca tenha definido a alteração, na ata não tem essa informação. Caso tenha sido a banca precisaria que o Prof. Leandro escreva no verso da ata a alteração. Segue titulo da ata: Proposta de análise do banco virtual no contexto dos canais bancários e da aceitação dos clientes Ana Luiza Holme 37993492 on 2015-12-23T12:46:10Z (GMT) / Submitted by Jorge de Castro Teixeira Filho (jteixeirafilho@bol.com.br) on 2015-12-24T14:11:43Z No. of bitstreams: 1 Projeto Banca Final Entrega Revisado.pdf: 1165003 bytes, checksum: 9545efa3b9d99881005ff4d4f8d37d97 (MD5) / Approved for entry into archive by Ana Luiza Holme (ana.holme@fgv.br) on 2016-01-04T11:10:10Z (GMT) No. of bitstreams: 1 Projeto Banca Final Entrega Revisado.pdf: 1165003 bytes, checksum: 9545efa3b9d99881005ff4d4f8d37d97 (MD5) / Made available in DSpace on 2016-01-04T11:40:07Z (GMT). No. of bitstreams: 1 Projeto Banca Final Entrega Revisado.pdf: 1165003 bytes, checksum: 9545efa3b9d99881005ff4d4f8d37d97 (MD5) Previous issue date: 2015-12-02 / O aumento de competitividade do setor financeiro e a inovação tecnológica bancária resultaram em mudanças na forma como os bancos de varejo atendem seus clientes e distribuem seus produtos. O uso de novos canais de atendimento proporciona benefícios para os bancos, como a economia de custos, bem como para os clientes, como a rapidez e conveniência de horário e local para acessar o banco. Nesse cenário surge um novo modelo bancário, chamado de banco virtual, que tem como principal característica não possuir estrutura física de atendimento ao cliente, tendo os seus canais de atendimento de forma remota ou eletrônica. O modelo já se encontra consolidado em alguns países, porém ainda em fase inicial no Brasil. Mas, para a aceitação dessas novas tecnologias ou modelo bancário, os clientes precisam conhecer, compreender e adotar essas novas possibilidades. Nesse contexto, a aceitação de tecnologias bancárias pelo consumidor passa a ser proposta em diversos estudos acadêmicos que investigaram tecnologias específicas, como terminais de autoatendimento, internet e mobile banking principalmente em mercados desenvolvidos. Assim, verifica-se a possibilidade de contribuir tanto na perspectiva acadêmica quanto na empresarial com estudos que investiguem a aceitação de novas tecnologias e modelos de negócios, como de banco virtual, por parte dos consumidores no Brasil, bem como o impacto da entrada desse modelo na indústria bancária. Dessa forma o presente estudo buscou identificar os possíveis fatores de influência na aceitação do banco virtual, utilizando premissas do modelo da Teoria Unificada de Aceitação e Uso da Tecnologia (UTAUT). As análises e resultados apresentados desta pesquisa foram baseados em entrevistas aplicadas junto a executivos do setor bancário e em clientes de um banco virtual. Os procedimentos utilizados permitiram fornecer informações quanto ao impacto e mudanças no modelo do banco tradicional, no aumento do uso e dos investimentos nos canais de tecnologia e nos fatores de expectativa de desempenho, expectativa de esforço e a influência social que se mostraram com alto poder de influência para a aceitação do modelo de banco virtual pelos clientes

A virtualização é uma tecnologia chave para a computação em nuvem que permite fornecer recursos computacionais, em forma de máquinas virtuais, para o consumo de serviços de computação. Nos ambientes de computação em nuvem, é importante manter sob controle a alocação de máquinas virtuais nos servidores físicos. Uma alocação adequada implica na redução de custos com hardware, energia e refrigeração, além da melhora da qualidade de serviço. Hipervisores recentes implementam mecanismos para reduzir o consumo de memória RAM através do compartilhamento de páginas idênticas entre máquinas virtuais. Esta dissertação apresenta um novo algoritmo de alocação de máquinas virtuais que busca o equilíbrio no uso dos recursos de CPU, memória, disco e rede e, sobretudo, considera o potencial de compartilhamento de memória entre máquinas virtuais. Através de simulações em cenários distintos, verificou-se que o algoritmo é superior à abordagem padrão na questão do uso equilibrado de recursos e que, considerando o compartilhamento de memória, houve um ganho significativo na disponibilidade deste recurso ao final das alocações. / Virtualization is a key technology for cloud computing, it provides computational resources as virtual machines for consumption of computing services. In cloud computing environments it is important to keep under control the allocation of virtual machines in physical servers. A good allocation brings benefits such as reduction costs in hardware, power, and cooling, also improving the quality of service. Recent hypervisors implement mechanisms to reduce RAM consumption by sharing identical pages between virtual machines. This dissertation presents a new algorithm for virtual machines allocation that seeks the balanced use of CPU, memory, disk, and network. In addition, it considers the potential for sharing memory among virtual machines. Simulations on three distinct scenarios demonstrate that it is superior to the standard approach when considering the balanced use of resources. Considering shared memory, there was an appreciable gain in availability of resources.

Orientador: Mauricio Ferreira Magalhães / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-08T01:16:08Z (GMT). No. of bitstreams: 1 Nader_MarcosVaninePortilhode_M.pdf: 1214383 bytes, checksum: 40e83a8be1c7e86e788d810a8799f6b8 (MD5) Previous issue date: 2006 / Resumo: Duas áreas importantes estão em desenvolvimento: Gerência de Processos de Negócios (Business Process Management) e Orquestração de Web Services (Web Services Orchestration). Ambas têm um objetivo que é integrar aplicações ou outros processos que tenham interfaces web services, usando o paradigma de processos de negócios. Uma linguagem que vem sendo difundida para essas aplicações é a BPEL (Business Process Execution Language). Este trabalho apresenta um framework aplicável à análise e verificação de processos de negócios escritos em BPEL através do uso de Pi-Calculus. Pi-Calculus é uma álgebra de processos que possui mecanismos formais para criação e ativação de processos que se comunicam através da troca de mensagens em canais, usando o modelo de rendezvous síncrono. Nesse framework, o processo BPEL é traduzido para um programa Pi-Calculus. Uma Máquina Virtual Pi-Calculus (MVP) recebe o programa Pi-Calculus e produz todas as reações possíveis, ou seja, gera todos os caminhos de execução que o programa pode seguir. A partir desse resultado, efetua-se a verificação de propriedades como: atendimento às especificações de mais alto nível, ordenação de eventos e ocorrência ou não de deadlocks. Em termos práticos, uma ferramenta desse tipo pode ser incorporada aos Sistemas de Gerência de Processos de Negócios (Business Process Management Systems - BPMS) para ampliar a cobertura de testes durante as fases de análise e implementação de um processo dentro do seu ciclo de vida. Nesses tipos de sistemas, a reparação de um erro durante a fase de execução é muito mais custosa que nos sistemas tradicionais / Abstract: Two important areas have been in development lately: Business Process Management and Web Service Orchestration. In both of them, the objective is to integrate applications with web services interface through business process paradigm. A number of languages have been proposed with consensus being formed around BPEL (Business Process Execution Language). This dissertation presents a framework for BPEL processes analysis and verification through Pi-Calculus. Pi-Calculus is a process algebra with formal mechanisms for processes creation and activation; these processes communicate sending and receiving messages through channels using the synchronous rendezvous model. In this framework, the BPEL process is translated to a Pi-Calculus program, A Pi-Calculus Virtual Machine (MVP) receives a Pi-calculus program and executes all possible reactions, that is, it generates all execution paths possible to be taken. With this result, the properties such as high-level specification accomplishment, events ordering and deadlock freedom are verified. In practical terms, a tool of this sort can be part of a Business Process Management System (BPMS) to broaden test coverage during the analysis and implementation phases within a process life cycle. In these kinds of systems, a repairing mistake during the execution phase is more complex than in traditional systems / Mestrado / Engenharia de Computação / Mestre em Engenharia Elétrica