II WTF - Workshop de Testes e Tolerância a Falhas |
|
|
9:00 Abertura Oficial 9:30 Palestra Convidada Analisando Sistemas Reais Usando Vericação Formal S.V.A. Campos UFMG 10:15 COFFEE BREAK 10:30 Sessão 1: Sistemas Distribuídos Tolerantes a Falhas 10:30 Reliability Requirements for Mobile Agent Systems F.M.A.Silva e R.J.A.Macedo - UFBA 11:00 Detecção de Falha para Redes de Larga Escala No Fault-Tolerant CORBA L.C.Lung e J.S.Fraga - UFSC 11:30 Using Common Knoledge to Improve Fixed-Dependency-After-Send I.C.Garcia e L.E.Buzato - UNICAMP 12:00 ALMOÇO 13:30 Sessão 2: Replicação e Software Tolerante a Falhas 13:30 Tratamento de Exceções no Desenvolvimento de Software Confiável Baseado em Componentes G.R.M.Ferreira e C.M.F.Rubira - UNICAMP 14:00 RPM: Um Sistema para Posicionar Réplicas A.Zampieri, T.S.Weber e M.Pasin - UFRGS 14:30 A Meta-Leve Software Architecture based on Patterns for Developing Dependable Collaboration- based Designs D.M.Beder e C.M.F.Rubira - UNICAMP 15:00 Adicionando Replicação Utilizando Componentes de Software e um Ambiente Interativo J.C.Filho, S.C.Bertagnolli e M.L.B.Lisboa - UFRGS 15:30 - COFFEE BREAK 15:45 Sessão 3: Teste & Validação de Software 15:45 Estratégia para Teste de Máquinas Finitas de Estados Estendidas F.R.Uber e E.Martins - UNICAMP 16:15 Resultados de uma Aplicação do Critério Análise de Mutantes e do Critério Todos Potenciais Usos Restritos I.W.Soares e S.R.Vergilio - UFPR 16:45 Definição de Operadores de Mutação para o Teste de Programas Prolog R.S.T.Moura e S.R.Vergilio - UFPR 17:30 Painel BrainStorm: Nomenclatura de Tolerância a Falhas 18:30 Confraternização: Cocktail 9:00 Mini-Curso - Tolerância à Falhas em Corba Lau Cheuk Lung - UFSC 10:30 COFFEE BREAK 10:45 Sessão 4: Detecção de Falhas 10:45 Comunicação Não Confiável em Detectores de Defeitos com Falhas por Crash L.A.B.Estefanel e I.Jansch-Porto - UFRGS 11:15 Avaliação Prática de Detector de Defeitos: teoria versus implementação L.A.B.Estefanel e I.Jansch-Porto - UFRGS 11:45 Failure Detection in Asynchronous Distributed Systems R.J.A.Macedo - UFBA 12:15 ALMOÇO 13:30 Sessão 5: Diagnóstico e Injeção de Falhas 13:30 Diagnóstico em Redes de Topologia Arbitrária: Um Algoritmo Baseado em Inundação de Mensagens E.P. Duarte Jr - UFPR 14:00 O Agente Chinês para Diagnóstico de Redes de Topologia Arbitrária E.P. Duarte Jr e J.M.A.P.Cestari - UFPR 14:30 Experiência com a Implementação de um Injetor de Falhas em Linux F.O.Leite - Conectiva/Curitiba e T.S.Weber - UFRGS 15:00 Um Sistema de Padrões para Injeção de Falhas por Software N.G.M.Leme, E.Martins e C.M.F.Rubira - UNICAMP 15:30 - COFFEE BREAK 15:45 Sessão 6: Reflexão Computacional 15:45 Uma Abordagem Reflexiva para Replicação de Componentes Servidores da Plataforma Java para Comparações C.V.P.B.Souza e C.A.Maziero - PUC/PR 16:15 Utilização de Reflexão Computacional em Tempo de Compilação para Implementação de Ferramentas de Injeção de Falhas M.MB.Leske e E.Martins - UNICAMP 16:45 A Language Construct for DMIs A.F.Zorzo - PUC/RS 17:30 Reunião do Comitê da SBC de Tolerância a Falhas Encerramento do Workshop Evento Social por Adesão ![]() Dúvidas: |
Criação: Andreas Kiefer - Informática UFPR
Sugestões: andreas@inf.ufpr.br