Ada Resource Association

The latest version of AdaCore’s signature GNAT Pro Assurance product introduces a service that helps customers with their vulnerability mitigation strategy for third-party tools. With GNAT Pro Assurance 22, customers can request a detailed list of known problems, each keyed to The MITRE Corporation’s Common Vulnerability Enumeration (CVE) database. Vulnerability reports are provided in machine-readable CVE JSON format as well as human-readable PDF reports. In addition to this information, AdaCore now produces Software Bills of Materials (SBOM). SBOMs are supplied in the industry-standard Software Package Data Exchange (SPDX) format, allowing automated incorporation into customers’ vulnerability management and reporting systems.

AdaCore announces 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.

Features and Benefits of the GNAT Dynamic Analysis Suite:

• The GNATtest automated test-harness generator for Ada
• The GNATcoverage tool that analyzes and reports Ada and C program 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

ENYSE, part of the ACS group, has selected its GNAT Pro development environment to develop its new safety-critical railway signaling solutions. As part of one of its research and development department projects, ENYSE will use the tool, and the Ada programming language, to build the Radio Block Centre (RBC), a microprocessor-based system that will be the cornerstone of its advanced new rail signaling system.

AdaCore announced the winners of its fifth annual Make with Ada programming competition for embedded projects. The contest ran from July 31, 2020, through January 31, 2021, and attracted 173 participants from all over the world. First place went to Tharindu Suraj Liyanage, Founder, and CEO of UAV-based startup SRQ Robotics, for his Autonomous Crazyflie with ToF Sensors. The project added additional sensors to the Crazyflie drone. The Student Prize was awarded to Ahmed Hamdy, an MSc. Computer & Systems Engineering student at Universiti Teknologi Malaysia in Kuala Lumpur, Malaysia, for his Ada Accelerometer Driver + Stable Nerve Game. He used the Ada language to write an accelerometer driver for LSM303AGR on a BBC:MicroBit v1.5, then used that driver to make a small game that challenges the player to keep the MicroBit in an almost flat position where acceleration along X and Y axes is close to zero.