Tesis
An architecture to support control theoretical-based verification of goal-oriented adaptation engines
Fecha
2020-06-05Registro en:
CALDAS, Ricardo Diniz. An architecture to support control theoretical-based verification of goal-oriented adaptation engines. 2019. xi, 62 f., il. Dissertação (Mestrado em Informática)—Universidade de Brasília, Brasília, 2019.
Autor
Caldas, Ricardo Diniz
Institución
Resumen
Sistemas de software de longa vida devem evoluir e ser mantidos para lidar com as necessidades flexíveis das partes interessadas, mudanças no ambiente e o comportamento incerto dos componentes internos. Diversas abordagens na Engenharia de Software propõem aplicações de uso intensivo de software com recursos de autogerenciamento para superar as barreiras ao sucesso de sistemas intrinsecamente dinâmicos e complexos, com nen- huma ou pequena intervenção humana. No entanto, a natureza da adaptação autonômica não é trivial, pois a combinação de todas as condições operacionais possíveis levaria a incalculáveis soluções baseadas em pesquisa para atingir o objetivo do sistema. O pro- cesso de projeto de software orientado a objetivos defende que colocar os objetivos do sistema como prioridade restringe as possibilidades de adaptação e fornece uma estru- tura direta que garante o comportamento confiável do sistema, orientando atividades de desenvolvimento, manutenção e evolução propensas a erros. O presente trabalho propõe uma contribuição para o processo de projeto orientado a objetivos de para sistemas auto- adaptativos, por meio do fornecimento de uma arquitetura para verificação de sistemas auto-adaptativos, que mapeia modelos de objetivos para o código executável do Robot Op- erating System (ROS) executável sob a influência das incertezas. A etapa de verificação é baseada na coleta de dados em tempo de execução e na análise de séries temporais, seguindo métricas da Teoria de Controle. Assim, os engenheiros de sistemas de software auto-adaptativos podem contar com evidências quantitativas para avaliar os mecanismos de adaptação com garantias de confiabilidade. A abordagem foi avaliada pela aplicação do processo de verificação em um mecanismo de adaptação orientado a objetivos, que adapta o comportamento de um sistema médico para melhorar a confiabilidade do sistema. Como resultado, a verificação forneceu informações sobre como melhorar o mecanismo em re- lação às suas configurações para combater o ruído sensores, levando a uma solução mais robusta.