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
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
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.
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.
Oct 15 '20
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.
Sep 7 '20
Airbus Helicopters (France) has selected the GNAT Pro tool suite and the Ada programming language to develop new software components for the VSR700 prototype project. VSR700 is Airbus Helicopters’ tactical unmanned aerial system (UAS) designed to meet the demanding requirements of global navies and armies in the 21st century.
Aug 17 '20
The Climate Absolute Radiance and Refractivity Observatory (CLARREO) Pathfinder Reflected Solar mission is a NASA-directed mission executed under the direction of the Science Mission Directorate – Earth Science Division with two primary mission goals: measure Earth-reflected sunlight with accuracy of 0.3% (k=1) and serve as an on-orbit inter-calibration reference to other orbiting sensors.
To address the technical challenges outlined by the mission requirements, the mission selected the Ada programming language and GNAT Pro Bare-Metal development environment from AdaCore that are designed for safety-critical, real-time systems for the ARM M series processor architecture.
Aug 8 '20
PTC has released of version 10.2 of its popular PTC® ObjectAda for Windows and PTC ObjectAda64 for Windows Ada compiler products. This new release provides complete support for Ada 2012 language features. 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).