Press Release
Jan 9 '19
The aerospace company AVIO has selected the GNAT Pro Assurance Ada Development Environment, including the GNATemulator host-based target emulation tool, to implement the on-board software for AVIO’s Vega-C launch vehicle. Sponsored by the European Space Agency (ESA), this safety-critical hard real-time embedded system is the flight software that handles guidance, navigation and control for the Vega-C.
Press Release
Jun 5 '18
PTC has released version 10.0 of its PTC ObjectAda for Windows and PTC ObjectAda64 for Windows Ada compiler products. This new release introduces support for a substantial initial subset of Ada 2012 language features. It also supports development of
native Windows 32-bit or 64-bit applications using the Microsoft Visual Studio 2017 development tools and libraries.
Press Release
May 24 '18
The PTC ApexAda v5.2 development system for Linux host-based development targeting Intel x86_64 processors running the ApexAda Exec bare-board runtime is now shipping. Included with the 64-bit embedded compiler is the PTC® ApexAda v5.2 64-bit compiler for Linux native application development. Also included is the integrated ApexAda 64-bit C/C++ compiler which facilitates seamless development of mixed-language applications written in Ada, C, and C++. ApexAda V5.2 Embedded compilers provide a complete cross-development toolchain hosted from Linux distributions including RedHat Enterprise Edition, CentOS, and SUSE.
Press Release
May 23 '18
The University of Colorado’s Laboratory for Atmospheric and Space Physics (LASP) has selected the Ada language and AdaCore’s GNAT Pro for the ARM Cortex product for NASA’s Climate Absolute Radiance and Refractivity Observatory (CLARREO) Pathfinder mission. CLARREO Pathfinder will deploy a Reflected Solar spectrometer on the International Space Station (ISS) starting in 2021 that will detect the complete spectrum of radiation from the Sun reflected by Earth.
Press Release
May 15 '18
AdaCore has partnered with Blackberry to make GNAT Pro available for the Blackberry QNX operating system.
Press Release
Feb 27 '18
Scandinavian Real Heart AB in Sweden is using a suite of AdaCore software solutions to develop reliable embedded software for its revolutionary Total Artificial Heart. Scandinavian Real Heart’s Total Artificial Heart mimics the way that the natural heart functions to save patients with heart failure, and give them a better quality of life than the alternatives that are available today. Scandinavian Real Heart is using a suite of AdaCore tools, include the GNAT Pro Ada development environment.
Press Release
Feb 1 '18
AdaCore has released new versions of all of their products, include GNAT Pro, SPARK Pro, and CodePeer.
Press Release
Jan 16 '18
AdaCore publisizes the successful completion of a research project for DENSO, Application of Formal Methods to Help Achieve Freedom from Interference. This project, conducted jointly with the University of Nagasaki, had the goal of simplifying the development of safety-critical automotive applications in an ISO 26262 context.
Press Release
Nov 16 '17
MDA, a business unit of Maxar Technologies, has selected the GNAT Pro Assurance Ada development environment for the LEON3 target processor, to produce the software for a Ku-Band communication subsystem that will replace the current version. This critical International Space Station (ISS) subsystem has to work reliably over the long term, a requirement that led MDA to maintain Ada as the implementation language.
