Verificação e Validação de Sistemas Críticos

Na verdade, essa hipótese não é inteiramente falsa. Por mais surpreendente que pareça, e ao contrário da prática comum de outras indústrias, as naves espaciais não são totalmente testadas antes de serem lançadas, não existindo testes de voo, exceto no caso de foguetões e de missões muito específicas.

No entanto, há boas razões para a ausência de testes: em primeiro lugar, não é possível testar por completo uma nave espacial antes do seu lançamento, uma vez que dificilmente se consegue replicar na Terra as condições do espaço; em segundo lugar, lançar uma nave espacial apenas para realizar testes é economicamente inviável.

O facto de satélites e naves espaciais não poderem ser totalmente testadas no solo, torna as atividades de V&V ainda mais desafiantes. Com a participação ativa em mais de 15 missões espaciais até à data, estamos cientes desse desafio, possuindo, deste modo, sólidos conhecimentos na combinação de testes com software-in-the-loop (SIL), model-in-the-loop (MIL) e hardware-in-the-loop (HIL), a fim de maximizar, da forma mais eficiente possível, a cobertura de atividades de V&V executadas durante o desenvolvimento da missão.

Embora os testes no espaço não sejam geralmente viáveis, as lições podem e devem ser aprendidas com missões anteriores. Que erros ocorreram no passado? Como foram detetados e superados? Que arquiteturas foram mais e menos eficazes? Que falhas de especificação estavam presentes? A experiência é fundamental para abordar todas essas questões e muito mais.

Os nossos serviços V&V para o sector espacial incluem:

• Verificação e Validação Independente de Software (ISVV): de acordo com a especificações do Guia ISVV da ESA, um documento que ajudámos a criar;
• Validação de Software de Bordo (TS / RB Validation): pode incluir a validação de todo o software de bordo (OBSW), apenas de blocos funcionais específicos, ou completar atividades anteriormente iniciadas, mas não concluídas, por terceiros;
• Suporte a Integração e Teste: suporte à Verificação Funcional (FV) no âmbito das atividades de integração do satélite/nave espacial (AIT), incluindo: teste do software de bordo na integração funcional, teste funcional de equipamentos (por exemplo, Star Tracker) e suporte a testes na fase final de integração, proto-flight model (PFM). Os nossos casos de estudo incluem a missão CryoSat-2 (suporte AIT(PFM), ExoMars TGO (suporte FV, incluindo interface entre equipas FV, AIT e OBSW) e, em menor escala, S2 (interface entre OBSW e AIT);
• Suporte a atividades de V&V para software de bordo: execução de atividades específicas de V&V ao longo do ciclo de vida do OBSW, completando a equipa de projeto do cliente. Este serviço pode ser alocado para responder a um pico de trabalho do projeto, a uma situação de contingência ou contratação simples de uma série de atividades V&V.