Defesa de Mestrado Pós-graduação em Mecatrônica – Discente : Wellington Lacerda Silva

Sistemas ciberfísicos são sistemas em que componentes físicas e computacionais interagem e estão interrelacionadas em várias escalas de grandeza. Classes de sistemas ciberfísicos,
como sistemas de assistência à saúde, sistemas de transporte, smatrt grids, entre outros, já são utilizados e têm o potencial de trasformar a sociedade com a oferta de novos serviços capazes de superar os grandes desafios urbanos e sociais dos dias atuais. De outro lado, tais bebefícios sócio-técnico-econômicos implicam também em grande potencial de criticidade em relação a falhas e ataques maliciosos a essas novas infraestru​tu​ras, a exemplo de ataques​conhecidos​ de malware como Stuxnet.

Dentre as várias abordagens ao problema de confiabilidade (dependability) para sistemas ciberfísicos, compreender as propriedades de confiabilidade do componente computacional e modelar aspectos de dependabilidade nest​e​ componente é uma abordagem viável.​ ​ Assim, propomos aplicar esta abordagem a uma classe de sistemas ciberfísicos que podem ser modelados como sistemas distribuídos síncronos particionados – como, por exemplo, sistemas ciberfísicos com topogia WAN de LANs, que é comum em sistemas SCADA com plantas distribuídas e em aplicações como smart grids.

Esta dissertação apresenta um estudo e propõe soluções para detectores de defeitos e um algoritmo de consenso com quóruns adaptáveis, em sistemas síncronos particionados, que permitem oferecer resiliência a falhas bizantinas​ou arbitrárias ​e superam o limite convencional de 3f + 1 processos para a falha bizantina de até f processos.