Aug 22 '23
PTC has released of version 10.5 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.1EE, additional Ada 2012 contract support for task entries and protected operations, as well as various updates related to Windows and Linux developer tools.
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.
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.