Desenvolvimento de metodologia e dispositivos para a validação de sistemas de computação com tolerância a falhas voltados a aplicações espaciais Documento