Press Release
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.
Article
Mar 29 '21
Published
in Electronic Design by William Wong
William Wong discusses the winners of the Make with Ada contest from the perspective of a judge for the competition.
Press Release
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.
Press Release
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.
Article
Jan 27 '21
Published
by Ada User Journal
Due to the continuing COVID-19 pandemic, there is a substantial lag between the creation and printing of an issue of the Ada User Journal. Because of this, recent issues have been made available on-line in their entirety. The September 2020 issue has just been posted.
Article
Jan 21 '21
Published
in Embedded Computing Design by Yannick Moy
The author compares and contrasts safety and security when programming in MISRA C versus programming in SPARK and Ada.
Press Release
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.
Press Release
Nov 24 '20
AdaCore today launched a new edition of its premier GNAT Pro Ada development toolsuite in support of the Wind River® Helix™ Virtualization Platform. GNAT Pro Ada enhances Helix Platform’s ability to consolidate mixed-criticality aerospace, defense and automotive applications onto a scalable, agile and certifiable platform.
Press Release
Nov 2 '20
Hitachi Rail STS (Signalling and Transportation Systems) France has selected an Ada runtime and a compiler targeting ARM processors from AdaCore for its CSD (Calculator of Available Safety) rail safety platform. Hitachi Rail STS specializes in the design of systems ensuring the safe circulation of trains on railway lines and metro networks.
Article
Oct 15 '20
Published
by Ada User Journal
Because of the ongoing pandemic, Ada-Europe has experienced difficulties printing and distributing the Ada User Journal. Therefore, the current issue has been made available online with no embargo period.
