Dissertação
Policy-Based Adaptation of Byzantine Fault Tolerant Systems EVALUATED
Ataques maliciosos, falhas de \textit{hardware} ou até mesmo erros de operadores podem fazer com que um sistema se comporte de forma arbitrária e difícil de prever. Tolerância a faltas Bizantinas (BFT) engloba um conjunto de técnicas para tornar um sistema resiliente à presença de faltas arbitrárias. Vários protocolos BFT foram propostos na literatura, cada um otimizado para diferentes condições operacionais. Este facto levou ao desenvolvimento de alguns sistemas BFT adaptativos, capazes de se ajustar às condições atuais. Infelizmente esses sistemas não possuem mecanismos expressivos para especificar políticas de adaptação. Para além disso, sistemas com mecanismos mais expressivos para especificar tais políticas não possuem algumas abstrações fundamentais para a adaptação de sistemas BFT. Neste contexto, apresentamos nesta dissertação uma linguagem para especificação de políticas de adaptação de sistemas tolerantes a faltas Bizantinas. Para além disso, apresentamos um motor robusto que, dado um ficheiro com a política de adaptação escrita na linguagem proposta, é capaz de decidir quais as melhores adaptações por forma a guiar um sistema gerido num caminho em conformidade com os seus objetivos.
outubro 30, 2017, 16:30
Publicação
Obra sujeita a Direitos de Autor
Orientação
ORIENTADOR
Luís Eduardo Teixeira Rodrigues
Departamento de Engenharia Informática (DEI)
Professor Catedrático