WTF 2006 - VII Workshop de Testes e Tolerância a Falhas
PROGRAMAÇÃO
Segunda-feira, 29 de Maio de 2006
08:00 - 08:40 — Sala3
Artigos Resumo - Chair: Alcides Calsavara, PUCPR
08:00 - 08:10 — Uma Generalização dos Critérios de Conectividade #C(v) e MCC(v)
Jonatan Schroeder, UFPR
Jaime Cohen, UEPG
Elias Duarte Jr., UFPR
08:10 - 08:20 — Em Direção a um Serviço de Replicação Transparente para Aplicações Web na Arquitetura J2EE
André Zampieri, Luciano Cassol, UCS
08:20 - 08:30 — Extensão Orientada a Aspectos para Interações Multi-participantes Confiáveis
Luciano Cassol, UCS
Avelino Zorzo, PUCRS
André Zampieri, UCS
08:30 - 08:40 — Discussões
08:40 - 09:55 — Sala 3
Testes de Software - Chair: Eliane Martins
08:40 - 09:00 — Applying Mutation Testing in Prolog Programs
Juliano Toaldo, Silvia Vergilio, UFPR
09:00 - 09:20 — Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos
Daniel Silva, Patricia Machado, UFCG
09:20 - 09:40 — Emulando o Comportamento de TCP/IP em um Ambiente com Falhas para Teste de Aplicações de Rede
Júlio Gerchman, Taisy Weber, UFRGS
09:40 - 09:55 — Discussões
09:55 - 10:30 — Coffee-break
10:30 - 11:45 — Sala 3
Avaliação de Sistemas - Chair: Taisy Silva Weber
10:30 - 10:50 — Avaliando o Impacto de Detectores de Defeitos na Estabilidade de Sistemas de Controle de Tempo-Real sobre Redes Convencionais
Alirio Sá, Raimundo José de Araújo Macêdo, UFBA
10:50 - 11:10 — Analisando o Custo do Armazenamento Tolerante a Faltas Bizantinas: Paxos X Sistemas de Quóruns
Alysson Bessani, Wagner Dantas, Eduardo Alchieri, Joni da Silva Fraga, UFSC
11:10 - 11:30 — Evaluating the Impact of Faults on Broadcasting Protocols for MANETs
Talmai Oliveira, Fabíola Greve, Leizer Schnitman, Victor Costa, UFBA
11:30 - 11:45 — Discussões
11:45 - 12:30 — Sala 3
Cluster e Redes Ah-hoc - Chair: Francisco Brasileiro, UFCG
11:45 - 12:05 — Modeling Service Availability in Web Clusters Architectures
Magnos Martinello, LAAS-CNRS, France.
12:05 - 12:25 — Localização Tolerante a Falhas de Usuários Móveis em Ambientes Fechados
Alessandro Copetti, Julius Leite, Orlando Loques, UFF
12:25 - 12:35 — Discussões
Intervalo para Almoço
14:00 - 15:15 — Sala 3
Grades Computacionais - Chair: Fabiola Greve
14:00 - 14:20 — Implementing a Distributed Execution Service for a Grid Broker
Flavio de Figueiredo, Francisco Brasileiro, Andrey Brito, UFCG
14:20 - 14:40 — Implementação de um Mecanismo de Recuperação por Retorno para o Ambiente de Computação OurGrid
Hélio Silva, Tórgan Siqueira, Leonardo Dalpiaz, Ingrid Jansch-Pôrto, Taisy Weber, UFRGS
14:40 - 15:00 — Escalonamento Tolerante a Sabotagem em Grades Computacionais Entre-Pares
Ana Cristina Oliveira, Francisco Brasileiro, UFCG
15:00 - 15:15 — Discussões
15:15 - 16:00 — Palestra: Tolerância a Faltas Bizantinas: Desafios e Resultados Recentes
Alysson Neves Bessani, Doutorando, UFSC
16:00 - 16:30 — Coffee-break
16:30 - 17:45 — Sala 3
Injeção de Falhas - Chair: Silvia Regina Vergilio, UFPR
16:30 - 16:50 — FIRMI: Um Injetor de Falhas para a Avaliação de Aplicações Distribuídas baseadas em RMI
Juliano Vacaro, Taisy Weber, UFRGS
16:50 - 17:10 — Melhorando a Dependabilidade de Componentes com o uso de Wrappers
Naaliel Mendes, Universidade de Coimbra, Portugal
Regina Moraes, Eliane Martins, UNICAMP
Henrique Madeira, Universidade de Coimbra, Portugal
17:10 - 17:30 — Construção de uma Ferramenta de Injeção de Falhas Simuladas para Avaliação de Sistemas Distribuídos
Ruthiano Munaretti, Marinho Barcellos, UNISINOS
17:30 - 17:45 — Discussões
17:45 - 18:45 — Sala 3
Roteamento Tolerante a Falhas - Chair: Raimundo Macêdo, UFBA
17:45 - 18:05 — Roteamento Dinâmico Tolerante a Falhas Baseado em Avaliação de Fluxo Máximo
Jonatan Schroeder, Elias Duarte Jr., UFPR
18:05 - 18:25 — Uma Estratégia para Rerroteamento Pró-Ativo em Redes Ópticas Utilizando uma Infra-Estrutura de Gerência P2P
Reinaldo Correia, Alexandre Lages, Luci Pirmez, UFRJ
Lisandro Zambenedetti Granville, UFRGS
Elias Duarte Jr., UFPR
Rossana Andrade, José Neuman de Souza, UFC
18:25 - 18:35 — Discussões
18:35 - 19:20 — Reunião do Comitê
20:00 — Jantar (a definir)
Segunda-feira, 29 de Maio de 2006
08:00 - 08:40 — Sala3
Artigos Resumo - Chair: Alcides Calsavara, PUCPR
08:00 - 08:10 — Uma Generalização dos Critérios de Conectividade #C(v) e MCC(v)
Jonatan Schroeder, UFPR
Jaime Cohen, UEPG
Elias Duarte Jr., UFPR
08:10 - 08:20 — Em Direção a um Serviço de Replicação Transparente para Aplicações Web na Arquitetura J2EE
André Zampieri, Luciano Cassol, UCS
08:20 - 08:30 — Extensão Orientada a Aspectos para Interações Multi-participantes Confiáveis
Luciano Cassol, UCS
Avelino Zorzo, PUCRS
André Zampieri, UCS
08:30 - 08:40 — Discussões
08:40 - 09:55 — Sala 3
Testes de Software - Chair: Eliane Martins
08:40 - 09:00 — Applying Mutation Testing in Prolog Programs
Juliano Toaldo, Silvia Vergilio, UFPR
09:00 - 09:20 — Adaptando Verificadores de Modelos para a Geração Automática de Objetivos de Teste para Sistemas Reativos
Daniel Silva, Patricia Machado, UFCG
09:20 - 09:40 — Emulando o Comportamento de TCP/IP em um Ambiente com Falhas para Teste de Aplicações de Rede
Júlio Gerchman, Taisy Weber, UFRGS
09:40 - 09:55 — Discussões
09:55 - 10:30 — Coffee-break
10:30 - 11:45 — Sala 3
Avaliação de Sistemas - Chair: Taisy Silva Weber
10:30 - 10:50 — Avaliando o Impacto de Detectores de Defeitos na Estabilidade de Sistemas de Controle de Tempo-Real sobre Redes Convencionais
Alirio Sá, Raimundo José de Araújo Macêdo, UFBA
10:50 - 11:10 — Analisando o Custo do Armazenamento Tolerante a Faltas Bizantinas: Paxos X Sistemas de Quóruns
Alysson Bessani, Wagner Dantas, Eduardo Alchieri, Joni da Silva Fraga, UFSC
11:10 - 11:30 — Evaluating the Impact of Faults on Broadcasting Protocols for MANETs
Talmai Oliveira, Fabíola Greve, Leizer Schnitman, Victor Costa, UFBA
11:30 - 11:45 — Discussões
11:45 - 12:30 — Sala 3
Cluster e Redes Ah-hoc - Chair: Francisco Brasileiro, UFCG
11:45 - 12:05 — Modeling Service Availability in Web Clusters Architectures
Magnos Martinello, LAAS-CNRS, France.
12:05 - 12:25 — Localização Tolerante a Falhas de Usuários Móveis em Ambientes Fechados
Alessandro Copetti, Julius Leite, Orlando Loques, UFF
12:25 - 12:35 — Discussões
Intervalo para Almoço
14:00 - 15:15 — Sala 3
Grades Computacionais - Chair: Fabiola Greve
14:00 - 14:20 — Implementing a Distributed Execution Service for a Grid Broker
Flavio de Figueiredo, Francisco Brasileiro, Andrey Brito, UFCG
14:20 - 14:40 — Implementação de um Mecanismo de Recuperação por Retorno para o Ambiente de Computação OurGrid
Hélio Silva, Tórgan Siqueira, Leonardo Dalpiaz, Ingrid Jansch-Pôrto, Taisy Weber, UFRGS
14:40 - 15:00 — Escalonamento Tolerante a Sabotagem em Grades Computacionais Entre-Pares
Ana Cristina Oliveira, Francisco Brasileiro, UFCG
15:00 - 15:15 — Discussões
15:15 - 16:00 — Palestra: Tolerância a Faltas Bizantinas: Desafios e Resultados Recentes
Alysson Neves Bessani, Doutorando, UFSC
16:00 - 16:30 — Coffee-break
16:30 - 17:45 — Sala 3
Injeção de Falhas - Chair: Silvia Regina Vergilio, UFPR
16:30 - 16:50 — FIRMI: Um Injetor de Falhas para a Avaliação de Aplicações Distribuídas baseadas em RMI
Juliano Vacaro, Taisy Weber, UFRGS
16:50 - 17:10 — Melhorando a Dependabilidade de Componentes com o uso de Wrappers
Naaliel Mendes, Universidade de Coimbra, Portugal
Regina Moraes, Eliane Martins, UNICAMP
Henrique Madeira, Universidade de Coimbra, Portugal
17:10 - 17:30 — Construção de uma Ferramenta de Injeção de Falhas Simuladas para Avaliação de Sistemas Distribuídos
Ruthiano Munaretti, Marinho Barcellos, UNISINOS
17:30 - 17:45 — Discussões
17:45 - 18:45 — Sala 3
Roteamento Tolerante a Falhas - Chair: Raimundo Macêdo, UFBA
17:45 - 18:05 — Roteamento Dinâmico Tolerante a Falhas Baseado em Avaliação de Fluxo Máximo
Jonatan Schroeder, Elias Duarte Jr., UFPR
18:05 - 18:25 — Uma Estratégia para Rerroteamento Pró-Ativo em Redes Ópticas Utilizando uma Infra-Estrutura de Gerência P2P
Reinaldo Correia, Alexandre Lages, Luci Pirmez, UFRJ
Lisandro Zambenedetti Granville, UFRGS
Elias Duarte Jr., UFPR
Rossana Andrade, José Neuman de Souza, UFC
18:25 - 18:35 — Discussões
18:35 - 19:20 — Reunião do Comitê
20:00 — Jantar (a definir)
|
||||||||
|
||||||||
|
||||||||
