Abertura
📆 23/05/2025 (Friday)
🕑 08:30-08:45
📍 Sala Ponta Negra
Sessão 1 – Tolerância a Falhas
📆 23/05/2025 (Friday)
🕑 08:45-10:00
📍 Sala Ponta Negra
👤 Coordenador da sessão: Edson Tavares de Camargo (UTFPR)
HyperViewStamped Replication: Uma Estratégia para Replicação Distribuída Hierárchica 
Gabriela Stein (UFPR), Luiz Antonio Rodrigues, (UNIOESTE), 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), Luis Carlos Erpen De Bona (UFPR)
Synchronous Partitioning and its Effects on Fault Tolerance
Raimundo José de Araujo Macêdo (UFBA)
Palestra
📆 23/05/2025 (Friday)
🕑 10:30-11:30
📍 Sala Ponta Negra
Entre o Síncrono e o Assíncrono: Uma Abordagem Híbrida para Sistemas Ciberfísicos Distribuído
Raimundo José de Araujo Macêdo, UFBA
Resumo: Os sistemas ciberfísicos distribuídos (CPS) consistem em componentes distribuídos espacialmente — como sensores, atuadores e processadores — que interagem com o mundo físico e são coordenados por meio de redes de comunicação. Uma configuração típica desses sistemas em larga escala inclui a presença de subsistemas locais, caracterizados pelo uso de computação de borda (edge computing), com processamento próximo à fonte dos dados (sensor/atuador), o que reduz a latência e a dependência de servidores remotos. A integração entre esses sistemas locais é frequentemente realizada por meio de conexões com a nuvem. Dada a heterogeneidade desses sistemas, que envolvem diferentes tecnologias e conexões — muitas vezes sobre a Internet — a construção de algoritmos tolerantes a falhas, como o consenso distribuído, não pode se basear nos pressupostos tradicionais dos modelos síncronos. Por outro lado, o uso de modelos assíncronos, com hipóteses mais conservadoras e sem garantias de tempo, impõe limitações ao que pode ser computado de forma determinística, o que é inadequado para aplicações de controle. Esta palestra apresentará uma abordagem alternativa de modelagem, que permite aumentar a resiliência das soluções — isto é, o número máximo de falhas que podem ser toleradas — sem comprometer o caráter determinístico dos algoritmos, essencial em muitas aplicações ciberfísicas.
Biography: Professor Titular da UFBA (DCI/IC), Coordenador do Laboratório de Sistemas Distribuídos (LaSiD). Propôs a noção de blocos causais para representar a ordem de mensagens em grupos de processos e desenvolveu o protocolo Newtop para grupos particionáveis e sobrepostos. Introduziu grupos móveis com sincronia virtual. Tratou aspectos inovadores de consenso distribuído: sistemas móveis, estrutura de consenso e padrões adaptativos de mensagens. Introduziu detecção adaptativa de falhas por meio de redes neurais e SNMP. Propôs o modelo síncrono-particionado e soluções de problemas nesse modelo, como detecção de falhas, exclusão mútua e falhas bizantinas.Protocolos de sistemas distribuídos autogerenciáveis inspirados na teoria de controle realimentado, onde os objetivos do protocolo podem ser modificados e controlados em tempo de execução, foram uma contribuição inovadora.
Sessão 2 – Avaliação e Requisitos de Sistemas Distribuídos
📆 23/05/2025 (Friday)
🕑 14:10-15:50
📍 Sala Ponta Negra
👤 Coordenador da sessão: Odorico M. Mendizabal (UFSC)
Maintaining Requirements and Test Cases Traceability in an Agile Environment
Lucas Donizetti Vieira (UNICAMP), Regina Lúcia de Oliveira Moraes (UNICAMP)
Avaliação da Robustez do Open vSwitch: Módulo do Kernel Linux
José Flauzino (UFPR), Marco Vieira (University of North Carolina at Charlotte, EUA), 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 Batista Diniz da Silva (UFRN), Ivanovitch Medeiros D. da Silva (UFRN)
Avaliação da Disponibilidade do Serviço Nextcloud Hospedado em Nuvem Privada
Wenderson Leonardo (UFRPE), Gustavo Rau de Almeida Callou (UFPE)
Sessão 3 – Algoritmos e Especificações Formais
📆 23/05/2025 (Friday)
🕑 16:30-17:45
📍 Sala Ponta Negra
👤 Allan Edgard Silva Freitas (IFBA)
Um Algoritmo para Fast-ReRoute Utilizando Avaliação de Fluxo Máximo e Backtracking
Leon Okida (UFPR), Elias P. Duarte Jr. (UFPR)
Reusable TLA+ Communication Primitives for Modeling and Verifying Distributed Systems
Diogo Canut F. Peixoto (UFSC), Odorico M. Mendizabal (UFSC)
Um Arcabouço em TLA+ para Especificação e Verificação de Algoritmos Distribuídos usando o Modelo Heard-Of
Yuri Pazin (PUCRS), Fernando Luís Dotti (PUCRS)
Encerramento e Premiação
📆 23/05/2025 (Friday)
🕑 17:45-18:00
📍 Sala Ponta Negra
