skip to main content

Press Releases

SPARK and Rust Take Center Stage for AdaCore at Embedded World 2025

AdaCore to Sponsor Safety-Critical Rust Consortium Evening Social

Rapita Systems showcases AdaCore’s GNAT Pro for Rust at HISC

AdaCore announces its participation in the Safety-Critical Harsh Environment Micro-processing Evolution (SCHEME) project.

Celebrating 30 years of AdaCore

New Venue Augments High Integrity Software Conference

AdaCore supports the Safety-Critical Rust Consortium

AdaCore Research Proves Novel Solution for "Security by Default."

AdaCore Showcase Secure Avionics by Design at CYBERUK

Battery Ventures Announces Strategic Investment in AdaCore to Propel the Future of High Integrity Software Development

AdaCore Announces the First Qualification of a Rust Compiler

AdaCore Announces GNAT Pro for Rust

AdaCore Supporting BAE’s Apprenticeship Programme

AdaCore Launches RecordFlux Technology to Enable the Development of Provable, Secure Communication Protocols

AdaCore Joins Rust Foundation as Silver Member

Rheinmetall Air Defence extends the use of AdaCore's safety-critical software development tools for advanced air defense system

AdaCore’s GNAT Pro Assurance Development Environment Reinforces Security Support

AdaCore Launches GNAT Dynamic Analysis Suite

ENYSE Selects AdaCore’s Flagship Software Development Platform to Build Innovative Railway Signaling Systems

AdaCore Qualifies C Compiler for Alstom’s Safety-critical Railway Systems

AdaCore Announces Winners of Fifth Annual “Make with Ada” Competition

AdaCore Broadens its Cybersecurity Capabilities with the Acquisition of Componolit GmbH

Consafe Logistics Selects AdaCore’s GNAT Pro for Critical Warehouse Control System Firmware

Security and Defence Contractor QinetiQ Selects AdaCore’s Mentorship Service to Upgrade to the Latest Version of the SPARK Technology

AdaCore Introduces GNAT Pro for the Wind River® Helix™ Virtualization Platform

Hitachi Rail STS France Chooses AdaCore Software Development Environment for its New Rail Platform

Major European Aerospace Company Chooses GNAT Pro Ada Targeted to Wind River’s VxWorks 6.x Cert RTOS on PowerPC

AdaCore’s Fifth Annual Make with Ada Programming Competition Launching July 31st

Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software

AdaCore Announces Winners of Fourth Annual “Make with Ada” Competition

AdaCore Toolchain for Ada, SPARK and C Now Qualified for ISO 26262 and IEC 61508

AdaCore Introduces Support for C++ Embedded Environments

European Space Agency Selects AdaCore’s Qualified Multitasking Solution for Spacecraft Software Development

The High Integrity Software Conference Continues to Champion High-Assurance Software Development

AdaCore’s Fourth Annual Make with Ada Programming Competition Launches Today!

AdaCore Expands its Presence in the UK to Support Thriving Aerospace and Defence Industries

Code Dx and AdaCore Partner to Provide an Ada Application Security Testing Toolsuite

Hex Five Adds MultiZone™ Security To The AdaCore Software Ecosystem

AdaCore Now a Principal Member of The Open Group FACE™ Consortium

AdaCore Announces Winners for Third Annual “Make with Ada” Competition

AdaCore Extends Support for Wind River VxWorks

AdaCore V19 Product Release Expands Platform Coverage, Brings Performance Improvements and Functionality Enhancements

AdaCore enhances security-critical firmware with NVIDIA

AdaCore Joins the RISC-V Foundation to Provide C and Ada Compilation Support

AVIO Selects AdaCore’s GNAT Pro Assurance Toolsuite for European Space Agency Program

ci-tec Selects AdaCore’s GNAT Pro Ada Development Environment for Industrial Process Management & Control Application

AdaCore’s Annual Make with Ada Competition is Starting

High Integrity Software Conference reaches out to budding developers in its fifth year

AdaCore Demonstrating GNATcheck Ada Coding Standard Enforcement Tool for FACE™ Components

AdaCore Shows How to Address the Cybersecurity Challenge

AdaCore Extends Support for Wind River VxWorks Portfolio

AdaCore’s GNAT Pro Supports Lynx Software Technologies’ LynxSecure Separation Kernel Hypervisor on Intel Processors

AdaCore Tools Streamline Development of Safe, Secure, Automotive and Autonomous System Software

University of Colorado’s Laboratory for Atmospheric and Space Physics adopts Ada and GNAT Pro for NASA project

AdaCore’s GNAT Pro Ada Toolchain Released for BlackBerry QNX

AdaCore / Rapita Systems Partnership: Verifying critical code with GNAT Pro and RVS

Scandinavian Real Heart Selects AdaCore Embedded Software Development Platform for Revolutionary Artificial Heart

AdaCore V18.1 Product Release Brings New Software Development and Verification Solutions

DENSO Using SPARK Technology for Automotive Research Project

AdaCore Exhibiting and Presenting at ERTS2 2018

AdaCore Launches New GNAT Pro Product Lines

MDA Selects AdaCore’s GNAT Pro Assurance Development Platform for International Space Station Software

Ada on Board: Thales Using AdaCore’s GNAT Pro for Critical Avionics Software

AdaCore Announces Winners for Second Annual “Make with Ada” Programming Competition

AdaCore and Altran announce fourth year of High Integrity Software Conference sponsorship

AdaCore’s GNAT Pro Supports Wind River’s FACE Conformant VxWorks 653 Platform

AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize

New SPARK Adoption Guidance Published

AdaCore Releases GNAT Pro 17 Development Environment for SYSGO’s PikeOS RTOS

AdaCore Publishes Handbook on DO-178C/ED-12C Guidance

AdaCore’s CodePeer Officially Registered as CWE-Compatible

Winners Announced for First Annual “Make with Ada” Programming Competition

AdaCore and Altran to sponsor High Integrity Software Conference

Ada on Board: GNAT Pro Helps ExoMars Get to the Red Planet

Free Booklet Shows How AdaCore’s Technologies Can Help Railway Software Developers Meet EN 50128 Obj

AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize

AdaCore Releases GNAT Pro 7.4

Ada 2012 Language Standard Corrigendum Approved by ISO

AdaCore Releases SPARK Pro 16

French Agency DGA Selects AdaCore’s GNAT Pro with SQUORE Technology

AdaCore’s CodePeer Selected for Digital Terrain System Requiring DO-178B Certification

Celebrating Ada Lovelace: The Pioneer of Programming

AdaCore Introduces GNAT GPL 2015 for the Raspberry Pi 2

AdaCore’s GNAT Pro Available for Wind River VxWorks 7

SPARK Going to the Moon

AdaCore President Robert B. K. Dewar (1945-2015)

AdaCore Releases CodePeer 3.0

AdaCore Releases GNAT Pro 7.3

ProofInUse Initiative Launched, Will Deliver Verification Tools for Critical Systems

New Release of Muen Separation Kernel Upgrades to SPARK 2014 for Formal Verification

AdaCore Launches GNATdashboard

AdaCore Development Environment Selected for New Spanish Satellite Project

AdaCore's CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, R

AdaCore Releases GNAT GPL for Bare Board ARM

SmartWard Pty Ltd Selects AdaCore Tools for Hospital Information System Development

Altran and AdaCore Release Next-Generation Static Verification Toolset

AdaCore Releases GNAT Pro 7.2 for Android

GNAT Pro Safety-Critical Development Environment Released for LynxOS-178

AdaCore Releases GNAT Pro 7.2

AdaCore Releases GNAT Pro 7.2 for ARM/Linux

AdaCore Releases New Version of GNATcoverage Dynamic Analysis Tool

AdaCore Releases Major New Version 2.3 of CodePeer Static Analysis Tool

Deep Blue Capital Selects AdaCore Products for Financial System Development

Muen Separation Kernel Lays Open Source Foundation for High-Assurance Software Components

AdaCore and Altran Toolsets Help Launch CubeSat into Orbit

AdaCore Releases Major New Version of GNAT Programming Studio 6.0

Ada 2012 Language Rationale Published

AdaCore Launches Free, Online Ada Educational Resource for the Software Development Community

AdaCore Brings Ada to Wind River Linux

Astrium Selects AdaCore’s GNAT Pro and PolyORB for International Space Station

AdaCore Announces Successful Completion of Project Hi-Lite

TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project

AdaCore Releases Major New Version 2.2 of CodePeer Static Analysis Tool

AdaCore Releases GNAT Pro 7.1

AdaCore Releases GNAT Pro Safety-Critical for ARM Processors

AdaCore and Wind River to Offer Joint Product Training Services in Europe

Ada 2012 Language Standard Approved by ISO

GNAT Pro Safety-Critical used by Terma A/S for Space Monitor Project

GNAT Pro Solves Data Endianness Portability Challenge

Traceability Analysis Helps Rockwell Collins Achieve DO-178B Certification

AdaCore and Altran Praxis Release SPARK Pro 11

Rockwell Collins Develops SecureOne™ with SPARK Pro and GNAT Pro High-Security

SmartSide Adopts Ada and GNAT Pro for Smart Devices Platform

Saab Electronic Defence Systems Adopts CodePeer

Embraer Selects Ada and AdaCore’s GNAT Pro for AMX Upgrade

AdaCore Releases GNAT Pro 7.0

AdaCore Releases Major New Version 2.1 of CodePeer Static Analysis Tool

AdaCore Launches GNATtest

'Project P' and 'Hi-MoCo' Research Projects Launched

AdaCore and SofCheck Merge

Eurocopter Selects GNAT Pro for Military Helicopter ARINC 653 Project

Qualification Material Available for GNATcheck and GNATcoverage

AdaCore Takes On Agile Certification: the OPENCOSS and pSafecer Projects

AdaCore Releases Major New Version of GNAT Programming Studio 5.1

Digicomp Shows Continuing Success with Ada and GNAT Pro

AdaCore’s GNATcoverage Product Awarded Electron d'Or Prize

Siemens Switzerland Selects AdaCore Toolset for Railway Project

AdaCore and Altran Praxis Release SPARK Pro 10

NIST Report Shows SPARK Most Suitable Language for Secure Programming

Thales Selects AdaCore Toolset for Argos Satellite Project

Rockwell Collins Selects GNAT Pro for Advanced Avionics Display System

AdaCore Helps Singo Solution Implement Scalable, Robust Call Management System

AdaCore Releases Major New Version of CodePeer Source Code Analysis Tool

AdaCore Releases GNAT Pro 6.4

Airbus Military Certifies to DO-178B level A Using GNATcheck

EADS CASA Selects AdaCore Toolset for nEUROn Unmanned Aircraft

AdaCore Releases New GNATcoverage Tool

AdaCore Releases New GNATemulator Tool

AdaCore releases GPS 5.0

Enhanced Solutions for Multi-Language Systems

AdaCore Upgrades GNATbench for Wind River Workbench

Security Given Short Shrift in Automotive Software Development, says AdaCore

AWS available for Wind River’s VxWorks

Open Source SPARK Implementation of Skein Algorithm

SPARK Pro Adopted by secunet

AdaCore Announces Hi-Lite Project

Rockwell Collins Selects SPARK Pro for Security and Information Assurance

GNAT Pro High-Integrity Edition For VxWorks MILS Platform now available

MBDA Extends Global Software Licensing Agreement with AdaCore

SPARK Pro 9 now available

Barco selects GNAT Pro for Advanced Avionics Applications

AdaCore Releases GNAT Pro 6.3

GNAT Pro support for PikeOS

AdaCore Launches CodePeer Tool

AdaCore partners with MICROTASK Embedded

AdaCore Introduces Enhanced Version of GNAT Programming Studio

AdaCore Announces Release of GNAT Pro for LynxOS 5.0

New Release of GNATbench for Wind River Workbench

Lockheed Martin Selects GNAT Pro for C-130J Software

Thales Aerospace Division Selects GNAT Pro for Airbus A350 XWB (Xtra Wide-Body)

AdaCore Expands GNAT Pro Offerings to All Current VxWorks Platforms

Astrium in the UK Selects GNAT Pro for Environmental Satellite System

PARSEC Group and AdaCore Announce Partnership

GNAT Pro available for 8-bit AVR Microcontroller

Praxis and AdaCore Announce SPARK Pro

AdaCore Launches Traceability Analysis Package for DO-178B

BAE Systems UK Signs Corporate-Wide Contract with AdaCore

AdaCore Launches GNAT Pro 6.2

AdaCore Introduces Latest Version of GNAT Programming Studio

AdaCore Announces GNAT Pro High-Integrity Edition for MILS

AdaCore Announces GNAT Pro for the VxWorks SMP Capability

AdaCore and SYSGO Announce GNAT Pro for ELinOS

AdaCore Announces GNAT Pro for Nucleus OS

Praxis and AdaCore Announce Strategic Partnership

NSA Releases Secure Software Project to Open Source Community

GNAT Academic Program Celebrates Its 150th Member

Ada Language Expert Stephen Baird Joins AdaCore

AdaCore announces GNAT Pro for RTX

Ipesoft Selects GNAT Pro to Develop Real-Time Management Systems

AdaCore Announces the Release of the GNAT Component Collection

Adacore Releases GNAT Ada-Java Interfacing Suite

AdaCore Announces “Project Coverage”

AdaCore Announces Support for VxWorks 653, Version 2.2

AdaCore Announces the Release of GNATbench 2.1.0

Indian Government selects GNAT Pro to Build New Avionics Flight Control Software

Latest GNAT Pro Release Adds New Platforms, New Tools

Coding Standard Verification Tool Eases DO-178B Compliance

Working With Saab, AdaCore and RTI Integrate Support for Ada with DDS-Compliant Real-Time Messaging

Introducing New Version of GNAT Programming Studio IDE

GNAT Pro Provides Multi-Language Support aboard Raytheon's SSDS

AdaCore Joins TOPCASED Project

AdaCore Launches New GPRbuild Tool To Speed Multi-Language Development

AdaCore Helps AAI Upgrade the T25 SECT Electronic Combat Trainer

AdaCore Announces Innovative Stack Analysis Tool

AdaCore Announces GNAT Pro High-Integrity Edition for Servers

AdaCore First to Bring True .NET Integration to Ada

GNAT Pro Chosen for UK’s Next Generation ATC System

AdaCore Announces the GNAT Pro High-Integrity Edition for DO-178B

AdaCore Brings Industry Leading Ada Expertise to the Eclipse Foundation

MBDA Signs Global Software Licensing Agreement with AdaCore

AdaCore Announces GNATbench Version 2.0 for Eclipse 3.2

AdaCore Announces GNAT Tracker Version 2

AdaCore Announces First to Market Full Ada 2005 Development Environments

Saab Signs Corporate Wide Software License With AdaCore

Gregory Gicca Appointed as Director of Safety and Security Product Marketing

AdaCore Celebrates C-130 AMP’s Maiden Flight

AdaCore Announces New Software Stack Analysis Tool

AdaCore Launches Remote Programming Solution

ASSERT Project Adopts Ada 2005

GNAT Pro to Support Boeing’s Real-time Simulation Systems

AdaCore Delivers Enhanced Ada Integrated Development Environment

New AdaCore Plug-in Bridges the Gap Between GNAT Pro and Eclipse

GNAT Pro Supports Simulator for VxWorks 6 and VxWorks 653

Hamilton Sundstrand Selects GNAT Pro For 787 Air Conditioning Control Unit

GNAT Pro Now Available for HP OpenVMS on HP Integrity Servers

AdaCore’s GNAT Pro Brings Ada to x86-64 GNU/Linux

Thales Group Adopts AdaCore as a corporate Ada Standard

AdaCore Launches New Version of its Ada Integrated Development Environment

Ada Expert Robert A. Duff Joins AdaCore Team

AdaCore Brings the Power of GNAT Pro to Wind River’s Workbench Environment

AdaCore Announces Support for Wind River's VxWorks 6

AdaCore Brings Ada to AltiVec - Support For Leading Weapons Company

AdaCore Implements Ada on Intel Itanium 2-based HP Integrity Servers

New GNAT Pro Toolsuite for ERC32

AdaCore Implements New Ada Standard

Mission Control System Team Member

Dynamic Plug-in Loading with Ada - Paper Available

AdaCore Revs Up IDE

AdaCore & CodeSourcery Join Forces to Create Ada and C++ Development System

AdaCore Shines Spotlight on Ada for Broad Range of Leading-Edge Applications

GNAT Pro Compiler and Debugger Available for Mac OS

GNAT Pro is a Winner in Datamation 'Product of the Year' Contest

AdaCore to Present Several Papers at Ada Europe 2005

GNAT Pro Nominated 'Product of the Year' in Jupiter Media's Datamation Awards

AdaCore Partners with Praxis Critical Systems on a Joint Academic Initiative

Ada Core Technologies to Build an Ada95 Compiler and Development Environment for SGI ALTIX

Wind River Teams with AdaCore on Safety-Critical ARINC 653 for use in Boeing 7E7

Ada Core Technologies announces local distributor in Australia

Ada Resource Association Adds ACT Europe to Global Membership

Ada Core Technologies and ACT Europe launches the GNAT Programming System IDE

Announcing availability of the new customer web server, GNAT Tracker

SGI and Ada Core Technologies Team up to Support Ada 95 Users

Wind River, Smiths Aerospace and Ada Core Technologies Deliver Tornado for Safety-Critical Systems

Ada Core Technologies awarded HP contract for porting Ada Toolset to HP OpenVMS for Itanium

Wind River To Distribute Ada Core Technologies' GNAT Pro Ada 95 Technology