Número do Painel | |
Autor | |
Instituição | UFSC |
Tipo de Bolsa | PIBIC/CNPq |
Orientador | EDUARDO AUGUSTO BEZERRA |
Depto | DEPARTAMENTO DE ENGENHARIA ELÉTRICA E ELETRÔNICA / EEL/CTC |
Centro | CENTRO TECNOLOGICO |
Laboratório | SpaceLab |
Grande Área / Área do Conhecimento | Ciências Exatas e da Terra
/Engenharias |
Sub-área do Conhecimento | Sistemas Aeroespaciais |
Titulo | Apoio no desenvolvimento do plano de verificação do FloripaSat-2 |
Resumo | Este trabalho tem como objetivo continuar a pesquisa e aprimoramento do plano de verificação da missão FloripaSat-2. O FloripaSat-2 é um satélite de pequeno porte (nanossatélite) que está sendo desenvolvido pela equipe do SpaceLab. Um nanossatélite pode ser separado em subsitemas, cada subsistema com sua função específica, e a grande maioria dos subsistemas pode ser divido em Firmware e Hardware, sendo esses dois intrinsicamente ligados. A área de testes, verificação e validação (V&V) é de extrema importância no desenvolvimento do projeto. Estratégias diferentes podem ser aplicadas para o V&V do Firmware e Hardware. A maior parte desse trabalho foi lidando com V&V de Firmware. Com o objetivo de melhorar a confiabilidade do código escrito, diminuir erros e tempo de desenvolvimento do código, foram aplicadas algumas metodologias como: utilização da metodologia Test-Driven-Development (TDD), desenvolvimento da lógica do código através do framework de testes unitários Cmocka, adesão ao padrão MISRA-C para a escrita do código e utilização da ferramenta CppCheck para o tratamento do código automático na plataforma GitHub. Com essas metodologias aplicadas, o desenvolvimento se provou várias vezes bastante eficaz, devido ao fato de, na ultima etapa, que é o teste em Hardware, o código funcionar como o esperado diversas vezes sem precisar de correções. |
Link do Video | https://repositorio.ufsc.br/handle/123456789/239097 |
Palavras-chave | Verificação, Confiabilidade, Teste, Cubesat, Sistemas Embarcados |
Colaboradores |