Concepção e validação de arquitetura robusta baseada em soft processors para uso em computadores de bordo de satélites artificiais Documento