Apresentação

A área de pesquisa em testes e tolerância a falhas visa desenvolver teoria e técnicas para a construção de sistemas computacionais confiáveis e de alta disponibilidade. Neste sentido, o Workshop de Testes e Tolerância a Falhas (WTF) tem sido nos últimos 23 anos o principal fórum nacional para discussões e troca de ideias sobre trabalhos teóricos e práticos relacionados a testes e a tolerância a falhas desenvolvidos tanto na academia quanto na indústria.

Nesta edição, além de abordar temas e pesquisas tradicionais na área, o workshop pretende abordar os desafios introduzidos por novas tecnologias e técnicas de desenvolvimento para sistemas, como Blockchain, Internet descentralizada, testes e tolerância a falhas em redes 5G, futuras redes 6G e engenharia de confiabilidade de sites (SRE).

Programação

Todas as sessões técnicas serão compostas pelo apresentação oral dos artigos por um dos autores. As apresentações terão no máximo 15 minutos, sendo disponibilizados 5 minutos para perguntas. A programação conta também com uma palestra acadêmica e um fórum de discussão conduzido pela Comissão Especial de Sistemas Tolerantes a Falhas (CE-TF) da SBC.

Abertura

Data/Horário: Sexta-feira (26/05) – 08:30 às 08:40

Local: Sala B

  • Boas-vindas e início dos trabalhos.

Sessão Técnica 1: Tolerância a Falhas e Intrusões

Data/Horário: Sexta-feira (26/05) – 08:40 às 10:00

Local: Sala B

  • Serviços Virtualizados de Rede Confiáveis: Uma Arquitetura para SFCs Tolerantes a Falhas e Intrusão
    • Giovanni Venâncio (UFPR)
    • Vinícius Fülber Garcia (UFPR)
    • Eduardo Alchieri (UnB)
    • Elias P. Duarte Jr. (UFPR)

  • Checkpointing Techniques in Distributed Systems: A Synopsis of Diverse Strategies Over the Last Decades
    • Henrique Dos Santos Goulart (UFSC)
    • Alvaro J. P. Franco (UFSC)
    • Odorico M. Mendizabal (UFSC)

  • Utilizando o vCube para Detecção de Falhas em Sistemas Assíncronos
    • Gabriela Stein (UNIOESTE)
    • Luiz A. Rodrigues (UNIOESTE)
    • Elias P. Duarte Jr. (UFPR)

  • vCube-CD: Armazenamento Distribuído e Elástico de Dados no vCube com Ajuste Autonômico de Dimensões
    • Jheferson Borges (UFPR)
    • Elias P. Duarte Jr. (UFPR)

Palestra Acadêmica (Mais detalhes abaixo)

Data/Horário: Sexta-feira (26/05) – 10:30 às 11:30

Local: Sala B

  • Título: A Influência da Topologia da Rede e Reputação dos Nós no Consenso em Plataformas Blockchain
    • Diogo Menezes Ferrazani Mattos (UFF)

Sessão Técnica 2: Algoritmos Distribuídos e Blockchain

Data/Horário: Sexta-feira (26/05) – 11:30 às 12:30

Local: Sala B

  • Evolving Paxos for the Non-Malicious Arbitrary Model
    • Enrique dos Santos (UFSCar)
    • Rodrigo Barbieri (UFSCar)
    • Gustavo Maciel Dias Vieira (UFSCar)

  • Daisy Chain Cast – um protocolo para Multicast Atômico
    • Carlos Renan Louzada (PUCRS)
    • Fernando Luís Dotti (PUCRS)

  • Utilização de Grafos de Nilcatenation na Identificação de Transações para Pruning em Blockchains
    • Igor da Silva Bono (UnB)
    • Eduardo Alchieri (UnB)

Sessão Técnica 3: Teste de Desempenho (Benchmarking), Modelagem e Arquiteturas para Alta Disponibilidade

Data/Horário: Sexta-feira (26/05) – 14:00 às 15:30

Local: Sala B

  • Avaliação de Desempenho de Migração ao Vivo de Contêineres com Redes de Petri Estocásticas
    • Leonel Feitosa Correia (UFPI)
    • Paulo Antonio Leal Rego (UFC)
    • Francisco Airton Silva (UFPI)

  • Performance Efficiency Evaluation based on ISO/IEC 25010:2011 applied to a Case Study on Load Balance and Resilient
    • Diego Pereira (IMD/IFRN)
    • Lucas Felipe Vital Bezerra (UFRN)
    • Jacyana Nunes (UFRN)
    • Itamir de Morais Barroca Filho (UFRN)
    • Frederico Lopes (UFRN)

  • Benchmark TPC-C Aplicado em Replicação Máquina de Estados
    • Kayel Serafim (PUCRS)
    • Eduardo Alchieri (UnB)
    • Fernando Luís Dotti (PUCRS)

  • Combinando Abordagens de Balanceamento de Réplicas Proativo e Reativo no HDFS
    • Rhauani W. Fazul (UFSC)
    • Odorico M. Mendizabal (UFSC)
    • Patricia Pitthan Barcelos (UFSM)

Sessão 4: Comissão Especial de Tolerância a Falhas (CE-TF)

Data/Horário: Sexta-feira (26/05) – 16:00 às 17:30

Local: Sala B

  • Discussões e encaminhamentos sobre tolerância a falhas no Brasil

Saiba mais sobre a Palestra

Diogo Menezes Ferrazani Mattos
Professor – Universidade Federal Fluminense
Título: A Influência da Topologia da Rede e Reputação dos Nós no Consenso em Plataformas Blockchain
Abstract

Mecanismos de consenso em plataformas blockchain permitem que pares concordem com o estado global da cadeia sem a necessidade de haver confiança mútua. Em plataformas blockchain públicas, os mecanismos de consenso tendem a ser limitados pela baixa eficiência e alto consumo de energia. As plataformas privadas de blockchain tendem a aplicar mecanismos de consenso determinísticos como uma alternativa mais eficiente ao consenso baseado em provas de comprometimento de recursos. Mecanismos determinísticos toleram dois tipos de falhas, Bizantina e de parada. O consenso tolerante a falhas bizantinas assume suposições restritivas de tempo e número de falhas para garantir a validade, enquanto o término depende da transmissão das mensagens na rede. Os mecanismos de consenso tolerantes a falhas de parada induzem menor sobrecarga e terminação mais rápida do que os mecanismos tolerantes a falhas bizantinas ao custo de não tolerarem comportamentos maliciosos.  Esta palestra apresenta diferentes topologias de sobreposição para avaliar um mecanismo de consenso hipotético baseado na votação em vizinhança com transmissão de mensagem confiável. Os modelos de vizinhança aplicados na rede de sobrecamada permitem relaxar o compromisso entre acordo e terminação. Certos modelos de vizinhança garantem maior número de nós alcançados no momento de atingir o limite de votos para o consenso, com menor custo de troca de mensagens, enquanto proporciona menor tolerância a falhas. Outros modelos tendem a alcançar um menor número de nós em acordo, enquanto aumentam a tolerância a falhas. Por fim, apresenta-se o  mecanismo Blockchain Reputation-Based Consensus (BRBC) no qual um nó deve ter a pontuação de reputação maior que um limite de confiança predeterminado na rede antes de poder inserir um novo bloco na cadeia. Um conjunto de juízes selecionados aleatoriamente monitora o comportamento de cada nó envolvido no consenso e atualiza a pontuação de reputação do nó.  Os resultados mostram que o BRBC é eficiente para expulsar todos os nós que atuam com mais de 50% de ações maliciosas na rede.

Bio

Diogo Menezes Ferrazani Mattos é professor do Departamento de Engenharia de Telecomunicações (TET), na Escola de Engenharia (TCE) da Universidade Federal Fluminense (UFF). Diogo é Doutor em Engenharia Elétrica pela Universidade Federal do Rio de Janeiro (COPPE / UFRJ), 2017. Entre 2015 e 2016, foi bolsista de doutorado sanduíche no Laboratoire d’Informatique de Paris 6 (LIP6), na Sorbonne Université, campus Pierre et Marie Curie, em Paris.  Concluiu o mestrado em Engenharia Elétrica pela COPPE/UFRJ em 2012 e recebeu diploma Magna cum Laude de Engenheiro da Computação e Informação pela Poli/UFRJ em 2011. Em 2017, foi pós-doutorando do Programa de Engenharia Elétrica na Universidade Federal do Rio de Janeiro. Em novembro de 2021 foi Professor Convidado do Laboratoire d’Informatique de Paris 6 (LIP6), na Sorbonne Université, em Paris. Desde 2022, Diogo está como Chefe do  Departamento de Engenharia de Telecomunicações (TET) da UFF. Atualmente, é bolsista de produtividade científica do CNPq (PQ-2) e bolsista do programa Jovem Cientista do Nosso Estado (JCNE) pela FAPERJ. Suas publicações e interesses de pesquisa contemplam as áreas de segurança em redes, redes de nova geração, virtualização, softwarized networks e aprendizado de máquina.

Datas Importantes

  • Submissão de artigos: 13/03/2023 27/03/2023
  • Comunicação de resultados: 10/04/2023
  • Envio da versão final: 15/04/2023

Tópicos de Interesse

Pesquisadores são convidados a submeter trabalhos que abordam pesquisas relacionadas com testes e tolerância a falhas. Autores que possuam trabalhos com resultados preliminares ou trabalhos em andamento também são encorajados a submeter artigos. A lista não exaustiva de tópicos de interesse para o WTF é a seguinte:

  • Algoritmos Distribuídos
  • Arquiteturas para Alta Disponibilidade de Hardware e Software
  • Banco de Dados Distribuídos Tolerantes a Falhas
  • Clusters de Alta Disponibilidade
  • Confiabilidade de Grades e Nuvens Computacionais
  • Confiabilidade, segurança e testes em Virtualização
  • Sistemas adaptativos e autonômicos
  • Confiabilidade em Computação Móvel e Embarcada
  • Ferramentas e Automação de Testes
  • Técnicas de Tolerância a falhas em Linguagens de Programação
  • Métodos Analíticos para Determinação de Confiabilidade
  • Robustez de Middleware, Serviços Web e Arquiteturas de Microsserviços
  • Comunicação em Grupo, Multicast e Roteamento
  • Confiabilidade de Redes P2P, Móveis e Ad Hoc
  • Detecção e Recuperação de falhas
  • Segurança Crítica (Safety)
  • Técnicas de Tolerância a falhas para Sistemas Operacionais
  • Sistemas de Tempo Real
  • Técnicas/Geração de Dados de Teste
  • Tolerância a Intrusões
  • Tolerância a Falhas
  • Validação Experimental e Simulação
  • Testes de Desempenho (benchmarking)
  • Blockchain, Registros Distribuídos (DLT) e Internet Descentralizada
  • Confiabilidade em Sistemas Ciber-físicos (CPS) e Ciber-humanos (CHS)
  • Testes e tolerância a falhas em Internet das Coisas, Cidades Inteligentes, Indústria 4.0 e Agricultura Inteligente
  • Confiabilidade em sistemas de aprendizado de máquina e inteligência artificial
  • Modelagem para Tolerância a Falhas
  • Tolerância a falhas em computação em nuvem, computação de borda e sistemas embarcados
  • Testes e Técnicas de Confiabilidade em Redes 5G e B5G (Beyond 5G)
  • Engenharia de Confiabilidade de Sites (SRE)

Instruções aos Autores

Os artigos regulares devem ser escritos em português ou inglês, com no máximo 14 páginas, incluindo resumo, figuras e referências. Autores podem submeter resumos estendidos, com resultados de pesquisas preliminares, novas diretrizes, visões críticas ou lições apreendidas, contendo no máximo 5 páginas. Todos os artigos aceitos e revisados, segundo as recomendações do Comitê de Programa do WTF, serão publicados nos Anais do SBRC, no volume de workshops.

O formato dos trabalhos deve ser aquele indicado para artigos pela Sociedade Brasileira de Computação (SBC), cujo modelo está disponível na biblioteca da SBC. Evitar figuras em formato bitmap ou muito pequenas. A submissão de artigos será exclusivamente eletrônica, por meio do Sistema JEMS3. O arquivo deve estar obrigatoriamente em formato PDF (Portable Document Format). Os anais do Workshop serão publicados na Plataforma SBC OpenLib (SOL), a biblioteca digital mantida pela Sociedade Brasileira de Computação (SBC) e estarão disponíveis gratuitamente para toda a sociedade.

Comitê de Programa

  • Aldelir Fernando Luiz (IFC)
  • André Luiz de Oliveira (UFJF)
  • Edson Tavares de Camargo (UTFPR)
  • Eduardo Alchieri (UnB)
  • Eduardo Antonio Guimaraes Tavares (UFPE)
  • Eliane Martins (UNICAMP)
  • Elias P. Duarte Jr. (UFPR)
  • Ermeson Andrade (UFRPE)
  • Fabíola Gonçalves Pereira Greve (UFBA)
  • Guilherme P. Koslovski (UDESC)
  • Gustavo Rau de Almeida Callou (UFRPE)
  • Hylson Vescovi Netto (IFC)
  • Luciana Arantes (Sorbonne Université)
  • Luiz A. Rodrigues (UNIOESTE)
  • Marco Vieira (University of Coimbra)
  • Odorico M. Mendizabal (UFSC)
  • Patricia Pitthan Barcelos (UFSM)
  • Paulo Coelho (UFU)
  • Rafael R. Obelheiro (UDESC)
  • Regina Lúcia de Oliveira Moraes (UNICAMP)
  • Rogério Turchetti (UFSM)
  • Sérgio Cechin (UFRGS)
  • Sérgio Gorender (UFBA)
  • Thaís Bardini Idalino (UFSC)
  • Vinicius Fulber-Garcia (UFPR)

Coordenação