A Agência de Projetos de Pesquisa Avançada de Defesa dos EUA (DARPA) concedeu um contrato de $6 milhões à divisão de pesquisa e desenvolvimento FAST Labs da BAE Systems como parte da iniciativa Pipelined Reasoning of Verifiers Enabling Robust Systems (PROVERS).
A iniciativa PROVERS tem como objetivo tornar os métodos formais acessíveis a não especialistas, minimizando qualquer interrupção em seus processos e desempenho atuais.
"As práticas de engenharia de software estão em constante evolução para sistemas dependentes de software, e as técnicas de garantia devem evoluir em conjunto para garantir a correção e a segurança desses sistemas," declarou Daniel Mitchell, gerente técnico da divisão de P&D FAST Labs da BAE Systems. "Com a iniciativa PROVERS, a engenharia de provas está prestes a elevar os níveis de garantia—assegurando que sistemas de software críticos para o Departamento de Defesa permaneçam livres de falhas específicas e vulnerabilidades de segurança."
Segundo os termos do contrato, a BAE Systems apresentará um sistema relevante para o Departamento de Defesa (DoD) que demonstre como os métodos formais podem ser integrados aos processos de desenvolvimento e certificação, verificando sua correção.
Os engenheiros de software da BAE Systems também oferecerão insights aos desenvolvedores sobre como tornar os métodos formais aplicáveis e acessíveis aos sistemas do DoD.
