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).
Jun 14 '21
PTC has released its new ApexAda v5.2 Linux/Intel64-hosted embedded Ada compiler and runtime environment for the Wind River VxWorks 7 real-time operating system on Armv8 64-bit (aarch64) processors. With the release of this new product, PTC extends the capabilities of its extensive line of native and cross compilers for Ada application development with ApexAda v5.2 embedded with support for VxWorks 7 Armv8 64-bit (aarch64) targets. Included with the 64-bit embedded compiler is the PTC ApexAda v5.2 64-bit compiler for Linux native application development. ApexAda V5.2 Embedded compilers provide a complete cross-development toolchain hosted from Linux distributions including RedHat Enterprise Edition, CentOS, and SUSE.
Apr 3 '21
A major update to the PTC ApexAda Linux/Intel64-hosted embedded Ada compiler and runtime environment for the Wind River VxWorks 7 real-time operating system is now available. The update provides support for the SR0650 and SR0660 Standard Releases of VxWorks 7. With the release of this major product update, PTC extends the capabilities of its extensive line of native and cross compilers
for Ada application development with ApexAda v5.2 embedded with support for these latest VxWorks 7 releases on
Intel64 targets and establishes the foundation for the introduction of follow-on new product releases for the Armv8
64-bit (aarch64) architecture. Included with the 64-bit embedded compiler is the PTC ApexAda v5.2 64-bit compiler
for Linux native application development.
Mar 16 '21
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.
Mar 13 '21
PTC has released version 10.2 of its PTC® ObjectAda for Linux and PTC ObjectAda64 for Linux Ada compiler products. These new product releases provide for Linux/Intel platforms support for the Ada 2012 edition of the Ada programming language and 64-bit application development that was previously introduced for the Windows platform with PTC’s popular ObjectAda for Windows and ObjectAda64 for Windows version 10.2 products.
Dec 4 '20
Consafe Logistics, the leading European supplier of warehouse management solutions, has deployed AdaCore’s GNAT Pro Ada development environment to implement mission-critical firmware within its innovative Warehouse Control Systems (WCS). The selection of GNAT Pro Ada enables Consafe Logistics to meet stringent assurance requirements, helping ensure that its systems operate reliably, safely and securely at its customers’ large and complex warehouse sites. Consafe Logistics solutions keep more than 500 warehouses in 30 countries running, delivering goods to millions of customers.