Advancing UK Aerospace, Defence, Security & Space Solutions Worldwide
  • Home
  • /
  • Defence
  • /
  • BAE Systems to aid secure US DoD software development

Defence

BAE Systems to aid secure US DoD software development

The US Defense Advanced Research Projects Agency (DARPA) has awarded BAE Systems’ FAST Labs research and development organisation a $6 million contract as part of the Pipelined Reasoning of Verifiers Enabling Robust Systems (PROVERS) programme.

Image courtesy BAE Systems
 
Current formal methods tools, a type of software verification, provide high levels of assurance through mathematical proofs that certain properties hold, but can be time-consuming and difficult to learn and use. These proofs also need to be re-written at every code or specification change, which fails to scale.

Advertisement
Teledyne

 
The goal of PROVERS is to make formal methods accessible to non-experts (e.g. traditional software developers and systems engineers) while minimising 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 organisation. “With PROVERS, proof engineering will create higher levels of assurance – helping critical Department of Defense software systems remain free of certain defects and vulnerabilities.”
Advertisement
DSEI 2025

 
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.
 
Work on this programme will take place at BAE Systems’ facilities in Merrimack, New Hampshire; Burlington, Massachusetts and Arlington, Virginia.

Advertisement
PTC PTC
MoD campaign highlights impact of public interruption to military training

Defence

MoD campaign highlights impact of public interruption to military training

18 July 2025

Soldiers sprinting through a salon, abseiling into gyms and crawling through offices feature in a striking new campaign by the Ministry of Defence (MoD), turning the tables on the issue of public interruptions to military training exercises.

UAS launched munitions set to combat air and ground targets

Defence

UAS launched munitions set to combat air and ground targets

18 July 2025

For the first time, BAE Systems has launched a precision munition from a multi-rotor Uncrewed Air System (UAS) and successfully destroyed both air and ground targets during trials in the US.

UK

Defence

UK's combat air flying demonstrator revealed

17 July 2025

Industry partners, BAE Systems, Rolls-Royce and MBDA UK, together with the Ministry of Defence (MoD), have revealed the design of the UK’s flagship Combat Air Flying Demonstrator, as the aircraft reaches a major milestone, with two thirds of its structural weight now in manufacturing.

Scottish defence dividend investment launched

Defence

Scottish defence dividend investment launched

16 July 2025

Scottish Secretary and Minister for Defence Procurement & Industry have visited HMNB Clyde to launch the multidecade, multibillion-pound Clyde 2070 programme.

Advertisement
Gulfstream RT
Captec to showcase next-gen computing at DSEI

Defence Events

Captec to showcase next-gen computing at DSEI

16 July 2025

As the defence landscape continues to evolve at pace, with technological advances reshaping mission requirements and placing increasing demands on deployed computing systems, computing specialist Captec will be showcasing next-generation computing platforms at DSEI 2025 (9th–12th September 2025, Excel London).

SkyShark takes flight

Defence Security

SkyShark takes flight

16 July 2025

MGI Engineering, a company forged in the fast-paced world of Formula 1, has officially unveiled SkyShark, a next-generation military drone platform designed to transform battlefield operations with speed, precision and UK-built sovereignty.

Advertisement
Gulfstream RT