Verificação e Validação

O desenvolvimento de sistemas críticos está sujeito a extensas e rigorosas atividades de Verificação e Validação (V&V) impostas por requisitos de certificação da indústria.

Na verdade, as atividades de V&V podem, facilmente, ser responsáveis pela maior fatia de esforço no que respeita ao processo de desenvolvimento de sistemas safety-critical. Em setores dominados pelas mais rigorosas exigências regulatórias, os testes de V&V podem chegar a 70% do esforço total do projeto.


Temos experiência internacional na prestação de serviços de V&V para algumas das entidades mais reconhecidas do mundo e nas indústrias mais exigentes, como o setor aeroespacial, do espaço, da defesa e dos transportes. O nosso amplo conhecimento em sistemas embebidos, bem como nas mais importantes normas de segurança funcional do mundo, permite-nos suportar as organizações durante todo o ciclo de vida de desenvolvimento. Os nossos especialistas de V&V têm o suporte das nossas próprias SVFs, que asseguram, através da automação de testes de software e de hardware, a possibilidade de integração de simuladores, endereçando assim as mais exigentes normas da indústria, incluindo DO-178B/C nível A. Adicionalmente, somos capazes de reexecutar campanhas de teste durante todo o ciclo de desenvolvimento, proporcionando uma verificação eficaz sempre que o sistema em teste sofra alterações.


O nosso amplo conhecimento estende-se a normas como: ARP-4754/4761, 178B/C, DO-254, EN 50126/8/9, IEC 61508, ISO 26262, IEC 62304, Série ECSS, entre outras. Os nossos serviços abrangem uma gama completa de sistemas embebidos, software, FPGA / ASIC / CPLD e equipamentos integrados:

  • Planeamento de atividades de V&V com o intuito de assegurar a conformidade com as normas de segurança e de certificação
  • Análise independente de V&V dos requisitos e design do sistema
  • Verificação formal do código-fonte e testes de integração
  • V&V de modelos de lógica personalizada (ASIC, FPGA e CPLD)
  • Testes de integração de hardware e software, bem como testes em sistemas embebidos integrados
  • Registo das atividades de V&V exigidas para a certificação
  • Teste automatizados com software-in-the-loop (SIL), model-in-the-loop (MIL) e hardware-in-the-loop (HIL)
  • Desenvolvimento e adaptação de equipamentos de teste automatizados para software embebido e sistemas de hardware
  • Equipamentos de teste e serviços para a aceitação de equipamentos e testes de homologação


V&V

Os nossos serviços de V&V são suportados por uma equipa de engenharia avaliada com o Nível 5 de maturidade do Capability Maturity Model Integration (CMMI)®, considerada a classificação mais elevada do modelo CMMI, e uma lista de certificações de qualidade que incluem ainda o ISO 9001:2008, a NATO AQAP 2210 e 2110 e AS 9100.

V&V Setup & Go

Projetado para ajudar os nossos clientes a entender as lacunas existentes nos seus projetos de acordo com os padrões relevantes das indústrias em que estão inseridos.

V&V Analyser

Projetado para ajudar os nossos clientes a entender as lacunas existentes nos seus projetos de acordo com os padrões relevantes da indústria da sua área.

V&V Accelerator

Projetado para fornecer uma equipa de resposta rápida para ajudar os clientes a superar os picos dos projetos e outros cenários de V&V desafiantes ou inesperados.

V&V Plus

Projetado como um serviço abrangente para fornecer aos clientes um conjunto completo de atividades de V&V.

Contacte-nos

Estamos aqui para ajudar.

Se quiser entrar em contacto connosco, preencha o formulário ou envie-nos um email para info@criticalsoftware.com