II WTF (2000)

O II Workshop de Testes e Tolerância a Falhas (WTF 2000) foi realizado de 15 a 16 de julho de 2000 na cidade de Curitiba-PR

A coordenação foi do Prof. Elias P. Duarte Jr. (UFPR).

Nesta edição, os anais incluem 20 artigos completos (arquivo completo).

Palestra Convidada

Analisando Sistemas Reais Usando Vericação Formal
S.V.A. Campos (UFMG)

ST01 – Sistemas Distribuídos Tolerantes a Falhas

Reliability Requirements for Mobile Agent Systems
F.M.A.Silva e R.J.A.Macedo – UFBA

Detecção de Falha para Redes de Larga Escala No Fault-Tolerant CORBA
L.C.Lung e J.S.Fraga – UFSC

Using Common Knoledge to Improve Fixed-Dependency-After-Send
I.C.Garcia e L.E.Buzato – UNICAMP

ST02 – Replicação e Software Tolerante a Falhas

Tratamento de Exceções no Desenvolvimento de Software Confiável Baseado em Componentes
G.R.M.Ferreira e C.M.F.Rubira – UNICAMP

RPM: Um Sistema para Posicionar Réplicas
A.Zampieri, T.S.Weber e M.Pasin – UFRGS

A Meta-Leve Software Architecture based on Patterns for Developing Dependable Collaboration- based Designs
D.M.Beder e C.M.F.Rubira – UNICAMP

Adicionando Replicação Utilizando Componentes de Software e um Ambiente Interativo
J.C.Filho, S.C.Bertagnolli e M.L.B.Lisboa – UFRGS

ST03 – Teste & Validação de Software

Estratégia para Teste de Máquinas Finitas de Estados Estendidas
F.R.Uber e E.Martins – UNICAMP

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

Definição de Operadores de Mutação para o Teste de Programas Prolog
R.S.T.Moura e S.R.Vergilio – UFPR

ST04 – Detecção de Falhas

Comunicação Não Confiável em Detectores de Defeitos com Falhas por Crash
L.A.B.Estefanel e I.Jansch-Porto – UFRGS

Avaliação Prática de Detector de Defeitos: teoria versus implementação
L.A.B.Estefanel e I.Jansch-Porto – UFRGS

Failure Detection in Asynchronous Distributed Systems
R.J.A.Macedo – UFBA

ST05 – Diagnóstico e Injeção de Falhas

Diagnóstico em Redes de Topologia Arbitrária: Um Algoritmo Baseado em Inundação de Mensagens
E.P. Duarte Jr – UFPR

O Agente Chinês para Diagnóstico de Redes de Topologia Arbitrária
E.P. Duarte Jr e J.M.A.P.Cestari – UFPR

Experiência com a Implementação de um Injetor de Falhas em Linux
F.O.Leite – Conectiva/Curitiba e T.S.Weber – UFRGS

Um Sistema de Padrões para Injeção de Falhas por Software
N.G.M.Leme, E.Martins e C.M.F.Rubira – UNICAMP

ST06 – Reflexão Computacional

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

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

A Language Construct for DMIs
A.F.Zorzo – PUC/RS

Rolar para o topo