Advancing UK Aerospace, Defence, Security & Space Solutions Worldwide
  • Home
  • /
  • Security
  • /
  • AdaCore launches GNAT Dynamic Analysis Suite

Security

AdaCore launches GNAT Dynamic Analysis Suite

Provider of software development and verification tools, AdaCore, today announced the availability of its new GNAT Dynamic Analysis Suite - a powerful bundle of analysis, testing, verification and code coverage technologies to help Ada developers build safe, secure software as well as meet internal security and quality procedures.

Image copyright Shutterstock

“From decades of experience helping customers build critical software systems, we know that the most successful workflows incorporate multiple approaches to testing,” said Arnaud Charlet, Lead of Product Engineering at AdaCore. “Our new GNAT Dynamic Analysis Suite does just that, integrating in one package our code coverage and unit testing tools, as well as emerging technologies, like fuzz testing, which is on the near-term roadmap.”

Advertisement
Gulfstream RT

Features and Benefits of the GNAT Dynamic Analysis Suite:

  • The GNATtest automated test-harness generator for Ada
  • The GNATcoverage tool that analyses and reports Ada and C programme coverage
  • Sound analysis, test, and verification evidence that satisfies certification requirements for a variety of industry software safety standards (available as an option for GNAT Pro Assurance customers)
  • Early access to emerging cybersecurity technologies, such as fuzzing
Advertisement
DSEI 2025

Fuzzing
Fuzz testing (fuzzing) is becoming increasingly important in the age of cybersecurity. It is already required in DO-356 compliance (Airworthiness Security Methods and Considerations) and is becoming mandatory as part of national efforts to secure the software supply chain.

In Q2 2022 AdaCore will be issuing the beta release of a new fuzzing tool for Linux native platforms, which will be available for select GNAT Pro customers.
 

Advertisement
PTC PTC
Boeing appoints Stephen Parker as CEO of BDS

Defence Security Space

Boeing appoints Stephen Parker as CEO of BDS

3 July 2025

Boeing today announced Stephen (Steve) Parker as president and chief executive officer of its Defense, Space & Security (BDS) business, effective immediately. Parker has served as interim leader of the Boeing business unit since September 2024.

Lancashire aims at advancing cyber-enabled defence and security

Defence Security Events

Lancashire aims at advancing cyber-enabled defence and security

3 July 2025

Over 200 senior business leaders, investors, policymakers and academics from across the UK gathered this week at the Lancashire Cyber Festival to discuss Lancashire’s opportunity to become a global leader in cyber-enabled defence and security.

Airframe Designs aligns with US NCAMP standards

Aerospace Defence Security

Airframe Designs aligns with US NCAMP standards

3 July 2025

Airframe Designs has aligned its material systems with the US National Centre for Advanced Materials Performance (NCAMP) which works with the Federal Aviation Administration (FAA) and industry partners to support its existing testing processes.

Bernd Kögel to spearhead launch of DSEI Germany

Defence Security Events

Bernd Kögel to spearhead launch of DSEI Germany

3 July 2025

Clarion Events Defence and Security has announced the appointment of Colonel (ret) Bernd Kögel as Managing Director of DSEI Germany, effective 1st October 2025.

Advertisement
Teledyne
Siemens and NVIDIA team to drive AI in advanced manufacturing

Aerospace Defence Security

Siemens and NVIDIA team to drive AI in advanced manufacturing

2 July 2025

Siemens and NVIDIA are expanding their partnership to accelerate the next era of industrial AI and digitalisation, towards enabling the factory of the future.

Expleo partners with Keyfactor on cryptography solutions

Security

Expleo partners with Keyfactor on cryptography solutions

2 July 2025

Expleo has signed a strategic partnership with identity-first security solutions provider Keyfactor, to offer its clients across all industries Keyfactor’s cybersecurity solutions, designed to help businesses address the ever-changing cyber-threat landscape.

Advertisement
ODU RT