The Airframer Bulletin

AdaCore

All news ✕ Clear ‹ Current edition

Every Bulletin story and press release covering AdaCore, newest first.

12 items

2025

18 June

ReleaseAdaCore and CodeSecure merge to form a global company providing embedded software security and safety solutions

2024

22 July

ReleaseAdaCore announces its participation in the Safety-Critical Harsh Environment Micro-Processing Evolution (SCHEME) project

2021

20 July

ReleaseCollins Aerospace selects AdaCore's QGen code generator to streamline model-based development

2020

8 September

ReleaseMajor European aerospace company chooses GNAT Pro Ada targeted to Wind River's VxWorks 6.x Cert RTOS on PowerPC

2019

14 August

ReleaseAdaCore expands its presence in the UK to support thriving aerospace and defence industries

2017

24 May

ReleaseMHI Aerospace Systems Corp. selects AdaCore's QGen for model-based development

23 May

ReleaseAdaCore's GNAT Pro supports Wind River's FACE conformant VxWorks 653 Platform

14 March

ReleaseAdaCore releases QGen 17.1 for model-Based development and verification

2015

6 May

ReleaseNew version of static analysis tool

2011

1 March

ReleaseEADS CASA selects AdaCore toolset for nEUROn Unmanned Aircraft

2010

26 March

ReleaseWind River Partner Validation Program expanded to aerospace defense

2009

1 June

ReleaseThales Aerospace Division selects GNAT Pro for Airbus A350 XWB (Xtra Wide-Body)