Banca de DEFESA: MARIA CLARA ADERNE DOS SANTOS

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
STUDENT : MARIA CLARA ADERNE DOS SANTOS
DATE: 16/12/2021
TIME: 14:00
LOCAL: Sala virtual - https://conferenciaweb.rnp.br/webconf/centro-de-apoio-administrativo-a-pos-graduacao-
TITLE:

A membership algorithm for the Partitioned Synchronous Distributed Systems Model (SPA)

KEY WORDS:

membership algorithm, hibrid model, automation distributed systems, group communication, SPA

PAGES: 111
BIG AREA: Ciências Exatas e da Terra
AREA: Ciência da Computação
SUBÁREA: Sistemas de Computação
SPECIALTY: Arquitetura de Sistemas de Computação
SUMMARY:

With the insertion of the Internet of Things concept in the industrial context, challenges related to distributed 

automation systems have arisen, including with regard to communication, which is the main core of the performance 

of these systems. Possible solution paths for communication can mitigate the obstacles encountered. In computational 

terms, today's distributed automation systems resemble hybrid systems such as the partitioned synchronous 

distributed systems model, SPA. Membership services manage communication groups between processes belonging 

to a system and, together with a multicast service, form a group communication service that is a building block of 

fault-tolerant distributed systems. In this sense, this dissertation introduces a membership algorithm for the SPA 

model capable of managing multiple groups of processes and which has in its structure defect detection services 

based on a perfect defect detector P; and consensus available for the SPA. The formally proven properties of the 

algorithm were presented, as well as the elements of its simulation and evaluation, developed in a framework for 

simulation and evaluation of distributed systems, HDDSS.

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