May 27 '21
in Electronic Design by Fabien Chouteau
This seven-part series introduces Ada to Embedded C Developers.
Apr 11 '21
in Ada User Journal 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 December 2020 issue has just been posted.
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 29 '21
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.
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.
Jan 27 '21
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.
Jan 21 '21
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.
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.
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.