Dissertação

{pt_PT=Policy-Based Adaptation of Byzantine Fault Tolerant Systems} {} EVALUATED

{pt=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., en=Malicious attacks, hardware failures or even operator mistakes may cause a system to behave in an arbitrary, and hard to predict manner. \textit{Byzantine fault tolerance} (BFT) encompasses a number of techniques to make a system robust in face of arbitrary faults. Several BFT algorithms have been proposed in the literature, each optimized for different operational conditions. For that reason, adaptive systems able to adapt BFT systems to the current operational conditions have been proposed but unfortunately all lack expressive mechanisms to specify adaptation policies. Other systems provide expressive mechanisms to specify those policies but lack important abstractions for BFT systems' adaptation. Considering this context, in this thesis we present an adaptation policy specification language that targets Byzantine fault tolerant systems. In addition, we present a robust engine that, given a policy written in the proposed language, is able to decide the best adaptations to guide a managed system in a path of accordance with its business goals.}
{pt=Tolerância a Faltas Bizantinas, Sistemas Adaptativos, Adaptação Dinâmica, Políticas de Adaptação, en=Byzantine Fault Tolerance, Adaptive Systems, Dynamic Adaptation, Adaptation Policies}

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