Planejamento em Sistemas Auto-Adaptativos: Uma Abordagem Baseada em Verificação de Modelos e MAPE-K

Banca de DEFESA: ARISTOTELES ESTEVES MARCAL DA SILVA

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.

DISCENTE : ARISTOTELES ESTEVES MARCAL DA SILVA

DATA : 12/04/2022

HORA: 09:00

LOCAL: Virtual

TÍTULO:

Planejamento em Sistemas Auto-Adaptativos: Uma Abordagem Baseada em Verificação de Modelos e MAPE-K



PALAVRAS-CHAVES:

sistemas auto-adaptativos, sistemas auto-organizáveis, sistemas auto-cura, planejamento, verificação de modelos, MAPE-K



PÁGINAS: 106

RESUMO:

O projeto e implementação de Self-Adaptive Systems (SAS) eficazes é uma tarefa bastante desafiadora, geralmente por conta da existência de dinâmicas complexas entre os diversos elementos que compõem o sistema e entre estes elementos e o ambiente no qual eles operam. Um ponto crucial, no projeto de SAS, é a execução da atividade de planejamento (planning): definição de quais ações (planos de adaptação) devem ser realizadas para que o sistema se adapte e volte a atender os níveis de qualidade de serviço esperados. Pesquisas recentes têm investigado o uso de técnicas de verificação formal para viabilizar a geração de planos de adaptação confiáveis. Através da técnica de verificação de modelos (model checking) e do modelo de referência MAPE-K desenvolvemos o projeto, implementação e validação de uma arquitetura que define estruturas e comportamentos auto-adaptativos utilizando modelos formais, para a especificação planejadores que gerem planos de adaptação de forma autônoma, considerando propriedades auto-adaptativas tais como self-organizing e self-healing. Para a avaliação da arquitetura foi realizada através de um estudo de caso relacionado ao problema de controle de semáforos, com a criação de um planejador, em que os planos de adaptação foram gerados, de forma off-line, com o verificador de modelos UPPAAL e executados em run-time através de uma implementação própria deste trabalho. Alguns cenários da aplicação foram simulados, com uso da ferramenta SUMO, para avaliar a eficácia das soluções encontradas. O planejador criado gerou planos de adaptação eficientes, de forma autônoma, em cenários onde o número de possíveis planos de adaptação foi ordem de 2¹². Os resultados indicam que as soluções adotadas com nosso planejador foram mais efetivas em relação a soluções sem nenhuma abordagem de auto-adaptação, quando o fluxo de veículos se aproximou do colapso.



MEMBROS DA BANCA:

Externa à Instituição - MARIA VIVIANE MENEZES

Externo à Instituição - ADOLFO ALMEIDA DURAN

Externa à Instituição - ALINE MARIA SANTOS ANDRADE

Externo ao Programa - 3444822 - ALIRIO SANTOS DE SA

Externo à Instituição - SANDRO SANTOS ANDRADE - IFBA

Data da Defesa: 
12/04/2022 - 09:00
Tipo de Defesa: 
Defesa de Mestrado