ARLINGTON (dpa-AFX) - The U.S. Defense Advanced Research Projects Agency (DARPA) has awarded BAE Systems' (BA.L) FAST Labs research and development organization a $6 million contract as part of the Pipelined Reasoning of Verifiers Enabling Robust Systems (PROVERS) program.
The goal of PROVERS is to make formal methods accessible to non-experts while minimizing the impact on their existing processes and performance.
'Engineering practices for software-reliant systems continuously evolve, and so too must the assurance techniques that confirm systems' correctness and security,' said Daniel Mitchell, technical manager at BAE Systems' FAST Labs research and development organization. 'With PROVERS, proof engineering will create higher levels of assurance - helping critical Department of Defense software systems remain free of certain defects and vulnerabilities.'
Under the terms of the contract, BAE Systems will provide a Department of Defense (DoD)-relevant system to demonstrate how formal methods tools can integrate into the development and certification process and provide assurance of correctness.
The company's software engineers will also provide feedback to developers on how to ensure formal methods tools are applicable to DoD systems and how to make those tools accessible to them.
Copyright(c) 2024 RTTNews.com. All Rights Reserved
Copyright RTT News/dpa-AFX
© 2024 AFX News
