Press Releases

• Consafe Logistics Selects AdaCore’s GNAT Pro for Critical Warehouse Control System Firmware 12/4/2020
• Security and Defence Contractor QinetiQ Selects AdaCore’s Mentorship Service to Upgrade to the Latest Version of the SPARK Technology 12/1/2020
• AdaCore Introduces GNAT Pro for the Wind River® Helix™ Virtualization Platform 11/24/2020
• Hitachi Rail STS France Chooses AdaCore Software Development Environment for its New Rail Platform 11/2/2020
• Major European Aerospace Company Chooses GNAT Pro Ada Targeted to Wind River’s VxWorks 6.x Cert RTOS on PowerPC 9/7/2020
• AdaCore’s Fifth Annual Make with Ada Programming Competition Launching July 31st 7/24/2020
• Electric Power Steering System Supplier JTEKT Selects SPARK Pro for Safety-Critical Automotive Software 6/23/2020
• AdaCore Announces Winners of Fourth Annual “Make with Ada” Competition 3/3/2020
• AdaCore Toolchain for Ada, SPARK and C Now Qualified for ISO 26262 and IEC 61508 2/18/2020
• ELDORADO Selects AdaCore’s QGen for Critical Medical Applications 12/10/2019
• AdaCore Introduces Support for C++ Embedded Environments 11/5/2019
• European Space Agency Selects AdaCore’s Qualified Multitasking Solution for Spacecraft Software Development 9/24/2019
• The High Integrity Software Conference Continues to Champion High-Assurance Software Development 9/17/2019
• AdaCore’s Fourth Annual Make with Ada Programming Competition Launches Today! 9/10/2019
• AdaCore Expands its Presence in the UK to Support Thriving Aerospace and Defence Industries 8/14/2019
• Code Dx and AdaCore Partner to Provide an Ada Application Security Testing Toolsuite 6/26/2019
• Hex Five Adds MultiZone™ Security To The AdaCore Software Ecosystem 5/30/2019
• AdaCore Now a Principal Member of The Open Group FACE™ Consortium 4/23/2019
• AdaCore Announces Winners for Third Annual “Make with Ada” Competition 3/26/2019
• AdaCore Extends Support for Wind River VxWorks 3/14/2019
• AdaCore V19 Product Release Expands Platform Coverage, Brings Performance Improvements and Functionality Enhancements 2/20/2019
• AdaCore enhances security-critical firmware with NVIDIA 2/5/2019
• AdaCore Joins the RISC-V Foundation to Provide C and Ada Compilation Support 1/29/2019
• AVIO Selects AdaCore’s GNAT Pro Assurance Toolsuite for European Space Agency Program 1/8/2019
• ci-tec Selects AdaCore’s GNAT Pro Ada Development Environment for Industrial Process Management & Control Application 12/3/2018
• AdaCore’s Annual Make with Ada Competition is Starting 10/16/2018
• High Integrity Software Conference reaches out to budding developers in its fifth year 10/15/2018
• AdaCore Demonstrating GNATcheck Ada Coding Standard Enforcement Tool for FACE™ Components 9/18/2018
• AdaCore Shows How to Address the Cyber Security Challenge 6/27/2018
• AdaCore Extends Support for Wind River VxWorks Portfolio 6/19/2018
• AdaCore’s GNAT Pro Supports Lynx Software Technologies’ LynxSecure Separation Kernel Hypervisor on Intel Processors 6/19/2018
• AdaCore Tools Streamline Development of Safe, Secure, Automotive and Autonomous System Software 6/6/2018
• University of Colorado’s Laboratory for Atmospheric and Space Physics adopts Ada and GNAT Pro for NASA project 5/22/2018
• AdaCore’s GNAT Pro Ada Toolchain Released for BlackBerry QNX 5/15/2018
• AdaCore / Rapita Systems Partnership: Verifying critical code with GNAT Pro and RVS 3/8/2018
• Scandinavian Real Heart Selects AdaCore Embedded Software Development Platform for Revolutionary Artificial Heart 2/27/2018
• AdaCore V18.1 Product Release Brings New Software Development and Verification Solutions 1/31/2018
• DENSO Using SPARK Technology for Automotive Research Project 1/16/2018
• AdaCore Exhibiting and Presenting at ERTS2 2018 12/19/2017
• AdaCore Launches New GNAT Pro Product Lines 11/15/2017
• MDA Selects AdaCore’s GNAT Pro Assurance Development Platform for International Space Station Software 11/15/2017
• Ada on Board: Thales Using AdaCore’s GNAT Pro for Critical Avionics Software 10/31/2017
• AdaCore Announces Winners for Second Annual “Make with Ada” Programming Competition 10/24/2017
• AdaCore and Altran announce fourth year of High Integrity Software Conference sponsorship 9/12/2017
• MHI Aerospace Systems Corp. Selects AdaCore’s QGen for Model-Based Development 5/24/2017
• AdaCore’s GNAT Pro Supports Wind River’s FACE Conformant VxWorks 653 Platform 5/23/2017
• AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize 5/15/2017
• New SPARK Adoption Guidance Published 5/9/2017
• AdaCore Releases GNAT Pro 17 Development Environment for SYSGO’s PikeOS RTOS 3/21/2017
• AdaCore Publishes Handbook on DO-178C/ED-12C Guidance 3/21/2017
• AdaCore Releases New Versions of GNAT Pro, CodePeer, QGen and SPARK Pro 3/14/2017
• AdaCore Releases QGen 17.1 for Model-Based Development and Verification 3/14/2017
• AdaCore’s CodePeer Officially Registered as CWE-Compatible 12/6/2016
• Winners Announced for First Annual “Make with Ada” Programming Competition 11/30/2016
• AdaCore and Altran to sponsor High Integrity Software Conference 9/20/2016
• Ada on Board: GNAT Pro Helps ExoMars Get to the Red Planet 7/19/2016
• Free Booklet Shows How AdaCore’s Technologies Can Help Railway Software Developers Meet EN 50128 Obj 6/28/2016
• AdaCore Launches “Make with Ada” Programming Competition, with €5000 Top Prize 6/20/2016
• AdaCore Releases QGen 2.1 and GNAT Pro 7.4 2/23/2016
• AdaCore Releases QGen 2.1 2/23/2016
• AdaCore Releases GNAT Pro 7.4 2/23/2016
• Ada 2012 Language Standard Corrigendum Approved by ISO 2/23/2016
• AdaCore Releases SPARK Pro 16 1/27/2016
• French Agency DGA Selects AdaCore’s GNAT Pro with SQUORE Technology 1/27/2016
• AdaCore’s CodePeer Selected for Digital Terrain System Requiring DO-178B Certification 1/27/2016
• Celebrating Ada Lovelace: The Pioneer of Programming 12/9/2015
• AdaCore Introduces GNAT GPL 2015 for the Raspberry Pi 2 9/1/2015
• AdaCore’s GNAT Pro Available for Wind River VxWorks 7 7/21/2015
• SPARK Going to the Moon 7/14/2015
• AdaCore President Robert B. K. Dewar (1945-2015) 7/2/2015
• AdaCore Releases CodePeer 3.0 5/6/2015
• AdaCore Launches QGen 2/24/2015
• AdaCore Releases GNAT Pro 7.3 2/24/2015
• ProofInUse Initiative Launched, Will Deliver Verification Tools for Critical Systems 2/2/2015
• New Release of Muen Separation Kernel Upgrades to SPARK 2014 for Formal Verification 1/13/2015
• AdaCore Launches GNATdashboard 12/4/2014
• AdaCore Development Environment Selected for New Spanish Satellite Project 10/23/2014
• AdaCore's CodePeer Static Analysis Tool Earns Qualification for Software Verification in Avionics, R 10/23/2014
• AdaCore Releases GNAT GPL for Bare Board ARM 7/24/2014
• SmartWard Pty Ltd Selects AdaCore Tools for Hospital Information System Development 5/28/2014
• Altran and AdaCore Release Next-Generation Static Verification Toolset 5/6/2014
• AdaCore Releases GNAT Pro 7.2 for Android 4/1/2014
• GNAT Pro Safety-Critical Development Environment Released for LynxOS-178 4/1/2014
• AdaCore Releases GNAT Pro 7.2 2/25/2014
• AdaCore Releases GNAT Pro 7.2 for ARM/Linux 2/25/2014
• AdaCore Releases New Version of GNATcoverage Dynamic Analysis Tool 2/5/2014
• AdaCore Releases Major New Version 2.3 of CodePeer Static Analysis Tool 2/5/2014
• Deep Blue Capital Selects AdaCore Products for Financial System Development 1/22/2014
• Muen Separation Kernel Lays Open Source Foundation for High-Assurance Software Components 12/10/2013
• AdaCore and Altran Toolsets Help Launch CubeSat into Orbit 11/20/2013
• AdaCore Releases Major New Version of GNAT Programming Studio 6.0 11/12/2013
• Ada 2012 Language Rationale Published 11/12/2013
• AdaCore Launches Free, Online Ada Educational Resource for the Software Development Community 9/25/2013
• AdaCore Brings Ada to Wind River Linux 7/2/2013
• Astrium Selects AdaCore’s GNAT Pro and PolyORB for International Space Station 6/11/2013
• AdaCore Announces Successful Completion of Project Hi-Lite 5/30/2013
• TOYOTA ITC Japan Selects SPARK Pro Language and Toolset for High-Reliability Research Project 4/23/2013
• AdaCore Releases Major New Version 2.2 of CodePeer Static Analysis Tool 4/23/2013
• AdaCore Releases GNAT Pro 7.1 4/23/2013
• AdaCore Releases GNAT Pro Safety-Critical for ARM Processors 2/26/2013
• AdaCore and Wind River to Offer Joint Product Training Services in Europe 2/26/2013
• Ada 2012 Language Standard Approved by ISO 12/18/2012
• GNAT Pro Safety-Critical used by Terma A/S for Space Monitor Project 12/17/2012
• GNAT Pro Solves Data Endianness Portability Challenge 12/4/2012
• Traceability Analysis Helps Rockwell Collins Achieve DO-178B Certification 12/4/2012
• AdaCore and Altran Praxis Release SPARK Pro 11 11/29/2012
• Rockwell Collins Develops SecureOne™ with SPARK Pro and GNAT Pro High-Security 9/17/2012
• SmartSide Adopts Ada and GNAT Pro for Smart Devices Platform 6/20/2012
• Saab Electronic Defence Systems Adopts CodePeer 6/12/2012
• Embraer Selects Ada and AdaCore’s GNAT Pro for AMX Upgrade 3/26/2012
• AdaCore Releases GNAT Pro 7.0 2/28/2012
• AdaCore Releases Major New Version 2.1 of CodePeer Static Analysis Tool 2/28/2012
• AdaCore Launches GNATtest 2/1/2012
• 'Project P' and 'Hi-MoCo' Research Projects Launched 2/1/2012
• AdaCore and SofCheck Merge 1/10/2012
• Eurocopter Selects GNAT Pro for Military Helicopter ARINC 653 Project 11/29/2011
• Qualification Material Available for GNATcheck and GNATcoverage 11/29/2011
• AdaCore Takes On Agile Certification: the OPENCOSS and pSafecer Projects 11/29/2011
• AdaCore Releases Major New Version of GNAT Programming Studio 5.1 9/27/2011
• Digicomp Shows Continuing Success with Ada and GNAT Pro 9/27/2011
• AdaCore’s GNATcoverage Product Awarded Electron d'Or Prize 7/5/2011
• Siemens Switzerland Selects AdaCore Toolset for Railway Project 6/30/2011
• AdaCore and Altran Praxis Release SPARK Pro 10 6/7/2011
• NIST Report Shows SPARK Most Suitable Language for Secure Programming 5/2/2011
• Thales Selects AdaCore Toolset for Argos Satellite Project 5/2/2011
• Rockwell Collins Selects GNAT Pro for Advanced Avionics Display System 5/2/2011
• AdaCore Helps Singo Solution Implement Scalable, Robust Call Management System 4/19/2011
• AdaCore Releases Major New Version of CodePeer Source Code Analysis Tool 4/12/2011
• AdaCore Releases GNAT Pro 6.4 3/1/2011
• EADS CASA Selects AdaCore Toolset for nEUROn Unmanned Aircraft 3/1/2011
• Airbus Military Certifies to DO-178B level A Using GNATcheck 3/1/2011
• AdaCore Releases New GNATcoverage Tool 2/1/2011
• AdaCore Releases New GNATemulator Tool 2/1/2011
• AdaCore releases GPS 5.0 10/26/2010
• Enhanced Solutions for Multi-Language Systems 9/21/2010
• AdaCore Upgrades GNATbench for Wind River Workbench 9/21/2010
• Security Given Short Shrift in Automotive Software Development, says AdaCore 9/16/2010
• AWS available for Wind River’s VxWorks 8/25/2010
• Open Source SPARK Implementation of Skein Algorithm 8/16/2010
• SPARK Pro Adopted by secunet 7/27/2010
• AdaCore Announces Hi-Lite Project 5/4/2010
• Rockwell Collins Selects SPARK Pro for Security and Information Assurance 4/27/2010
• GNAT Pro High-Integrity Edition For VxWorks MILS Platform now available 4/27/2010
• MBDA Extends Global Software Licensing Agreement with AdaCore 4/13/2010
• SPARK Pro 9 now available 3/24/2010
• Barco selects GNAT Pro for Advanced Avionics Applications 3/24/2010
• AdaCore Releases GNAT Pro 6.3 2/9/2010
• GNAT Pro support for PikeOS 1/26/2010
• AdaCore Launches CodePeer Tool 1/12/2010
• AdaCore partners with MICROTASK Embedded 11/10/2009
• AdaCore Introduces Enhanced Version of GNAT Programming Studio 10/13/2009
• AdaCore Announces Release of GNAT Pro for LynxOS 5.0 9/22/2009
• New Release of GNATbench for Wind River Workbench 9/18/2009
• Lockheed Martin Selects GNAT Pro for C-130J Software 6/1/2009
• Thales Aerospace Division Selects GNAT Pro for Airbus A350 XWB (Xtra Wide-Body) 6/1/2009
• AdaCore Expands GNAT Pro Offerings to All Current VxWorks Platforms 6/1/2009
• Astrium in the UK Selects GNAT Pro for Environmental Satellite System 5/26/2009
• PARSEC Group and AdaCore Announce Partnership 4/21/2009
• GNAT Pro available for 8-bit AVR Microcontroller 3/31/2009
• Praxis and AdaCore Announce SPARK Pro 3/24/2009
• AdaCore Launches Traceability Analysis Package for DO-178B 3/11/2009
• BAE Systems UK Signs Corporate-Wide Contract with AdaCore 3/11/2009
• AdaCore Launches GNAT Pro 6.2 3/3/2009
• AdaCore Introduces Latest Version of GNAT Programming Studio 11/19/2008
• AdaCore Announces GNAT Pro High-Integrity Edition for MILS 11/17/2008
• AdaCore Announces GNAT Pro for the VxWorks SMP Capability 11/17/2008
• AdaCore and SYSGO Announce GNAT Pro for ELinOS 10/27/2008
• AdaCore Announces GNAT Pro for Nucleus OS 10/27/2008
• Praxis and AdaCore Announce Strategic Partnership 10/27/2008
• NSA Releases Secure Software Project to Open Source Community 10/6/2008
• GNAT Academic Program Celebrates Its 150th Member 9/23/2008
• Ada Language Expert Stephen Baird Joins AdaCore 9/9/2008
• AdaCore announces GNAT Pro for RTX 7/15/2008
• Ipesoft Selects GNAT Pro to Develop Real-Time Management Systems 6/17/2008
• AdaCore Announces the Release of the GNAT Component Collection 6/17/2008
• Adacore Releases GNAT Ada-Java Interfacing Suite 6/17/2008
• AdaCore Announces “Project Coverage” 6/5/2008
• AdaCore Announces Support for VxWorks 653, Version 2.2 4/15/2008
• AdaCore Announces the Release of GNATbench 2.1.0 4/15/2008
• Indian Government selects GNAT Pro to Build New Avionics Flight Control Software 3/5/2008
• Latest GNAT Pro Release Adds New Platforms, New Tools 3/5/2008
• Coding Standard Verification Tool Eases DO-178B Compliance 1/30/2008
• Working With Saab, AdaCore and RTI Integrate Support for Ada with DDS-Compliant Real-Time Messaging 12/7/2007
• Introducing New Version of GNAT Programming Studio IDE 11/6/2007
• GNAT Pro Provides Multi-Language Support aboard Raytheon's SSDS 11/6/2007
• AdaCore Joins TOPCASED Project 10/29/2007
• AdaCore Launches New GPRbuild Tool To Speed Multi-Language Development 9/25/2007
• AdaCore Helps AAI Upgrade the T25 SECT Electronic Combat Trainer 9/18/2007
• AdaCore Announces Innovative Stack Analysis Tool 9/18/2007
• AdaCore Announces GNAT Pro High-Integrity Edition for Servers 9/18/2007
• AdaCore First to Bring True .NET Integration to Ada 9/10/2007
• GNAT Pro Chosen for UK’s Next Generation ATC System 6/19/2007
• AdaCore Announces the GNAT Pro High-Integrity Edition for DO-178B 6/19/2007
• AdaCore Brings Industry Leading Ada Expertise to the Eclipse Foundation 5/14/2007
• MBDA Signs Global Software Licensing Agreement with AdaCore 4/3/2007
• AdaCore Announces GNATbench Version 2.0 for Eclipse 3.2 4/3/2007
• AdaCore Announces GNAT Tracker Version 2 3/27/2007
• AdaCore Announces First to Market Full Ada 2005 Development Environments 3/7/2007
• Saab Signs Corporate Wide Software License With AdaCore 3/7/2007
• Gregory Gicca Appointed as Director of Safety and Security Product Marketing 1/25/2007
• AdaCore Celebrates C-130 AMP’s Maiden Flight 12/12/2006
• AdaCore Announces New Software Stack Analysis Tool 10/31/2006
• AdaCore Launches Remote Programming Solution 10/11/2006
• ASSERT Project Adopts Ada 2005 9/5/2006
• GNAT Pro to Support Boeing’s Real-time Simulation Systems 7/25/2006
• AdaCore Delivers Enhanced Ada Integrated Development Environment 7/12/2006
• New AdaCore Plug-in Bridges the Gap Between GNAT Pro and Eclipse 6/19/2006
• GNAT Pro Supports Simulator for VxWorks 6 and VxWorks 653 5/16/2006
• Hamilton Sundstrand Selects GNAT Pro For 787 Air Conditioning Control Unit 5/1/2006
• GNAT Pro Now Available for HP OpenVMS on HP Integrity Servers 5/1/2006
• AdaCore’s GNAT Pro Brings Ada to x86-64 GNU/Linux 4/18/2006
• Thales Group Adopts AdaCore as a corporate Ada Standard 1/23/2006
• AdaCore Launches New Version of its Ada Integrated Development Environment 1/10/2006
• Ada Expert Robert A. Duff Joins AdaCore Team 12/28/2005
• AdaCore Brings the Power of GNAT Pro to Wind River’s Workbench Environment 11/10/2005
• AdaCore Announces Support for Wind River's VxWorks 6 11/7/2005
• AdaCore Brings Ada to AltiVec - Support For Leading Weapons Company 10/3/2005
• AdaCore Implements Ada on Intel Itanium 2-based HP Integrity Servers 9/23/2005
• New GNAT Pro Toolsuite for ERC32 9/15/2005
• AdaCore Implements New Ada Standard 8/29/2005
• Mission Control System Team Member 8/3/2005
• Dynamic Plug-in Loading with Ada - Paper Available 5/23/2005
• AdaCore Revs Up IDE 5/23/2005
• AdaCore & CodeSourcery Join Forces to Create Ada and C++ Development System 4/18/2005
• AdaCore Shines Spotlight on Ada for Broad Range of Leading-Edge Applications 4/18/2005
• GNAT Pro Compiler and Debugger Available for Mac OS 2/17/2005
• GNAT Pro is a Winner in Datamation 'Product of the Year' Contest 2/8/2005
• AdaCore to Present Several Papers at Ada Europe 2005 1/26/2005
• GNAT Pro Nominated 'Product of the Year' in Jupiter Media's Datamation Awards 1/26/2005
• AdaCore Partners with Praxis Critical Systems on a Joint Academic Initiative 10/7/2004
• Ada Core Technologies to Build an Ada95 Compiler and Development Environment for SGI ALTIX 4/20/2004
• Wind River Teams with AdaCore on Safety-Critical ARINC 653 for use in Boeing 7E7 4/20/2004
• Ada Core Technologies announces local distributor in Australia 4/19/2004
• Ada Resource Association Adds ACT Europe to Global Membership 4/30/2003
• Ada Core Technologies and ACT Europe launches the GNAT Programming System IDE 2/18/2003
• Announcing availability of the new customer web server, GNAT Tracker 2/18/2003
• SGI and Ada Core Technologies Team up to Support Ada 95 Users 6/26/2002
• Wind River, Smiths Aerospace and Ada Core Technologies Deliver Tornado for Safety-Critical Systems 5/16/2002
• Ada Core Technologies awarded HP contract for porting Ada Toolset to HP OpenVMS for Itanium 4/30/2002
• Wind River To Distribute Ada Core Technologies' GNAT Pro Ada 95 Technology 4/30/2001