Real-time software design and development tools with cyber security for military uses introduced by AdaCore

March 18, 2022
Software tools include test-harness generator for Ada; and analysis and reporting for Ada and C test and verification of certification requirements.

NEW YORK – AdaCore in New York is introducing the GNAT Dynamic Analysis Suite software design and development tools to help Ada programming language developers build safe, secure software and follow internal security and quality procedures.

Features include the GNATtest automated test-harness generator for Ada; GNATcoverage tool that analyzes and reports Ada and C program coverage; sound analysis, test, and verification evidence that satisfies certification requirements for industry software safety standards; and early access to emerging cyber security technologies, such as fuzzing.

Fuzz testing is becoming increasingly important for cyber security. It is already required in DO-356 compliance for airworthiness security and is becoming mandatory to secure the software supply chain. This spring AdaCore will issue the beta release of a fuzzing tool for Linux native platforms.

The GNAT Dynamic Analysis Suite is available as an add-on to GNAT Pro Enterprise and GNAT Pro Assurance subscriptions and can be used with all versions of the Ada language standard, as well as the formally analyzable SPARK Ada subset. Some of its capabilities, such as structural code coverage, also support C.

For more information contact AdaCore online at

Voice your opinion!

To join the conversation, and become an exclusive member of Military Aerospace, create an account today!