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
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 consist...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | Portuguese |
| Published: |
Instituto Nacional de Pesquisas Espaciais (INPE)
2014
|
| Online Access: | http://urlib.net/sid.inpe.br/mtc-m21b/2014/05.15.18.05 |