O IV Workshop de Testes e Tolerância a Falhas (WTF 2003) foi realizado em 19 de maio de 2003 na cidade de Natal/RN, em conjunto com o XXI Simpósio Brasileiro de Redes de Computadores (SBRC 2003).
A coordenação foi dos Profs. Francisco Vilar Brasileiro e Walfredo Cirne (UFCG).
Nesta edição, os anais incluem 8 artigos completos (arquivo completo).
ST01 – Algoritmos
Difusão Atômica com Suporte à Perda de Mensagens
Fabíola G. P. Greve (UFBA)
Guaranteeing Fault Tolerance through Scheduling on a CAN Bus
M. P. Oliveira, A. O. Fernandes, S. V. A. Campos A. L. A. P. Zuquim (UFMG)
ST02 – Verificação Formal
Verificação Formal de Protocolos TDMA quanto a Características de Tempo Real e Tolerância a Falhas
Alberto R. Beckler, Sérgio V. A. Campos (UFMG)
Proposta de uma Abordagem para a Verificação Formal de Sistemas Distribuídos Baseados em Objetos
Osmar M. dos Santos, Fernando L. Dotti (PUCRS)
ST03 – Arquiteturas
The MARES Platform: Support for Transactional and Fault-tolerant Execution of Mobile Agent-based Applications
Flávio M. A. Silva, Raimundo J. A. Macêdo, Ana V. P. Freitas (UFBA)
Uma Arquitetura Altamente Disponível Aplicada a Sistemas de Controle Embutidos de Tempo Real
Cesar Ida, Taisy Weber (UFRGS)
ST04 – Middleware
Tolerância a Faltas Adaptativa em um Modelo de Componentes
Fábio Favarim, Joni Fraga, Frank Siqueira (UFSC)
Uma Implementação Tolerante a Faltas e Transparente da Plataforma J2EE
André A. Costa, Francisco V. Brasileiro (UFCG)