发布求助
文献互助 智能选刊 最新文献

Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010)最新文献

筛选
英文 中文
Controle de Admissão para QoS em Sistemas Distribuídos Híbridos, Tolerantes a Falhas 分布式混合容错系统中QoS的准入控制
Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010) Pub Date : 2010-05-28 DOI: 10.5753/wtf.2010.23095
Sérgio Gorender, R. Macêdo, Waltemir Lemos Pacheco Júnior
{"title":"Controle de Admissão para QoS em Sistemas Distribuídos Híbridos, Tolerantes a Falhas","authors":"Sérgio Gorender, R. Macêdo, Waltemir Lemos Pacheco Júnior","doi":"10.5753/wtf.2010.23095","DOIUrl":"https://doi.org/10.5753/wtf.2010.23095","url":null,"abstract":"Sistemas distribuídos híbridos são compostos por processos e canais de comunicação que podem ser síncronos ou assíncronos. Dependendo da quantidade de componentes síncronos presente no sistema, é possível resolver problemas clássicos dos sistemas distribuídos, como o consenso, com um maior nível de tolerância a falhas. Modelos para sistemas distribuídos híbridos, tolerantes a falhas têm sido apresentados com estas características. Uma das formas de se obter canais de comunicação síncronos é através do uso de arquiteturas para prover QoS. Estas arquiteturas, embora baseadas em mecanismos diferentes, em geral apresentam alguma classe de serviço que fornece um serviço de comunicação isócrono (síncrono). Para que estes serviços isócronos sejam possíveis, é fundamental o uso de um mecanismo de controle de admissão para novos canais de comunicação, para garantir não haver sobrecarga dos recursos de rede utilizados para prover o serviço. Apresentamos neste artigo um módulo de controle de admissão para o QoS Provider, o qual é um mecanismo para gerenciamento de QoS sendo utilizado por modelos para sistemas distribuídos híbridos como o HA e o Spa.","PeriodicalId":309112,"journal":{"name":"Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010)","volume":"119 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116711583","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}
引用次数: 0
Um Serviço Distribuído de Detecção de Falhas Baseado em Disseminação Epidêmica 基于流行病传播的分布式故障检测服务
Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010) Pub Date : 2010-05-28 DOI: 10.5753/wtf.2010.23094
Leandro P. de Sousa, E. P. Duarte Jr.
{"title":"Um Serviço Distribuído de Detecção de Falhas Baseado em Disseminação Epidêmica","authors":"Leandro P. de Sousa, E. P. Duarte Jr.","doi":"10.5753/wtf.2010.23094","DOIUrl":"https://doi.org/10.5753/wtf.2010.23094","url":null,"abstract":"Detectores de falhas são abstrações que, dependendo das propriedades que oferecem, permitem a solução do consenso em sistemas distribuídos assíncronos. Este trabalho apresenta um serviço de detecção de falhas baseado em disseminação epidêmica. O serviço foi implementado para a plataforma JXTA. Para permitir a avaliação com um número maior de processos, foi também implementado um simulador. Resultados experimentais são apresentados para o uso de processador e memória, tempo de detecção, taxa de enganos do detector, além do seu uso na execução de eleição de líder. Os resultados experimentais e de simulação indicam que o serviço é escalável com o número de processos e mostram que a estratégia de disseminação epidêmica possui vantagens significativas em grupos com grande número de processos.","PeriodicalId":309112,"journal":{"name":"Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010)","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126433567","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}
引用次数: 1
Injeção de Falhas de Comunicação em Aplicações Java Multiprotocolo 多协议Java应用程序中的通信故障注入
Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010) Pub Date : 2010-05-28 DOI: 10.5753/wtf.2010.23097
Cristina C. Menegotto, T. Weber
{"title":"Injeção de Falhas de Comunicação em Aplicações Java Multiprotocolo","authors":"Cristina C. Menegotto, T. Weber","doi":"10.5753/wtf.2010.23097","DOIUrl":"https://doi.org/10.5753/wtf.2010.23097","url":null,"abstract":"Algumas aplicações de rede são baseadas em mais de um protocolo de comunicação, como UDP, TCP e RMI e devem ser testadas cuidadosamente em presença de falhas de comunicação. Caso a emulação de uma falha que afete a troca de mensagens não considere todos os protocolos simultaneamente utilizados, o comportamento emulado poderá diferir do observado na ocorrência de uma falha real. Este artigo apresenta Comform, um injetor de falhas de comunicação para aplicações Java multiprotocolo que opera no nível da JVM, interceptando mensagens de protocolos, e, em alguns casos, opera também no nível do sistema operacional, usando regras de firewall. A abordagem é útil para testes de caixa branca e preta e preserva o código fonte da aplicação alvo.","PeriodicalId":309112,"journal":{"name":"Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010)","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134374102","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}
引用次数: 0
Multi-Priority Alternative Journey and Routing Protocol: um Algoritmo para Roteamento em Redes Tolerantes a Atrasos e Desconexões Previsíveis 多优先替代旅程和路由协议:一种在容忍可预测延迟和断开的网络上路由的算法
Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010) Pub Date : 2010-05-28 DOI: 10.5753/wtf.2010.23103
Gabriela Argolo, L. Drummond, Anna Dolejsi, Anand Subramanian
{"title":"Multi-Priority Alternative Journey and Routing Protocol: um Algoritmo para Roteamento em Redes Tolerantes a Atrasos e Desconexões Previsíveis","authors":"Gabriela Argolo, L. Drummond, Anna Dolejsi, Anand Subramanian","doi":"10.5753/wtf.2010.23103","DOIUrl":"https://doi.org/10.5753/wtf.2010.23103","url":null,"abstract":"Este trabalho propõe o algoritmo distribuído Multi-Priority Alternative Journey and Routing Protocol (MP-AJRP) para roteamento em Redes Tolerantes a Atrasos e Desconexões, considerando as restrições de largura de banda dos enlaces e de capacidade dos buffers dos nós. O MP-AJRP é uma versão aprimorada do algoritmo AJRP e tem como objetivo entregar o maior número de mensagens aos destinos considerando rotas alternativas e múltiplas prioridades para escalonamento de mensagens. Com o intuito de avaliar o algoritmo, foram realizados experimentos utilizando os traces com o histórico de contatos dos nós da rede DieselNet. Os resultados mostraram que o MP-AJRP entregou em torno de 76% das mensagens e obteve desempenho superior a determinados algoritmos que consideram a replicação de mensagens.","PeriodicalId":309112,"journal":{"name":"Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010)","volume":"40 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124786025","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}
引用次数: 0
Injeção de falhas para validar aplicações em ambientes móveis 注入故障以验证移动环境中的应用程序
Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010) Pub Date : 2010-05-28 DOI: 10.5753/wtf.2010.23096
Eduardo Verruck Acker, T. Weber, S. Cechin
{"title":"Injeção de falhas para validar aplicações em ambientes móveis","authors":"Eduardo Verruck Acker, T. Weber, S. Cechin","doi":"10.5753/wtf.2010.23096","DOIUrl":"https://doi.org/10.5753/wtf.2010.23096","url":null,"abstract":"Presume-se que o Android, a plataforma móvel para smartphones originalmente desenvolvido pela Google vá permitir portar um grande número de aplicações para esses e outros dispositivos móveis. Essas aplicações deverão ser cuidadosamente testadas, inclusive na ocorrência de falhas. Esse artigo discute as facilidades e dificuldades de trabalhar com esse novo ambiente, apresenta o porte de um injetor de falhas de comunicação para o Android e introduz a linha de pesquisa de um novo projeto, visando prover ferramentas de injeção de falhas para teste de aplicações em ambientes móveis, considerando as peculiaridades das falhas de comunicação que ocorrem nestes ambientes.","PeriodicalId":309112,"journal":{"name":"Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010)","volume":"18 6","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"113942347","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}
引用次数: 1
Consenso com Recuperação no Modelo Partitioned Synchronous 在分区同步模型上与恢复一致
Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010) Pub Date : 2010-05-28 DOI: 10.5753/wtf.2010.23092
Sérgio Gorender, R. Macêdo
{"title":"Consenso com Recuperação no Modelo Partitioned Synchronous","authors":"Sérgio Gorender, R. Macêdo","doi":"10.5753/wtf.2010.23092","DOIUrl":"https://doi.org/10.5753/wtf.2010.23092","url":null,"abstract":"O modelo síncrono particionado (partioned synchronous foi introduzido para tirar proveito de partições síncronas em sistemas distribuídos híbridos, uma vez que estas são implementáveis em muitos cenários reais. No presente artigo apresentamos pela primeira vez um algoritmo para consenso com recuperação de processos, e respectivas provas formais, adequado ao modelo síncrono particionado. O algoritmo proposto tem como principal vantagem a capacidade de tolerar n-k defeitos de processos, onde k é o número de partições síncronas e n o tonal de processos no sistema - sendo que podem existir processos que não fazem parte de partições síncronas. Em particular, a robustez do protocolo se aplica mesmo se a maioria dos processos não estiver em partições síncronas, o que representa uma vantagem em termos de robustez quando comparado com soluções para modelos convencionais.","PeriodicalId":309112,"journal":{"name":"Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010)","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131757937","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}
引用次数: 1
Ampliando a Disponibilidade e Confiabilidade em Ambientes de Serviços Web Stateful 扩展有状态Web服务环境的可用性和可靠性
Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010) Pub Date : 2010-05-28 DOI: 10.5753/wtf.2010.23102
Igor Nogueira Santos, Daniela Barreio Claro, M. Luz
{"title":"Ampliando a Disponibilidade e Confiabilidade em Ambientes de Serviços Web Stateful","authors":"Igor Nogueira Santos, Daniela Barreio Claro, M. Luz","doi":"10.5753/wtf.2010.23102","DOIUrl":"https://doi.org/10.5753/wtf.2010.23102","url":null,"abstract":"Os serviços web estão sendo cada vez mais utilizados em aplicações que demandam alta disponibilidade e confiabilidade. Diversas especificações têm sido criadas com o intuito de padronizar a utilização de mecanismos confiáveis para serviços web. Serviços web têm sido replicados, ampliando, consequentemente, a sua disponibilidade. Considerando que os serviços web são autônomos e heterogêneos além de manter o estado (stateful web service), a replicação de serviços web é uma tarefa árdua e complexa, visto que diferentes empresas podem publicar seus serviços em maneiras distintas. O presente trabalho propõe avaliar trabalhos relacionados e introduzir um mecanismo de replicação passiva e híbrida com a manutenção de estados. Este mecanismo foi avaliado em uma rede local com o intuito de analisar o overhead causado, além de ter sido desenvolvido para o ambiente Axis2, visto ser atualmente o ambiente mais utilizado para o desenvolvimento de serviços web. Os resultados apresentaram um desempenho satisfatório em relação à garantia de replicação de serviços web stateful.","PeriodicalId":309112,"journal":{"name":"Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010)","volume":"57 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121966717","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}
引用次数: 0
Garantindo a Circulação e Unicidade do Token em Algoritmos com Nós Organizados em Anel Sujeitos a Falhas 确保令牌在算法中的循环和唯一性，节点组织成易发生故障的环
Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010) Pub Date : 2010-05-28 DOI: 10.5753/wtf.2010.23093
Luciana Arantes, Julien Sopena
{"title":"Garantindo a Circulação e Unicidade do Token em Algoritmos com Nós Organizados em Anel Sujeitos a Falhas","authors":"Luciana Arantes, Julien Sopena","doi":"10.5753/wtf.2010.23093","DOIUrl":"https://doi.org/10.5753/wtf.2010.23093","url":null,"abstract":"Apresentamos neste artigo um algoritmo que oferece um conjunto pequeno de funções que, quando chamadas por algoritmos distribuídos do tipo token-ring, fazem com que o token utilizado por estes se torne tolerante a falhas. Ele garante assim a circulação e unicidade to token em presença de falhas por parada dos nós. O número máximo de falhas consecutivas toleradas é limitado a k. A perda do token é evitada mantendo-se cópias temporárias deste em k outros nós. O algoritmo é escalável pois um nó monitora no máximo k nós, não necessita de uma eleição de líder, que envolva todos os nós do sistema e nem a utilização de primitivas de difusão para recriar um novo token. Nossa solução para recriá-lo é bastante eficaz em termos de latência. Além disso, se o token armazena alguma informação, esta pode ser mais facilmente restaurada em caso de falha do nó que detém o token.","PeriodicalId":309112,"journal":{"name":"Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010)","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132864916","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}
引用次数: 1
Redução do Número de Seqüências no Teste de Conformidade de Protocolos 减少协议遵从性测试中的序列数量
Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010) Pub Date : 2010-05-28 DOI: 10.5753/wtf.2010.23099
Jorge Francisco Cutigi, Paulo Henrique Ribeiro, A. Simão, S. R. S. Souza
{"title":"Redução do Número de Seqüências no Teste de Conformidade de Protocolos","authors":"Jorge Francisco Cutigi, Paulo Henrique Ribeiro, A. Simão, S. R. S. Souza","doi":"10.5753/wtf.2010.23099","DOIUrl":"https://doi.org/10.5753/wtf.2010.23099","url":null,"abstract":"A especificação formal é uma etapa crucial no ciclo de desenvolvimento de protocolos, uma vez que ela pode ser usada como base para a implementação e para o teste de conformidade. Dentre os modelos formais de especificação de protocolos, as Máquinas de Estados Finitos têm sido muito utilizadas. Esse modelo permite a derivação de seqüências de teste para o protocolo especificado. Vários métodos de geração de seqüências de teste têm sido desenvolvidos há várias décadas, com o objetivo de obter um conjunto de teste que seja capaz de revelar os defeitos de uma implementação. Entretanto, muitas vezes os conjuntos gerados são muito grandes e possuem um grande número de seqüências. Neste artigo é apresentada uma abordagem de redução de seqüências de teste. Busca-se como objetivo principal a redução do número de seqüências do conjunto de teste, uma vez que o grande número de seqüências pode tornar o teste inviável. São apresentados os resultados de dois estudos experimentais, os quais mostram ganhos consideráveis na redução de seqüências nos conjuntos de teste, mantendo a efetividade em revelar defeitos.","PeriodicalId":309112,"journal":{"name":"Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010)","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126430267","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}
引用次数: 0
Embedded Critical Software Testing for Aerospace Applications based on PUS 基于pu的航空航天应用嵌入式关键软件测试
Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010) Pub Date : 2010-05-28 DOI: 10.5753/wtf.2010.23100
R. P. Pontes, E. Martins, A. Ambrosio, E. Villani
{"title":"Embedded Critical Software Testing for Aerospace Applications based on PUS","authors":"R. P. Pontes, E. Martins, A. Ambrosio, E. Villani","doi":"10.5753/wtf.2010.23100","DOIUrl":"https://doi.org/10.5753/wtf.2010.23100","url":null,"abstract":"This paper discusses the practical experience of verifying an On-Board Data Handling (OBDH) software to be used in a future satellite application at INPE using the CoFI testing methodology. This technique is proper for aerospace applications and is based on modeling the system under test as finite state machines. The test cases are automatically generated from the developed models. The OBDH software considered in this paper follows the PUS standard from European Cooperation for Space Standardization, which is being adopted in Brazil. Among the important issues analyzed by this practical experience are the errors found, the time required for the modeling activity, the time required for testing, the reusability of the test cases, among others.","PeriodicalId":309112,"journal":{"name":"Anais do XI Workshop de Testes e Tolerância a Falhas (WTF 2010)","volume":"67 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-05-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126033415","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}
引用次数: 3
下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信