{"title":"Proposta de Implementação de Memória Compartilhada Dinâmica Tolerante a Falhas","authors":"M. Braga, E. Alchieri","doi":"10.5753/wtf.2014.22950","DOIUrl":"https://doi.org/10.5753/wtf.2014.22950","url":null,"abstract":"Sistemas de quóruns são úteis na implementação consistente e confiável de sistemas de armazenamento de dados em presença de falhas. Estes sistemas geralmente compreendem um conjunto estático de servidores que implementam um registrador acessado através de operações de leitura e escrita. Este artigo propõe uma implementação para o FREESTORE, um conjunto de protocolos tolerantes a falhas capazes de emular um registrador em sistemas dinâmicos, onde processos podem entrar e sair, durante sua execução, através de reconfigurações. Um conjunto detalhado de experimentos avalia o desempenho dos protocolos implementados e possibilita uma maior compreensão a respeito do processo de reconfiguração de memória compartilhada.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116951879","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Test Process Model to Evaluate Performance Impact of Privacy Protection Solutions","authors":"Victor Mello, Tânia Basso, Regina L. O. Moraes","doi":"10.5753/wtf.2014.22946","DOIUrl":"https://doi.org/10.5753/wtf.2014.22946","url":null,"abstract":"Organizational Information Systems (IS) collect, store, and manage personal information through web applications and services. Due to regulation laws and to protect the privacy of clients, such information must be kept private. Some solutions were developed to protect privacy personal information. Obviously, this additional resource will produce a performance impact and evaluating it is essential to determine the feasibility of the solution. This paper presents a process model to evaluate the performance impact introduced by privacy protection solutions in web applications. Case study shows the tests were useful to identify the conditions in which the solution under evaluation is able to work with minimal performance impact.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"60 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126519758","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Uma Análise da Sobrecarga Imposta pelo Mecanismo de Replicação de Máquinas Virtuais Remus","authors":"M. M. D. Silva, G. Koslovski, R. Obelheiro","doi":"10.5753/wtf.2014.22954","DOIUrl":"https://doi.org/10.5753/wtf.2014.22954","url":null,"abstract":"Remus é um mecanismo de replicação primário-backup para o hipervisor Xen, que fornece alta disponibilidade a máquinas virtuais realizando checkpoints com frequência (na ordem de dezenas de checkpoints por segundo). Apesar de oferecer boa tolerância a faltas para falhas de parada e omissão, as implicações de desempenho do Remus não são bem compreendidas. Este trabalho caracteriza experimentalmente o desempenho do Remus em diferentes cenários e mostra que (i) a frequência de checkpointing que resulta no melhor desempenho é altamente dependente do comportamento das aplicações e (ii) o overhead pode ser proibitivo para aplicações de rede sensíveis a latência.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121462677","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Multi-Objective Test Case Selection: A study of the influence of the Catfish effect on PSO based strategies","authors":"Luciano S. de Souza, R. Prudêncio, F. Barros","doi":"10.5753/wtf.2014.22943","DOIUrl":"https://doi.org/10.5753/wtf.2014.22943","url":null,"abstract":"During the software testing process many test suites can be generated in order to evaluate and assure the quality of the products. In some cases, the execution of all suites can not fit the available resources (time, people, etc). Hence, automatic Test Case (TC) selection could be used to reduce the suites based on some selection criterion. This process can be treated as an optimization problem, aiming to find a subset of TCs which optimizes one or more objective functions (i.e., selection criteria). In this light, we developed mechanisms for TC selection in context of structural and functional testing. The proposed algorithms consider two objectives simultaneously: maximize branch coverage (or functional requirements coverage) while minimizing execution cost (time). These mechanisms were implemented by deploying multi-objective techniques based on Particle Swarm Optimization (PSO). Additionally, we added the so-called catfish effect into the multi-objective selection algorithms in order to improve their results. The performed experiments revealed the feasibility of the proposed strategies.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114700232","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Provedores de Identidade Resilientes e Confiáveis","authors":"Diego Kreutz, Eduardo L. Feitosa, Hugo Cunha","doi":"10.5753/wtf.2014.22955","DOIUrl":"https://doi.org/10.5753/wtf.2014.22955","url":null,"abstract":"Este artigo apresenta o desenvolvimento de uma arquitetura para provedores OpenID resilientes e seguros, cujo objetivo é garantir propriedades essenciais como integridade, alta disponibilidade e confidencialidade de dados sensitivos. Para este fim são utilizados algoritmos para tolerar falhas arbitrárias, é proposto um componente seguro, com uma interface bem definida, e é detalhada a arquitetura que provê as propriedades almejadas ao sistema. A solução proposta supera trabalhos similares em diferentes aspectos, como vazão, latência, tolerância a falhas arbitrárias e confidencialidade (sem comprometer a escalabilidade do sistema). Os resultados demonstram que uma única instância do sistema suporta demandas de ambientes, como infraestruturas de rede e sistemas Web, com mais de 200k usuários.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123359278","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
L. A. Rodrigues, E. P. Duarte Jr., Luciana Arantes
{"title":"Uma Solução Autonômica para a Criação de Quóruns Majoritários Baseada no Vcube","authors":"L. A. Rodrigues, E. P. Duarte Jr., Luciana Arantes","doi":"10.5753/wtf.2014.22948","DOIUrl":"https://doi.org/10.5753/wtf.2014.22948","url":null,"abstract":"Este trabalho apresenta uma solução autonômica para a construção e manutenção de quóruns em sistemas distribuídos. Os processos são organizados em uma topologia virtual de hipercubo chamada VCube. A topologia é construída dinamicamente com base nas informações de falhas obtidas de um sistema de monitoramento. Processos falhos são eliminados do sistema e uma nova configuração é criada utilizando apenas os processos corretos. Os processos podem falhar por crash e uma falha é permanente. Os quóruns gerados possuem tamanho e carga bem distribuídos e a reconfiguração é automática, tolerando até n − 1 processos falhos. O sistema proposto foi comparado com uma solução em árvore binária. Resultados experimentais confirmam a resiliência e estabilidade dos quóruns no VCube.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133288615","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Uma Estratégia de Testes Logarítmica para o Algoritmo Hi-ADSD","authors":"Vinicius K. Ruoso, L. Bona, E. P. Duarte Jr.","doi":"10.5753/wtf.2014.22945","DOIUrl":"https://doi.org/10.5753/wtf.2014.22945","url":null,"abstract":"O algoritmo Hierarchical Adaptive Distributed System-level Diagnosis (Hi-ADSD) é um algoritmo de diagnóstico distribuído que cria uma topologia virtual baseada em um hipercubo. O hipercubo é uma estrutura escalável por definição, apresentando características topológicas importantes como: simetria, diâmetro logarítmico e boas propriedades para tolerância a falhas. A latência do algoritmo quando executado em um sistema com N nodos é de no máximo log2^2 N rodadas de teste. Entretanto, o número de testes executados no pior caso é quadrático. Este trabalho apresenta uma nova estratégia de testes para o algoritmo Hi-ADSD que garante que são executados no máximo N log2 N testes a cada log2 N rodadas. A latência máxima é mantida em log2^2 N rodadas de teste. O algoritmo é adaptado para a nova estratégia de testes. Além disso, foi adotado o uso de timestamps para permitir que cada nodo obtenha informações de diagnóstico a partir de diversos outros nodos, consequentemente reduzindo a latência média. O novo algoritmo é especificado, suas provas formais são demonstradas e resultados experimentais obtidos por simulações são apresentados e comparados com o Hi-ADSD.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115111965","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Serviço de Líder em Sistemas Dinâmicos com Memória Compartilhada","authors":"C. Khouri, Fabíola Greve","doi":"10.5753/wtf.2014.22951","DOIUrl":"https://doi.org/10.5753/wtf.2014.22951","url":null,"abstract":"Apesar da importância que ambientes dinâmicos como as SANs (redes de área de armazenamento) e as arquiteturas multi-núcleo ocupam no cenário atual dos sistemas distribuídos, poucas são as propostas de modelos e protocolos para a implementação de eleição de líder após um tempo nesses contextos. Essa abstração é fundamental para a implementação dos requisitos de consistência e tolerância a falhas desses sistemas. Entretanto, a maioria das abordagens de eleição de líder considera sistemas estáticos, onde os processos se comunicam por troca de mensagens, satisfazendo requisitos temporais. Este artigo apresenta um serviço de eleição de líder, da classe Ω, para um sistema dinâmico assíncrono, sujeito a falhas por parada, em que os processos se comunicam através de registradores atômicos compartilhados e segundo um padrão de acesso à memória, livre de requisitos temporais.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124628756","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Aplicação da IEC 61508 na Prototipação de Protocolos Seguros de Comunicação","authors":"William Vidal, S. Cechin, T. Weber, R. Dobler","doi":"10.5753/wtf.2014.22953","DOIUrl":"https://doi.org/10.5753/wtf.2014.22953","url":null,"abstract":"Visando garantir os níveis de segurança funcional adequados para a correta troca de informações entre os dispositivos de controle e instru- mentação em uma planta industrial, as normas IEC 61508 e IEC 61784-3 impõem o uso de protocolos de comunicação seguros. A codificação desse tipo de protocolo deve ser realizada caso a caso e certificada para cada novo equipamento de automação. Neste contexto, este artigo apresenta um protótipo do protocolo PROFIsafe. A construção do protótipo partiu da especificação do protocolo e seguiu as recomendações da norma IEC 61508 para o desenvolvimento de software embarcado de segurança. O conjunto de regras e padrões de codificação desenvolvidos e a experiência na validação do protótipo serão aplicados no desenvolvimento de equipamentos para sistemas instrumentados de segurança.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"149 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133826414","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
E. M. Salvador, Vinícius F. S. Mota, V. Almeida, Daniel F. Macedo, J. M. Nogueira, Jéferson C. Nobre, P. Duarte, L. Granville, L. Tarouco
{"title":"Uma Avaliação de Abordagens de Distribuição para Gerenciamento de Redes Tolerantes a Atrasos e Desconexões","authors":"E. M. Salvador, Vinícius F. S. Mota, V. Almeida, Daniel F. Macedo, J. M. Nogueira, Jéferson C. Nobre, P. Duarte, L. Granville, L. Tarouco","doi":"10.5753/wtf.2014.22952","DOIUrl":"https://doi.org/10.5753/wtf.2014.22952","url":null,"abstract":"A ausência de pressuposições básicas do TCP/IP em Redes Tolerantes a Atrasos e Desconexões (DTNs) faz com que o emprego de abordagens convencionais de gerenciamento seja mais difícil. Este artigo avalia as forças e fraquezas das tradicionais abordagens de gerenciamento centralizada, hierárquica e distribuída, quando empregadas em um ambiente DTN. Um simulador DTN foi usado para avaliar duas métricas relacionadas ao uso das abordagens de gerenciamento: a taxa de sucesso de operações de polling e a latência da operação de monitoramento. Os resultados alcançados no trabalho possuem potencial para guiar o desenvolvimento de novas soluções para o gerenciamento de DTNs e melhorar sua tolerância a falhas.","PeriodicalId":321409,"journal":{"name":"Anais do XV Workshop de Testes e Tolerância a Falhas (WTF 2014)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2014-05-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131640298","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}