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