Made available in DSpace on 2014-06-12T15:50:11Z (GMT). No. of bitstreams: 2 arquivo1930_1.pdf: 1742136 bytes, checksum: 9293c4cc8bc9198633a8db952346915b (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / O estudo de sistemas através de modelos é baseado em abstrações do mundo real. Portanto, os cálculos resultantes devem ser interpretados com cautela. Quando incertezas ou variabilidades estão associadas com os parâmetros do sistema, a caracterização pontual dos parâmetros pode ser inadequada. As incertezas podem estar associadas a parâmetros que não são conhecidos antecipadamente, especialmente em estágios iniciais de projetos de sistemas. Um dos objetivos deste trabalho é a concepção do formalismo ISPN para análise quantitativa desses sistemas. Para alcançar este objetivo, desenvolveu-se a fundamentação teórica ISPN e foram adaptados algoritmos apropriados para análise dos modelos. A análise intervalar foi usada como método de análise do estado estacionário dos modelos ISPN, nos quais as taxas das transições exponenciais e os pesos das transições imediatas são intervalos. A ISPN é aplicada principalmente para modelar as situações em que os dados de entrada estão num determinado nível da exatidão. As incertezas das taxas são especificadas através de intervalos. Este ambiente de modelagem fornece uma maneira para formalizar e estudar os problemas relacionados à presença das incertezas. Tais incertezas incluem os erros dos dados que ocorrem durante os processos de medida e os erros de arredondamento gerados durante cálculos. O modelo proposto e o método de análise relacionado permitem que a análise de desempenho seja realizada, considerando variações simultâneas nos parâmetros. Os métodos intervalares foram aplicados na estimativa exterior do conjunto solução para sistemas de equações lineares intervalares resolvidas pela aritmética intervalar clássica e pela aritmética de Kaucher dentro do ambiente do MATLAB toolbox INTLAB. Usamos ISPN como uma ferramenta de alto nível para modelagem e análise. O poder de modelagem ISPN foi avaliado em diversos estudos de caso apresentados

A grande maioria das empresas possui um ecossistema de software composto por um conjunto de aplicações, para auxiliar na tomada de decisões ou na melhoria dos seus processos de negócio. O campo de estudo integração de aplicações empresariais oferece ferramentas e metodologias para criar soluções de integração que possibilita que as aplicações do ecossistema, geralmente heterogêneas, possam trabalhar de maneira conjunta e sincronizada. Esta dissertação utiliza como caso de estudo uma solução de integração projetada para o problema de integração do sistema de currículos da agência nacional e tecnologia de Portugal. Esta solução, projetada com uma linguagem de modelagem de alto nível de abstração, é caracterizada como um sistema de eventos discretos. Existem vários paradigmas para a modelagem de sistemas de eventos discretos, dentre eles aqueles baseados em modelos probabilísticos. nesta dissertação, utiliza-se uma abordagem baseada em simulação com redes de Petri estocásticas para a identificação de gargalos de desempenho em soluções de integração, caracterizando, assim, uma solução como um processo probabilístico. Para a redução desses gargalos utilizou-se as redes de Petri Estocásticas Generalizadas. A simulação de uma solução de integração, a partir do seu modelo conceitual, possibilita a análise do seu comportamento ainda na fase de projeto, reduzindo custos, riscos e tempo no desenvolvimento da solução. Os resultados da simulação mostram que os gargalos de desempenho podem ser identificados ainda na fase de projeto e que é possível reduzi-los dedicando recursos computacionais às tarefas mais críticas do modelo. / 97 f.

Submitted by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-09T13:39:20Z No. of bitstreams: 2 tese-gaaj.pdf: 7318112 bytes, checksum: 1105c948e6824b1d2b869c07d785b563 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) / Made available in DSpace on 2015-03-09T13:39:20Z (GMT). No. of bitstreams: 2 tese-gaaj.pdf: 7318112 bytes, checksum: 1105c948e6824b1d2b869c07d785b563 (MD5) license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Previous issue date: 2013-02-04 / As atuais exigências de questões ambientais fizeram com que a análise de cadeias de suprimentos e sistemas de manufatura precisasse levar em consideração indicadores de desempenho ambiental, além das tradicionais métricas de desempenho. A quantidade de energia consumida para produzir um bem de consumo e o total de emissões de gases de efeito estufa (GEE) são exemplos desses indicadores. Diversas organizações e empresas vêm se envolvendo na definição de metodologias e ferramentas que auxiliem na avaliação de desempenho ambiental (ADA). O gerenciamento de cadeias de suprimentos verdes (GSCM), do inglês green supply chain management, surgiu da necessidade de se avaliarem metas relacionadas ao desempenho das cadeias de suprimentos e seu impacto ambiental. As redes de Petri vêm sendo aplicadas constantemente na avaliação de sistemas de manufatura e cadeias de suprimentos. Este trabalho propõe um framework baseado na utilização das stochastic Petri nets (SPN), especificamente as stochastic reward nets (SRNs), para a modelagem e aferição de indicadores das atividades do GSCM. Para alcançar esse objetivo, utiliza-se uma abordagem baseada em componentes para modelar os elementos do sistema. A composição desses componentes resulta em um modelo cujas propriedades são garantidas e que provê um conjunto de indicadores de desempenho ambiental e do sistema.

Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-10T19:35:09Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-10T19:42:47Z (GMT) No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5) / Made available in DSpace on 2015-03-10T19:42:47Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5) Previous issue date: 2014-04-29 / A Internet possui um papel vital na sociedade atual, possibilitando a existência de aplicações e serviços em diferentes áreas, como saúde, entretenimento, educação e segurança. Entretanto, apesar da Internet ter evoluído consideravelmente em aspectos como velocidade e capacidade, inovações arquiteturais necessárias, por exemplo, para melhor suporte à mobilidade, sofrem resistência em virtude de sua estrutura atual. Nesse contexto, a virtualização de redes de computadores é uma abordagem promissora para resolver o problema atual de ossificação da Internet. Um grande desafio associado a esse conceito é o mapeamento das redes virtuais, devido à natureza NP-difícil do problema. Com isso, diversas heurísticas têm sido propostas com o objetivo de alcançar alocações eficientes. Contudo, apesar de as abordagens existentes aperfeiçoarem métricas de desempenho, como o custo e a taxa de aceitação das requisições, questões de dependabilidade não são consideradas no mapeamento. Dependabilidade envolve métricas como confiabilidade e disponibilidade, as quais impactam diretamente a qualidade do serviço. Logo, tais métricas são de grande importância e devem ser consideradas na formulação de problemas de otimização para alocação de redes virtuais. Este trabalho propõe um algoritmo baseado na metaheurística GRASP (Greedy Randomized Adaptive Search Procedure) para o mapeamento de redes virtuais confiáveis. Políticas de redundância são consideradas na alocação para satisfazer requisições de redes virtuais com restrições de alta disponibilidade. Além disso, é proposta uma abordagem hierárquica e heterogênea, com modelos formais em redes de Petri estocásticas (SPN) e diagramas de bloco de confiabilidade (RBD) para representar e avaliar disponibilidade das redes virtuais. Esses modelos são gerados e avaliados automaticamente pela ferramenta Mercury, ao longo do processo de mapeamento. Estudos de caso são propostos para demonstrar a aplicabilidade dos modelos e algoritmo adotados. Os resultados experimentais demonstram o impacto da adoção de questões de dependabilidade na alocação, bem como a relação entre a disponibilidade e o custo das redes virtuais.

Made available in DSpace on 2014-06-12T15:55:22Z (GMT). No. of bitstreams: 2 arquivo2234_1.pdf: 7802626 bytes, checksum: 1cb84477d378fe2e57a785c1609ceac9 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2011 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Aspectos de sustentabilidade têm recebido grande atenção pela comunidade científica, devido às preocupações com a satisfação das necessidades atuais de energia sem comprometer, por exemplo, recursos não-renováveis para as gerações futuras. Na verdade, uma crescente demanda de energia é uma questão que tem impactado a forma de como os sistemas são concebidos (data centers, por exemplo), no sentido de que os projetistas necessitam verificar vários trade-offs e selecionar uma solução viável considerando a utilização da energia e outras métricas, tais como confiabilidade e dispobilidadade. As ferramentas são importantes neste contexto para automatizar várias atividades de projeto e obter resultados o mais rápido possível. Este trabalho apresenta um ambiente integrado, denominado, ASTRO, que contempla: (i) Diagramas de Blocos de Confiabilidade (RBD) e Redes de Petri Estocásticas (SPN) para avaliação de dependabilidade , (ii) um método baseado na avaliação do ciclo de vida (LCA) para a quantificação do impacto da sustentabilidade. ASTRO foi concebido para avaliar infra-estruturas de centros de dados, mas o ambiente é genérico o suficiente para avaliar sistemas em geral. Além disso, um estudo de caso é fornecido para demonstrar a viabilidade do ambiente proposto

Made available in DSpace on 2014-06-12T15:52:45Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2009 / Os sistemas de transferência eletrônica de fundos (TEF) promovem benefícios financeiros para as instituições que utilizam esse serviço e conveniências para seus clientes. Os sistemas TEF realizam operações de crédito e débito em contas bancárias através de terminais de pontos de vendas (PDVs) em diferentes empresas. Assim, a avaliação de desempenho de sistemas TEF tem fundamental importância para as empresas que promovem o serviço de transferência eletrônica de fundos, uma vez que os recursos computacionais devem ser utilizados eficientemente, objetivando atingir os requisitos definidos nos acordos de nível de serviço (SLA). A ocorrência de eventos de falhas podem causar uma severa degradação no desempenho de sistemas. Assim, os resultados da modelagem de sistemas sem considerar os efeitos da dependabilidade sobre o desempenho são incompletos ou imprecisos. Este trabalho apresenta uma metodologia para avaliação da performabilidade composta de um método para avaliação de desempenho, um método para avaliação da dependabilidade e uma técnica de decomposição e composição. Este trabalho também apresenta dois modelos estocasticos expolinomiais para avaliação de performabilidade os quais são o modelo de desempenho de sistemas TEF e o modelo de dependabilidade de sistemas TEF. O modelo de desempenho de sistemas TEF proporciona a avaliação do desempenho dos recursos de processamento e armazenamento do servidor TEF, considerando variações na carga de trabalho (transações comerciais de crédito e débito). Já o modelo de dependabilidade de sistemas TEF promove a avaliação dos efeitos da ocorrência de eventos de falhas e de uma política de manutenção na disponibilidade e confiabilidade da infraestrutura de sistemas TEF. Os modelos de desempenho e de dependabilidade são combinados para a avaliação do impacto da dependabilidade no desempenho de sistemas TEF. A política de manutenção é empregada para prevenir a ocorrência de eventos de falhas no sistema TEF e permitir a recuperação de falhas para assegurar as expectativas de desempenho dos clientes através dos ajustes dos intervalos entre manutenções preventivas, dos intervalos entre substituições dos equipamentos, do número máximo de manutenções preventivas antes da substituição dos equipamentos, do tempo médio para reparo, do dimensionamento da equipe de manutenção e dos custos relacionados às manutenções. Estudos de caso são apresentados para análise do impacto das variações da carga de trabalho no desempenho de sistemas TEF, para análise do impacto de uma política de manutenção na performabilidade de sistemas TEF e para análise dos efeitos das variações de temperatura na performabilidade de sistemas TEF

Made available in DSpace on 2014-06-12T15:56:43Z (GMT). No. of bitstreams: 2 arquivo2981_1.pdf: 3215822 bytes, checksum: 207b7ae6534fc85e3430543b64c88b38 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2010 / A procura por softwares com maior qualidade tem motivado a definição de métodos e técnicas para o desenvolvimento de softwares que atinjam os padrões de qualidade impostos. Com isso, o interesse pela atividade de teste de software vem aumentando nos últimos anos. As fábricas de software enfrentam dificuldades na elaboração de processos de testes adequados ao projeto de maneira que sejam efetivos com relação à qualidade do produto e, ao mesmo tempo, tenham execução eficiente. Esses aspectos concorrentes podem afetar os níveis de qualidade almejado ou induzir o desenvolvimento de processos rebuscados e ineficientes. Parte desse problema ocorre tanto devido à dificuldade enfrentada pelas organizações na definição de processos a cada projeto particular, quanto pela ausência de mecanismos que possibilitem a provisão de meios para escolha das alternativas mais convenientes a cada projeto particular em termos de desempenho e critérios de qualidade. Dessa forma, ambientes que proporcionem a avaliação do desempenho dos processos e que possibilitem estimativa do uso de recursos são mecanismos que concorrem para melhoria dos índices de qualidade e produtividade das organizações. Modelos de execução de processo voltados para estimativa de desempenho que levem em consideração combinações de cenários diversos e ativos podem trazer ganhos substanciais de produtividade tanto na customização dos processos quanto na efetividade do processo definido para o projeto. Este trabalho propõe uma metodologia de avaliação de desempenho aplicada a Processos de Testes de Software. Com a aplicação da metodologia proposta, é possível verificar o impacto de mudanças no processo, avaliar o desempenho do processo de testes, realizar simulações com o objetivo de obter estimativas mais precisas e, principalmente, ajudar na garantia da qualidade do produto. Além disso, essa metodologia possibilitará a avaliação de diferentes alternativas de implementações, bem como a verificação de melhor composição de recursos pessoais para as atividades do processo. Isso tudo pode ser realizado sem a necessidade da real implementação do processo, tornando mais ágil e barato todo o processo

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-10-31T13:02:48Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Bruno_Silva_Doutorado_Ciencia_da_Computacao_2016.pdf: 7350049 bytes, checksum: f6bc77a5446b293d932df5ac54dad560 (MD5) / Made available in DSpace on 2016-10-31T13:02:48Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Bruno_Silva_Doutorado_Ciencia_da_Computacao_2016.pdf: 7350049 bytes, checksum: f6bc77a5446b293d932df5ac54dad560 (MD5) Previous issue date: 2016-02-26 / CNPq / Cloud Computing Systems (CCSs) allow the utilization of application services for users around the world. An important challenge for CCS providers is to supply a high-quality service even when there are failures, overloads, and disasters. A Service Level Agreement (SLA) is often established between providers and clients to define the availability, performance and security requirements of such services. Fines may be imposed on providers if SLA’s quality parameters are not met. A widely adopted strategy to increase CCS availability and mitigate the effects of disasters corresponds to the utilization of redundant subsystems and the adoption of geographically distributed data centers. Considering this approach, services of affected data centers can be transferred to operational data centers of the same CCS. However, the data center synchronization time increases with the distance, which may affect system performance. Additionally, resources over-provisioning may affect the service profitability, given the high costs of redundant subsystems. Therefore, an assessment that include performance, availability, possibility of disasters and data center allocation is of utmost importance for CCS projects. This work presents a framework for geographically distributed CCS evaluation that estimates metrics related to performance, availability and disaster recovery (man-made or natural disasters). The proposed framework is composed of an evaluation process, a set of models, evaluation tool, and fault injection tool. The evaluation process helps designers to represent CCS systems and obtain the desired metrics. This process adopts a formal hybrid modeling, which contemplates CCS high-level models, stochastic Petri nets (SPN) and reliability block diagrams (RBD) for representing and evaluating CCS subsystems. An evaluation tool is proposed (GeoClouds Modcs) to allow easy representation and evaluation of cloud computing systems. Finally, a fault injection tool for CCSs (Eucabomber 2.0) is presented to estimate availability metrics and validate the proposed models. Several case studies are presented and analyze survivability, performance and availability metrics considering multiple data center allocation scenarios for CCS systems. / Sistemas de Computação em Nuvem (SCNs) permitem a utilização de aplicações como serviços para usuários em todo o mundo. Um importante desafio para provedores de SCN corresponde ao fornecimento de serviços de qualidade mesmo na presença de eventuais falhas, sobrecargas e desastres. Geralmente, um acordo de nível de serviço (ANS) é estabelecido entre fornecedores e clientes para definição dos requisitos de disponibilidade, desempenho e segurança de tais serviços. Caso os parâmetros de qualidade definidos no ANS não sejam satisfeitos, multas podem ser aplicadas aos provedores. Nesse contexto, uma estratégia para aumentar a disponibilidade de SCNs e mitigar os efeitos de eventuais desastres consiste em utilizar subsistemas redundantes e adotar de centros de dados distribuídos geograficamente. Considerando-se esta abordagem, os serviços de centros de dados afetados podem ser transferidos para outros centros de dados do mesmo SCN. Contudo, o tempo de sincronização entre os diferentes centros de dados aumenta com a distância entre os mesmos, o que pode afetar a performance do sistema. Além disso, o provisionamento excessivo de recursos pode afetar a rentabilidade do serviço, dado o alto custo dos subsistemas redundantes. Portanto, uma avaliação que contemple desempenho, disponibilidade, possibilidade de desastres e alocação de centro de dados é de fundamental importância para o projeto de SCNs. Este trabalho apresenta um framework para avaliação de SCNs distribuídos geograficamente que permite a estimativa de métricas de desempenho, disponibilidade e capacidade de recuperação de desastres (naturais ou causados pelo homem). O framework é composto de um processo de avaliação, conjunto de modelos, ferramenta de avaliação e ferramenta de injeção de falhas. O processo de avaliação apresentado pode auxiliar projetistas de SCNs desde a representação do sistem de computação em nuvem até a obtenção das métricas de interesse. Este processo utiliza uma modelagem formal híbrida, que contempla modelos de SCN de alto nível, redes de Petri estocásticas (RPEs) e diagramas de bloco de confiabilidade (DBCs) para representação e avaliação de SCNs e seus subsistemas. Uma ferramenta de avaliação é proposta (GeoClouds Modcs) que permite fácil representação e avaliação de sistemas de computação em nuvem. Por fim, uma ferramenta de injeção de falhas em SCN (Eucabomber 2.0) é apresentada para estimar métricas de disponibilidade e validar os modelos propostos. Vários estudos de caso são apresentados e estes analisam a capacidade de recuperação de desastres, desempenho e disponibilidade de SCNs distribuídos geograficamente.