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.
Press Release
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.
Article
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.
Press Release
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).
Article
Aug 8 '20
Published
in Ada User Journal by Ada User Journal
Because of the COVID-19 pandemic, Ada-Europe has been unable to print and ship the March 2020 AUJ to its subscribers. Therefore, they have decided to make the March issue (AUJ 41-1) available on-line, while the printed version will be mailed whenever possible. Thus the March AUJ issue is publicly available in its entirety.
Article
Jul 28 '20
Published
in Ada User Journal by Ada User Journal
The Quarterly New Digest from the Ada User Journal, Issue 40.3, September 2019, highlights updates to various Ada Tools and Libraries, and various interesting usage questions.
