Mar 29 '23
AdaCore has launched its new RecordFlux technology, designed to ease the development and security of binary communication protocols. The technology comprises a Domain Specific Language (DSL) to precisely describe complex binary data formats and communication protocols, and a toolset to verify specifications and generate Ada code that can be executed on a target CPU and that can be proven with SPARK tools..
Dec 22 '22
AdaCore is collaborating with Synopsys Software Integrity Group to make AdaCore’s GNAT Static Analysis Suite available to Synopsys Coverity® static analysis customers.
Synopsys markets the Coverity tool, which improves the reliability, safety, and security of applications written in a number of programming languages, including C and C++. To support Coverity customers needing static analysis for the Ada programming language, Synopsys is AdaCore. Joint customers will be able to use AdaCore’s GNAT Static Analysis Suite for Ada, integrated within the Coverity solution, providing a common interface to navigate static analysis results for all languages.
Jul 8 '22
PTC has released of version 10.4 of its popular PTC® ObjectAda and PTC ObjectAda64 Ada compilers in both Linux and Windows version. This new release provides upgraded Ada 2012 language support compliant with the Ada Conformity Assessment Test Suite (ACATS) version 4.1Z, enhanced support for Windows 11 based on the Microsoft Visual Studio 2022 Build Tools and Windows 11 SDK components, as well as runtime library enhancements on Linux
for compatibility with the Windows implementation.
Jun 14 '22
Here are some recent updates to our Free Tools and Libraries page:
June 14, 2022: Added Alire, a sandbox package manager for Ada, and an associated catalog.
October 14, 2021: Added Adare_Net, a small, portable and easy to use Ada network library.
June 14, 2021: Added Portable OpenAL Sound, a minimal library interfacing to OpenAL Sound to provide the capabilities of playing sound files on many platforms.
Added ARE (Advanced Resource Embedder), a tool which can generate Ada code to embed a file (image, script, etc) in an Ada executable.
(This post will be periodically updated – Webmaster.)
Mar 17 '22
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.
Jan 12 '22
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.
Nov 5 '21
PTC has released version 10.3 of its PTC® ObjectAda fand PTC ObjectAda64 for Linux. Building upon the Ada 2012 and 64-bit code generation introduced by the previous version, this new product release provides upgraded Ada 2012
language support compliant with the Ada Conformity Assessment Test Suite (ACATS) version 4.1V and includes
complete support for Annex G “Numerics”.
ObjectAda version 10.3 represents a substantial refinement of the Ada 2012 language feature support within
the ObjectAda technology. ObjectAda version 10.3 for Linux/Intel contains the same improvements in the ObjectAda
compiler technology that were introduced earlier with ObjectAda for Windows v10.3.
Oct 3 '21
PTC has released of version 10.3 of its popular PTC® ObjectAda for Windows and PTC ObjectAda64 for Windows Ada compiler products. This new release provides upgraded Ada 2012 language support compliant with the Ada Conformity Assessment Test Suite
(ACATS) version 4.1V and including complete support for Annex G “Numerics”. ObjectAda for Windows and ObjectAda64 for Windows support development of native Windows 32-bit or 64-bit applications using the Microsoft Visual Studio 2017 / 2019 development tools and libraries from the Windows 10 Software Development Kit (SDK).