{"title":"Modelo de um Ambiente para Descrição de Cenários Detalhados de Falhas","authors":"Ruthiano S. Munaretti","doi":"10.5753/wtf.2008.23146","DOIUrl":"https://doi.org/10.5753/wtf.2008.23146","url":null,"abstract":"Em aplicações baseadas em troca de mensagens, a técnica de injeção de falhas tem como objetivo provocar falhas de forma controlada. Assim, pode-se investigar o comportamento destes sistemas na presença de falhas. Entretanto, a existência de diversos injetores de falhas relacionados a este fim ocasionam uma certa dificuldade, inerente ao uso destes injetores, por adotarem abordagens distintas de funcionamento. Neste contexto, o presente trabalho apresenta um ambiente para descrição de cenários detalhados de falhas, abordando os principais elementos deste ambiente, bem como a aplicação dos mesmos em injetores de falhas existentes na literatura.","PeriodicalId":437363,"journal":{"name":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133738647","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":"Consenso Bizantino entre Participantes Desconhecidos","authors":"E. Alchieri, A. Bessani, J. Fraga, Fabíola Greve","doi":"10.5753/wtf.2008.23153","DOIUrl":"https://doi.org/10.5753/wtf.2008.23153","url":null,"abstract":"O problema do consenso é a base para a solução da maioria dos problemas que envolvem sistemas distribuı́dos confiáveis. Apesar do consenso estar amplamente estudado em ambientes clássicos, onde o conjunto de participantes é conhecido, poucos trabalhos consideram este problema em ambientes dinâmicos e auto-organizáveis, onde os participantes da computação são, a priori, desconhecidos. Neste trabalho, propomos duas soluções para o consenso bizantino entre participantes desconhecidos (BFT-CUP), com e sem o uso de assinaturas digitais, e provamos que o grau de conhecimento sobre os participantes do sistema necessário nestas soluções é o mı́nimo necessário para resolver o BFT-CUP.","PeriodicalId":437363,"journal":{"name":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","volume":"737 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131114829","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":"Teste por injeção de falhas da implementação do protocolo de comunicação SCTP","authors":"S. Cechin, W. Nedel, T. Weber","doi":"10.5753/wtf.2008.23145","DOIUrl":"https://doi.org/10.5753/wtf.2008.23145","url":null,"abstract":"São apresentadas as vantagens do uso de um injetor de falhas de comunicação para o teste da implementação de protocolos de rede. SCTP é um protocolo novo, que oferece serviços semelhantes aos do UDP e do TCP e promete garantir confiabilidade às aplicações de rede. Através de experimentos de injeção de falhas sobre o protocolo SCTP mostra-se como é possível avaliar o comportamento do protocolo na presença de falhas controladas. O injetor FIRMAMENT foi escolhido para os experimentos de teste por estar disponível para uso, por possuir um alto poder de expressão de carga de falhas, por operar diretamente na pilha de protocolos do sistema operacional e pela facilidade com que pode ser configurado para operar com diferentes protocolos de rede.","PeriodicalId":437363,"journal":{"name":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130303492","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":"Caracterização de Falhas Relacionadas a Aplicações de Live Streaming na Internet","authors":"Ingrid Jansch-Pôrto","doi":"10.5753/wtf.2008.23142","DOIUrl":"https://doi.org/10.5753/wtf.2008.23142","url":null,"abstract":"Sistemas de difusão de conteúdos em tempo real – live streaming – construídos sobre a Internet, e especialmente aqueles que exploram arquiteturas peer-to peer, estão sujeitos a falhas naturais e humanas. Para que as aplicações não só sobrevivam, mas apresentem características atrativas aos (muitos) milhares de usuários, diversos mecanismos precisam ser usados como suporte. Este artigo visa apresentar os principais tipos de falhas que afetam estes sistemas e bem como tecer comentários sobre dificuldades relacionadas ao seu tratamento, além de informações sobre a modelagem de falhas. O artigo não pretende oferecer soluções, mas servir como um alerta a pesquisadores iniciantes na área.","PeriodicalId":437363,"journal":{"name":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","volume":"30 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116334330","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 Proposta para Reconfiguração Consistente no Nível Arquitetural","authors":"J. Lisbôa, Orlando Loques","doi":"10.5753/wtf.2008.23156","DOIUrl":"https://doi.org/10.5753/wtf.2008.23156","url":null,"abstract":"Em aplicações adaptativas, a manutenção da consistência após uma adaptação está associada à manutenção de seus requisitos funcionais e não-funcionais, respeitando-se as dependências entre seus componentes. A consistência possui três aspectos: estado dos componentes, comunicação e configuração da aplicação. Este trabalho explora o último deles, propondo um modelo para manutenção da consistência da configuração no nível arquitetural, através do tratamento de falhas nas atividades básicas de configuração de componentes. O objetivo principal é evitar incoerências entre o modelo de alto nível utilizado e a configuração real, e assim não comprometer o uso de arquiteturas de software no projeto de aplicações.","PeriodicalId":437363,"journal":{"name":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","volume":"47 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117259154","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":"Abordagem para Desviar Pacotes na Presença de Falha em Backbones IP com OSPF","authors":"Fernando Barreto, E. Wille, Luiz Nacamura Júnior","doi":"10.5753/wtf.2008.23151","DOIUrl":"https://doi.org/10.5753/wtf.2008.23151","url":null,"abstract":"Os backbones IP utilizam protocolos de roteamento do tipo estado do enlace para definir as rotas corretamente. Em situações de mudança na topologia, como uma falha, esses protocolos necessitam de um tempo para reagir e encontrar novas rotas. Durante esse tempo, as rotas ficam instáveis com alta taxa de pacotes perdidos e queda na confiabilidade do backbone. Esse trabalho propõe uma abordagem pró-ativa para auxiliar os protocolos de roteamento a reduzir a taxa de pacotes perdidos durante esse período. Essa abordagem é avaliada em representações de topologias artificiais e reais, e também em simulação para analisar a redução de pacotes perdidos, demonstrando resultados bastante satisfatórios.","PeriodicalId":437363,"journal":{"name":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","volume":"90 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115560918","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":"Security Assessment and Testing Tools Information Repository","authors":"N. Mendes, J. Durães, M. Vieira, H. Madeira","doi":"10.5753/wtf.2008.23148","DOIUrl":"https://doi.org/10.5753/wtf.2008.23148","url":null,"abstract":"This paper presents a repository for storing and comparing the characteristics of security assessment and testing tools. This repository supports information on the tools from different sources, ranging from specialized web sites and magazines to academic publications. This is in fact a powerful mean to share and disseminate information on security testing tools and to raise security issues awareness. It can also represent a very important information source for researchers and practitioners interested in exploring those tools. A working version of the repository is already online.","PeriodicalId":437363,"journal":{"name":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131981811","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}
A. L. Figueiredo, Patrícia Machado, E. Cartaxo, J. C. A. Figueiredo, P. E. S. Barbosa
{"title":"Geração Automática de Objetivos e Casos de Teste a partir de Redes de Petri Orientadas a Objetos","authors":"A. L. Figueiredo, Patrícia Machado, E. Cartaxo, J. C. A. Figueiredo, P. E. S. Barbosa","doi":"10.5753/wtf.2008.23143","DOIUrl":"https://doi.org/10.5753/wtf.2008.23143","url":null,"abstract":"Este artigo apresenta um método para a seleção e geração automática de objetivos de teste e seus respectivos casos de teste a partir de modelos abstratos de sistemas reativos. É dado enfoque a modelos de Redes de Petri Orientadas a Objetos (RPOO). Configurações e seqüências de ativação das redes são adotadas como objetivos de teste. Estes são convertidos para os Sistemas de Transição Rotulados (LTSs) correspondentes que podem então ser usados como entrada para ferramentas de geração de casos de teste.","PeriodicalId":437363,"journal":{"name":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","volume":"69 7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121133936","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":"Reconfiguração Dinâmica de Componentes em Sistemas Distribuídos de Controle e Supervisão, com Aplicação a Tolerância a Falhas","authors":"Neima Prado, R. Macêdo, L. Barreto","doi":"10.5753/wtf.2008.23155","DOIUrl":"https://doi.org/10.5753/wtf.2008.23155","url":null,"abstract":"A qualidade de confiança no funcionamento (dependability) de sistemas de tempo real distribuídos está intimamente ligada à sua capacidade de adaptação dinâmica, para se adequar às mudanças no ambiente, visando, em particular, a reposição de componentes defeituosos. O presente artigo descreve o projeto e implementação de um serviço de reconfiguração dinâmica para o sistema de tempo real distribuído ARCOS - Architecture for Control and Supervision), uma plataforma baseada em componentes de tempo real para aplicações de controle e supervisão. O sistema de reconfiguração dinâmica proposto foi validado através de uma aplicação de controle veicular onde um controlador com defeito é substituído em tempo de execução por uma réplica. O impacto da reconfiguração, analisada a partir de métricas fim-a-fim de qualidade de controle, se mostrou adequado para a aplicação em questão.","PeriodicalId":437363,"journal":{"name":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126269555","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}
Eugênia Giancoli, Filippe C. Jabour, Aloysio de Castro Pinto Pedroza
{"title":"Protocolo de Transporte Colaborativo para Redes de Sensores sem Fio","authors":"Eugênia Giancoli, Filippe C. Jabour, Aloysio de Castro Pinto Pedroza","doi":"10.5753/wtf.2008.23152","DOIUrl":"https://doi.org/10.5753/wtf.2008.23152","url":null,"abstract":"Este trabalho apresenta o CTCP, um novo protocolo de transporte para redes de sensores. Ele provê confiabilidade fim-a-fim e se adapta aos diferentes tipos de aplicação através do mecanismo de variação desta confiabilidade. Seu controle e detecção de congestionamento diferencia as perdas relativas a erro de transmissão daquelas relativas ao esgotamento de buffers. É chamado colaborativo já que todos os nós detectam e atuam sobre o congestionamento e em função da responsabilidade distribuída de armazenamento. É escalável e independe das camadas de rede subjacentes. Observou-se que a recuperação distribuída de falhas aumenta a confiabilidade e que a duplicação desta responsabilidade minimiza a possibilidade de perda definitiva de mensagens.","PeriodicalId":437363,"journal":{"name":"Anais do IX Workshop de Testes e Tolerância a Falhas (WTF 2008)","volume":"97 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-05-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133400341","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}