Banca de DEFESA: CAIZA ALMEIDA FORTUNATO

Uma banca de DEFESA de MESTRADO foi cadastrada pelo programa.
DISCENTE : CAIZA ALMEIDA FORTUNATO
DATA : 04/05/2023
HORA: 14:00
LOCAL: Webconf/RNP
TÍTULO:

ATAM-4SAS: Um método para avaliar atributos de qualidade em sistemas autoadaptativos

PALAVRAS-CHAVES:

Sistemas Autoadaptativos,  Atributos de Qualidade, Métodos de Avalia-ção de Atributos de Qualidades, MAPE-K, UPPAAL SMC.

PÁGINAS: 136
RESUMO:

Sistemas autoadaptativos podem monitorar a si mesmos e ao seu contexto. Eles podem detectar mudanças e reagir à condições inesperadas com o mínimo de supervisão humana durante a sua execução. Um dos desafios por trás do desenvolvimento de sistemas autoadaptativos é lidar com o processo de tomada de decisão durante a análise dos pontos de \textit{tradeoff} dentre os múltiplos atributos de qualidade (QA). Em Engenharia de Software, um método amplamente aceito de avaliação das metas de QA em projetos de software é o Método de Análise de \textit{Tradeoffs} Arquiteturais, amplamente conhecido como ATAM. Entretanto, apesar de sua importância e ampla aceitação, há poucos relatos de estudos empíricos sobre a análise de \textit{tradeoffs} de QA em sistemas autoadaptativos. Neste sentido, a presente investigação propõe uma versão adaptada do ATAM chamada ATAM-4SAS para lidar com as particularidades de sistemas de software autoadaptativos. Para alcançar o objetivo da pesquisa, empregamos o UPPAAL SMC (modelo de verificação estatística) para analisar um conjunto de QA. Para avaliar a viabilidade do método proposto, realizamos um estudo empírico sobre a execução do ATAM-4SAS em um sistema autoadaptativo desenvolvido conforme o modelo MAPE-K. Este modelo engloba as fases de Monitoramento, Análise, Planejamento e Execução. Tais etapas compartilham uma base de conhecimento (K), fundamental no apoio à tomada de decisões. A avaliação empírica foi complementada com a realização de um grupo focal, que buscou avaliar a facilidade de uso percebida e a utilidade percebida do ATAM-4SAS para apoiar a escolha estratégica de QA em um sistema autoadaptativo. Como resultado, obervamos que maioria dos participantes concordou que o ATAM-4SAS provê o devido suporte para a escolha estratégica dos QA em sistemas autoadaptativos. 

MEMBROS DA BANCA:
Presidente - 4769482 - IVAN DO CARMO MACHADO
Externa à Instituição - LUCIANA LOURDES SILVA - IFMG
Externa à Instituição - CARLA ILANE MOREIRA BEZERRA - UFC