Submitted by LIVIA FREITAS (livia.freitas@ufba.br) on 2013-10-08T14:29:10Z No. of bitstreams: 1 01_dissertacao_Margarete.pdf: 1682975 bytes, checksum: e56338651014199361014446db75d844 (MD5) / Approved for entry into archive by LIVIA FREITAS(livia.freitas@ufba.br) on 2013-10-08T14:31:51Z (GMT) No. of bitstreams: 1 01_dissertacao_Margarete.pdf: 1682975 bytes, checksum: e56338651014199361014446db75d844 (MD5) / Made available in DSpace on 2013-10-08T14:31:51Z (GMT). No. of bitstreams: 1 01_dissertacao_Margarete.pdf: 1682975 bytes, checksum: e56338651014199361014446db75d844 (MD5) / Forma c~ao veicular e uma aplica c~ao t pica de sistemas multiagentes, na qual veí culos automatizados (e.g. veí culos autônomos, robôs m oveis) devem entre si assumir e manter uma forma c~ao. Para a correta execu c~ao desta aplica c~ao e necess ário ter disponí veis mecanismos de comunica cão con aveis, garantindo a troca de mensagens entre os veí culos. Estas mensagens s~ao trocadas atrav es de uma rede de comunica c~ao m ovel, como as redes MANETs e VANETs. Entretanto, tais redes, chamadas de redes Ad Hoc, n~ao fornecem garantias a comunica c~ao, podendo existir perda de mensagens ou da conectividade entre os n os. Isto ocorre devido a movimenta c~ao dos ve ículos, efeitos clim aticos, entre outros que degradam a capacidade de comunica cão entre eles. Assim, propomos uma abordagem com base em regras para o desenvolvimento de servi ços de comunica c~ao para as aplica ções veiculares e criamos o I-CAR que e um conjunto de servi ços inteligentes de comunica ção para redes de comunica cão veiculares, focado na aplica ção da forma ção veicular. Estes servi ços executam de forma distribuí da, como m ódulos associados a cada agente veicular do sistema. Estes servi ços são constru ídos como regras, possibilitando ao veí culo autônomo tomar decisões inteligentes a cerca das melhores formas de transmitir mensagens atrav és da rede, assim como, de detectar a falha de outros veí culos a partir da comunica cão. Construí mos uma implementa c~ao destes servi ços utilizando o simulador de redes OMNet++, em conjunto com o simulador de trá fego veicular SUMO, sendo realizadas diversas simula ções para verifi car o funcionamento do sistema. Os resultados obtidos demonstram que a sobrecaga e a perda de mensagens geradas pelo sistema não comprometem o funcionamento do mecanismo proposto. / Salvador

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-18T01:57:42Z (GMT). No. of bitstreams: 1 185327.pdf: 705583 bytes, checksum: c3e2994e2d7e11a9cfdecf6b3de06b28 (MD5) / O objetivo principal deste trabalho é propor um mecanismo de comunicação entre processos baseado no modelo de comunicação em grupo para o ambiente paralelo/distribuído CRUX. Um programa paralelo/distribuído no ambiente CRUX é composto por vários processos que se comunicam através de mensagens (comunicação um-para-um). Os processos são criados dinamicamente, podendo ser mapeados em qualquer um dos componentes (nós) do ambiente paralelo/distribuído CRUX. A partir do mecanismo proposto será possível: a) comunicar (envio de mensagens) um processo com n outros processos pertencentes ao mesmo grupo (comunicação um-para-n); b) uma melhor estruturação das aplicações que têm comunicação em grupo como requisito e c) um melhor desempenho na comunicação entre os grupos de processos. O mecanismo proposto tem como metas principais: suportar o gerenciamento dos grupos e o envio/recepção de mensagens de/para os grupos. Para tanto, utiliza uma abordagem onde um servidor de grupos centralizado mantém uma tabela com informações sobre os grupos do sistema. As mensagens podem ser enviadas ponto-a-ponto para um membro de um grupo ou então difundidas para todos os membros do grupo. Em qualquer um dos casos a comunicação é síncrona.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica / Made available in DSpace on 2012-10-15T23:28:25Z (GMT). No. of bitstreams: 0

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico / Made available in DSpace on 2012-10-17T14:09:34Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T16:02:11Z : No. of bitstreams: 1 179262.pdf: 4682701 bytes, checksum: f66836e8915fc745892ae816a52503d2 (MD5) / Em sistemas de larga escala, como a Internet, pode-se através do middleware de comunicação CORBA melhorar os requisitos de reusabilidade, de portabilidade e de interoperabilidade característicos dos sistemas abertos e necessários, por exemplo, em ambientes de negócios. O serviço de segurança do padrão CORBA, o CORBAsec, por sua vez, acrescenta a estes sistemas funcionalidades visando garantir a autenticidade dos usuários, a confidencialidade e a integridade das informações compartilhadas, e o uso legítimo dos recursos e informações do sistema. Neste sentido, este trabalho visa apresentar e discutir o serviço de segurança do CORBA. Com base nos documentos da OMG tem-se neste trabalho, como objetivo, construir um protótipo no sentido de mostrar a aplicabilidade do modelo CORBA de segurança. Os resultados obtidos comprovam a potencialidade do CORBAsec em fornecer segurança às aplicações críticas comuns em ambientes distribuídos e heterogêneos

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-24T03:59:29Z (GMT). No. of bitstreams: 1 258001.pdf: 357562 bytes, checksum: ad8baaa7a1109b32e7faba42d9f07ba7 (MD5) / As técnicas de gerência de energia, como DVS e hibernação de recursos, são essenciais para a modelagem de sistemas embarcados capazes de gerenciar seus próprios consumos de energia; contudo, elas, freqüentemente, ocasionam sobrecusto e/ou latência. Esses fatores não podem ser ignorados em sistemas que buscam garantir métricas de tempo real e/ou de QoS. Contudo, frisamos que não é suficiente garantir as métricas de tempo real e/ou de qos se, fazendo isso, o sistema consome com o orçamento de energia disponível e não é capaz de completar suas tarefas críticas. Neste trabalho, utilizamos o tempo de duração da bateria esperado como um parâmetro de QoS -- QoS em termos de energia. O objetivo não é apenas economizar energia, mas aumentar a utilidade da aplicação, garantindo o tempo de duração da bateria desejado e, ainda, preservando os prazos das tarefas hard real-time. O controle dos níveis de qos foi inspirado na Computação Imprecisa que divide cada tarefa em parte obrigatória e em parte opcional. Dado um conjunto de tarefas e seus associados tempos de execução e consumos de energia, disponibilizamos equações para verificar a sua escalonabilidade em tempo de projeto. Em tempo de execução, um escalonador preemptivo para tarefas imprecisas descarta partes opcionais quando existe a possibilidade dos prazos e/ou do tempo de duração do sistema requerido serem perdidos. Nos períodos ociosos criados, o escalonador invoca um gerente de energia oportunista. Implementamos um protótipo usando o EPOS para fornecer suporte ao algoritmo de escalonamento com tarefas imprecisas e execuções condicionais aos parâmetros desejados. Com base em um estudo de caso, mostramos que esse mecanismo permite as aplicações alcançarem seus compromissos entre QoS e consumo de energia.

On décrit l'application de deux méthodes analytiques à un même problème avec l'utilisation simultanée de ressources, l'évaluation des performances des interconnexions de processeurs du type multistage. On applique d'abord la méthode traditionnelle utilisant les réseaux de files d'attente et les chaînes de Markov. Aprés, on utilise une méthode avec modélisation basée sur les réseaux de Petri et l'extraction à travers des pondérations des résultats déterministes. Les modèles développés par chacun des méthodes sont comparés selon trois aspects distincts: facilité de modélisation, vitesse d'évaluation et précision des résultats. La première méthode employée, la méthode analytique traditionnelle, utilise les réseaux de files d'attente (théorie des réseaux) pour faire la modélisation et l'algorithme de convolution (constante de normalisation) pour faire l'extraction des résultats. La resolution est faire à travers l'approche stochastique traditionnelle avec les formules derivées des chaînes de Markov. La méthode d'évaluation apliquée après est basée sur les dévelopment des modèles en réseaux des Petri temporisées. Cette méthode est composée de deux parties: l'application d'une méthode analytique pure (modéle Q) et l'application des méthode approximatives. Ces méthodes approximatives font la décomposition d'un problème avec comportement variable en plusiers problèmes avec comportement déterministes et probabilitées associées. Les modèles des interconnexions multistage ont été développées avec plusiers degrés de rafinement dans tout les deux méthodes dejà citées. Les modèles de base avec des imprecisions ont été rafinés jusqu'à avoir une description la plus proche possible de la realité (les interconnexions multistage). La comparaison de tout les modèles développés est faite en trois parties pour établir les modèles les plus adequés à l'évaluation des performances des interconnexions multistage. L'adequation doit envisager la facilité de dévelopement du modèle, la vitesse et la précision des résultats. Ces informations sont prises selon la taille du problème (dimension de l'interconnexion), l'enfoque de modélisation (les paramètres à considerer) et les objectify qualitatifs de l'evaluation (ce qu'on veux savoir). / Descreve-se a aplicação de dois métodos analíticos para um mesmo problema com alocação simultânea de recursos: a avaliação de desempenho de interconexões de processadores do tipo multi-estágios. Aplica-se o método analítico tradicional com redes de filas de espera e cadeias de Markov. utiliza - se apos um método com modelagem através de redes de Petri temporizadas e extração através de ponderação de resultados determinísticos. Os modelos desenvolvidos por cada um dos métodos são comparados segundo três diferentes aspectos: facilidade de modelagem, velocidade de extração e acuracidade de resultados. O primeiro método de avaliação empregado, método analítico tradicional, consiste no use de redes de filas de espera (teoria de filas) para a modelagem e do algoritmo de convolução (cálculo da constante de normalização) para a extração de resultados. A abordagem de resolução é clássica (abordagem estocástica) resultando nas formulas derivadas do modelo de cadeias de Markov. O método de avaliação aplicado em seguida esta baseado no desenvolvimento de modelos em redes de Petri temporizadas. Este método se divide na aplicação de um método analítico puro (modelo Q) e na aplicação de métodos aproximativos. Estes métodos aproximativos consistem na decomposição de um problema com comportamento variável em diversos problemas com comportamento determinístico e probabilidades associadas. Os modelos para as interconexões multi-estágios em ambos os métodos já citados são desenvolvidos com diferentes graus de refinamento. Modelos básicos com imprecisões de descrição são refinados ate ser estabelecido um modelo tão próximo quanto possível da realidade descrita (interconexão multiestágios). A comparação de todos os modelos desenvolvidos é feita em três etapas visando estabelecer quais modelos são adequados a avaliação de desempenho de interconexões multi-estágios. A adequação deve considerar aspectos como facilidade de desenvolvimento do modelo, rapidez e precisão na obtenção de resultados. Estas informações são consideradas segundo o tamanho do problema (dimensão da interconexão), o enfoque de modelagem (parâmetros relevantes) e os objetivos qualitativos da avaliacão (o que se pretende descobrir). / This work describes the application of two analytic models to the multistage processor interconnections, a simultaneous resource allocation problem. First, the traditional method based on queueing networks and Markov chains is applied. After, a Petri nets based method with deterministic weigthed results is used. The models developed in each method are compared in three levels: modeling facility, evaluation speed and precision. The first evaluation method used is based on the queueing network classic method (queueing theory) to model and the convolution algorithm (normalization constant calculus) to obtain results. The classic stochastic approach is used through formules derived from Markov chains. The second method used is based on temporised Petri nets models. This method has two parts: the application of a pure analitical method (model Q) and the application of approximatives methods. This approximatives methods decompose a problem with non-fixed behaviour in several weighted problems with deterministic behaviour. The multistage interconnections models are developped with different degrees of accuracy for both methods cited. Basic models without description precision are refined until as accurate as possible model is obtained for the choosen reality (multistage interconnections). The comparison of all developped models is made in three steps aiming the qualitative judgment of the models for multistages performance evaluation. This judgment should consider the dificulty to develop the model, the speed and the precision of the results. These informations are considered taking into account the the problem size (number of elements in the interconnection), the modelling approach (relevant parameters) and the the qualitative evaluation goals (the evaluation purpose).

O principal objetivo deste trabalho é apresentar um método e métricas para a avaliação do serviço Internet mais amplamente utilizado: a World Wide Web. As características básicas e funcionamento do serviço, bem como algumas ferramentas de avaliação de desempenho, serão descritas. Estes capítulos servirão de base para os demais, onde serão apresentados o método para avaliação do serviço web e métricas usadas para análise de desempenho, disponibilidade, confiabilidade, facilidades de administração e recursos. Por fim, o método e métricas serão aplicados na Procempa – Companhia de Processamento de Dados do Município de Porto Alegre, onde será possível verificá-los na prática. Além disto, dados importantes sobre a infra-estrutura web da Procempa serão fornecidos, os quais permitem uma análise do ambiente web atual e futuro da empresa.

É crescente, nos últimos anos, a utilização da tecnologia de orientação a objetos para a construção de sistemas complexos. A aceitação de que tal tecnologia, alem de facilitar a modularização e proporcionar maior reusabilidade, permitindo uma visão unificada dos sistemas, tem encorajado sua utilização na construção de sistemas operacionais, onde recursos do sistema e aplicações do usuário passam a ser modelados em termos da mesma abstração. Na realidade, esta nova tecnologia de desenvolvimento de software, aliada a evolução do hardware, da tecnologia de comunicações e a necessidade de um incremento qualitativo, principalmente no que diz respeito a ambientes de programação e interfaces, está provocando o surgimento de uma nova geração de sistemas operacionais, mais dinâmicos, mais flexíveis e capazes de suportar de forma transparente a presença de processamento cooperativo, distribuído ou não, heterogêneo ou não. Todavia, ainda que a literatura científica demonstre a aceitação do paradigma de orientação a objetos como um enfoque promissor a ser adotado na nova geração de sistemas operacionais, o estado atual da tecnologia de implementação e gerenciamento de objetos esta aquém da consolidação. Este trabalho surgiu neste contexto com o objetivo de contribuir na busca de um modelo apropriado ao gerenciamento de objetos e capaz de proporcionar a existência de um modelo uniforme, tanto para o nível do sistema operacional como para o nível da aplicação. O resultado da pesquisa desenvolvida foi o surgimento de um modelo estrutural orientado a objetos e baseado nas idéias da reflexão computacional, não somente como disciplina de implementação, mas como modelo conceitual para a implementação de sistemas operacionais multiprocessados. / The use of object-oriented technology for the construction of complex systems has been increasing in recent years. The assumption that such technology, besides facilitating modularization, increases reusability and maintainability, providing a unified view of the systems, has encouraged its use in building operating systems, where the system resources and the user's applications come to be modeled in terms of the same abstraction. Actually this new technology for development of software, associated with the evolution of hardware, as well as communication technology and the need for qualitative enhancement, mainly concerning programming and interface environments, is giving rise to a new generation of operating systems, more dynamic, more flexible and capable of maintaining, in a transparent way, the presence of cooperative processing, distributed or non-distributed, heterogeneous or homogeneous. However, although the scientific literature shows an acceptance of the object-oriented paradigm as a promising focus(insight) to be adopted in the new generation of operating systems, the current state of technology for object management is still far from being one of consolidation. This project has emerged in this context, with the aim of contributing to the search for an appropriate model for office management that is able to provide a uniform model, not only on the operating system level, but also on the application level. The result of the research is a new object-oriented structural model, based on the concepts of computational reflection, both as an implementation discipline and as a conceptual model for the utilization of multiprocessor operating systems. These features are very useful in developing operating systems which contain components, including resources and applications that are modeled in the same way, using object-oriented abstraction.

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2008 / Bibliografia: f. 63-66 / O modelo peer-to-peer e a disponibilidade de largura de banda têm viabilizado a criação de novos sistemas de arquivos distribuídos. Esta dissertação apresenta um sistema de arquivos distribuído peer-to-peer que usa "arquivos transparentes" para melhorar a / The peer-to-peer model and the bandwidth availability are fostering the creation of new distributed file systems. This work presents a peer-to-peer distributed file system which uses "transparent files" to improve its fault tolerance and file availability

Dissertação (mestrado) - Pontifícia Universidade Católica do Paraná, Curitiba, 2009 / Bibliografia: f. 87-89 / Aplicações dependentes de contexto utilizam informações do ambiente que as cercam para adaptarem o seu comportamento. Este trabalho propõe um infra-estrutura reflexiva, com baixo acoplamento e orientada a eventos, chamada CxFramework, para auxiliar no des / Context-aware applications use information from their surrounding environment to adapt their behavior. This paper proposes a reflexive, loose-coupled, event-based infrastructure named CxFramework to aid the development of such complex applications. CxFram