Banca de DEFESA: MARIA CLARA ADERNE DOS SANTOS

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : MARIA CLARA ADERNE DOS SANTOS
DATA : 16/12/2021
HORA: 14:00
LOCAL: Sala virtual - https://conferenciaweb.rnp.br/webconf/centro-de-apoio-administrativo-a-pos-graduacao-
TÍTULO:

UM ALGORITMO DE MEMBERSHIP PARA O MODELO SÍNCRONO PARTICIONADO (SPA) DE SISTEMAS DISTRIBUÍDOS

PALAVRAS-CHAVES:

Algoritmo de membership, modelo híbrido, sistemas distribuídos de automação, comunicação em grupo, SPA.

PÁGINAS: 111
RESUMO:

Com a inserção do conceito de Internet das Coisas no contexto industrial, desafios relacionados aos sistemas distribuídos de automação surgiram, inclusive no que diz respeito à comunicação, que é núcleo principal da atuação desses sistemas. Caminhos de possíveis soluções para comunicação podem mitigar os obstáculos encontrados. Em termos computacionais, sistemas distribuídos de automação atuais se assemelham a sistemas híbridos como o modelo de sistemas distribuídos síncrono particionado, SPA. Serviços de membership gerenciam grupos de comunicação entre processos pertencentes a um sistema e, juntamente com um serviço de multicast, forma um serviço de comunicação em grupo que é um bloco de construção de sistemas distribuídos tolerantes a falhas. Neste sentido, foi introduzido nesta dissertação um algoritmo de membership para o modelo SPA capaz de gerenciar múltiplos grupos de processos e que conta em sua estrutura com serviços de detecção de defeitos baseado em um detector de defeitos perfeito P; e de consenso disponíveis para o SPA. Foram apresentadas as propriedades do algoritmo provadas formalmente, bem como, os elementos de sua simulação e avaliação, desenvolvidos em um framework de simulação e avaliação de sistemas distribuídos, HDDSS.

MEMBROS DA BANCA:
Presidente - 1214108 - SERGIO GORENDER
Interno - 3444822 - ALIRIO SANTOS DE SA
Externo à Instituição - SANDRO SANTOS ANDRADE - IFBA