O XXVI Workshop de Testes e Tolerância a Falhas (WTF 2025) foi realizado de 19 a 23 de maio de 2025, na cidade de Natal/RN, em conjunto com o XLIII Simpósio Brasileiro de Redes de Computadores e Sistemas Distribuídos (SBRC 2025).
A coordenação foi do Professor Paulo Coelho (UFU).
Nesta edição, os anais incluem 10 artigos completos (arquivo completo).
Palestra
Entre o Síncrono e o Assíncrono: Uma Abordagem Híbrida para Sistemas Ciberfísicos Distribuídos
Raimundo José de Araujo Macêdo (UFBA)
ST01 – Tolerância a Falhas
HyperViewStamped Replication: Uma Estratégia para Replicação Distribuída Hierárquica
Gabriela Stein (UNIOESTE / UFPR), Luiz A. Rodrigues (UNIOESTE) e Elias P. Duarte Jr. (UFPR)
Uma investigação sobre tolerância a falhas no servidor de comunicação Synapse
Vinicius Stocker (UTFPR), Edson Tavares de Camargo (UTFPR) e Luis C. E. De Bona (UFPR)
Synchronous Partitioning and its Effects on Fault Tolerance
Raimundo José de Araújo Macêdo (UFBA)
ST02 – Avaliação e Requisitos de Sistemas Distribuídos
Maintaining Requirements and Test Cases Traceability in an Agile Environment
Lucas Vieira (UNICAMP) e Regina Moraes (UNICAMP / UC)
Avaliação da Robustez do Open vSwitch: Módulo do Kernel Linux
José Flauzino (UFPR), Marco Vieira (University of North Carolina at Charlotte) e Elias P. Duarte Jr. (UFPR)
Avaliação da Latência em Sistemas de Monitoramento Veicular Embarcado com Aprendizado de Máquina
Hilton Machado (UFRN), Matheus Andrade (UFRN), Thaís Medeiros (UFRN), Marianne Silva (UFRN / UFAL) e Ivanovitch Silva (UFRN)
Avaliação da Disponibilidade do Serviço Nextcloud Hospedado em Nuvem Privada
Wenderson de Souza Leonardo (UFRPE) e Gustavo Callou (UFRPE)
ST03 – Algoritmos e Especificações Formais
Um Algoritmo para Fast-ReRoute Utilizando Avaliação de Fluxo Máximo e Backtracking
Leon Okida (UFPR) e Elias P. Duarte Jr. (UFPR)
Reusable TLA+ Communication Primitives for Modeling and Verifying Distributed Systems
Diogo Canut Freitas Peixoto (UFSC) e Odorico Machado Mendizabal (UFSC)
Um arcabouço em TLA+ para especificação e verificação de algoritmos distribuídos usando o modelo Heard-Of
Yuri de Souza Pazin (PUCRS) e Fernando Luis Dotti (PUCRS)