Aplicação de metodologias de teste baseado em modelos na verificação e validação de mecanismos de FDIR de sistemas de controle de atitude e órbita

• Autor(a) principal: André Corsetti
• Data de Publicação: 2014
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações do INPE
• Texto Completo: http://urlib.net/sid.inpe.br/mtc-m21b/2014/05.15.18.05

Sistemas de controle de atitude e órbita são sistemas complexos e críticos para realização da missão de satélites, contendo a parte central de sua lógica implementada em software. Cabe ao software lidar com questões de falhas de todos os equipamentos envolvidos no sistema de controle, o qual consiste de sensores, atuadores e computador de bordo, e do próprio software. A capacidade de se recuperar de falhas influencia fortemente a vida operacional do satélite com possibilidades desde morte pré matura até extensão da sua vida útil. Os mecanismos de detecção, isolamento e recuperação de falhas (FDIR) são responsáveis por detectar e tratar as possíveis falhas, e a verificação e validação destes mecanismos se posta como um grande desafio visto a complexidade do software, a dimensão do sistema, e dos esforços da atividade, além da qualidade exigida do sistema de software crítico. Metodologias de teste baseado em modelos visam padronizar os processos de teste, normatizando-os tanto em termos de qualidade dos testes quanto em termos de esforços requeridos nas atividades de teste. Duas metodologias de teste baseado em modelos, denominadas CoFI e InRob, desenvolvidas no domínio de sistemas espaciais, são estudadas e avaliadas no escopo desse trabalho quanto a suas aplicabilidades em sistemas de controle de atitude e órbita de satélites. O trabalho utilizou-se de uma análise teórica das metodologias frente a exigências de teste da área espacial, e de um experimento prático, no qual as metodologias foram aplicadas em um protótipo de sistema de controle de atitude e órbita. Para este experimento a elicitação de requisitos a serem validados e a implementação do protótipo foram necessárias. A conclusão do estudo aponta forte contribuição das metodologias CoFI e InRob como guia para a construção de modelos comportamentais representativos de um sistema de controle de atitude e órbita, quando mecanismos de FDIR são devidamente considerados nos modelos.