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

Os indicadores de segurança aérea têm vindo a melhorar sistematicamente desde 1945, de tal forma que a probabilidade de um indivíduo ser atingido por um relâmpago é significativamente maior do que a probabilidade de ser vítima de um acidente de avião. Um indicador de segurança tão impressionante para um sistema tão complexo quanto o de uma aeronave nunca poderia ser alcançado sem o esforço de implementação de testes de Verificação e Validação (V&V), destinados a garantir que tudo funciona de forma adequada.

As atividades de V&V em projetos aeroespaciais são geridas por um ecossistema rigoroso e abrangente de padrões da indústria que incluem DO178B/C, DO-254, ARP-4754A, ARP-4761 e muitos outros. O desafio que se coloca a esta indústria é o de continuar a melhorar os indicadores de segurança de sistemas, cada vez mais complexos, e fazê-lo sem colocar em risco a competitividade do sector. Para enfrentar este desafio, a indústria deve confiar em organizações que incorporam uma cultura de segurança positiva e que são qualificadas para realizar atividades de V&V, de forma completa e eficiente. Estes desafios aumentam de dificuldade se tivermos em conta a constante evolução das normas de regulamentação.

Na Critical Software, a segurança está no âmago da nossa cultura e é a nossa razão de existir. As nossas atividades de V&V no sector aeroespacial são realizadas por uma equipa de engenharia dedicada e com sólidos conhecimentos adquiridos através de muitos projetos DAL-A e DAL-B. As nossas equipas têm provas dadas no cumprimento de prazos apertados, enquanto executam integralmente todas as atividades de V&V e entregam a respetiva prova formal.

Oferecemos aos nossos clientes uma abordagem única de quatro fases para dar resposta aos seus requisitos específicos de V&V:

• V&V Setup & Go: suporte à criação de um ambiente V&V eficaz e capacitação no uso de ferramentas e recursos chave;
• V&V Analyser: suporte à identificação de lacunas existentes nos projectos de acordo com os standards relevantes da respetiva indústria;
• V&V Accelerator: equipa de resposta rápida para superação de picos de trabalho em projetos ou em cenários desafiantes ou não planeados de V&V;
• V&V Plus: um serviço abrangente e feito à medida para suportar o espectro completo de atividades de V&V.

Os nossos serviços de V&V para o sector aeronáutico incluem:

• Verificação de Requisitos e Design de Software: incluindo requisitos de alto nível (HLR), requisitos de baixo nível (LLR), design de software e precisão de algoritmos - abrangendo os objetivos da norma DO-178B / C nas tabelas A-3 e A-4.
• Verificação do código-fonte: inclui uma revisão exaustiva do código para assegurar a correção e rastreabilidade em relação aos LLRs, bem como a correção dos parâmetros de configuração do SW, caso estes existam. Este tópico abrange, mas não se limita aos objetivos da DO-178B/C na tabela A-5.
• Teste de Integração de SW (SI) e de Integração HW/SW (HSI): incluindo testes unitários, de integração de software e de integração de HW/SW. Favorecemos testes SI e HSI em desfavor de testes unitários. Sempre que a MPSVF é usada para testes formais, fornecemos também o respetivo pacote de qualificação da ferramenta para DO-178B/C ou DO-330. Este tópico abrange, mas não se limita aos objetivos da norma DO-178B/C nas tabelas A6 e A-7. O MPSVF pode ser usado para cumprir objetivos além da DO-178B/C.
• Verificação e Testes de ASIC/FPGA: incluindo verificação de requisitos e de documentação de design, revisão de código-fonte HDL (Verilog, VHDL) e teste da implementação em simulador – abrangendo os objetivos de verificação da DO-254 / ED-80, aplicáveis às CPLD, FPGA e ASIC complexas, incluindo as disposições do memorando de certificação da EASA, EASA-CM-SWCEH-001.