News

Press Releases

See More »

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

Safety-critical on-board software for Vega-C launcher being developed in Ada, leveraging GNATemulator to expedite testing

Posted on 1/8/2019

AdaCore In the Press

See More »
Military Embedded Systems

Portable, reliable, and efficient concurrency: Ravenscar Ada tasking and the FACE safety profiles

Posted on 11/20/2018
Electronic Design

Ada Compiler Generates C Source

Posted on 11/16/2018
Embedded Software Engineer

Verifikation von Embedded Software durch Integration von Test und Beweis

Posted on 11/14/2018
Electronic Design

SSI: Continued Assurance from Requirements to Code

Posted on 11/12/2018

Upcoming Events

See More »

Feb 2, 2019 — Brussels, Belgium

FOSDEM 2019

AdaCore will attend and present at FOSDEM 2019. In the Ada devroom, Nicolas Roche will present 'GSH: an Ada POSIX Shell to Speed Up GNU Builds on Windows' and Yannick Moy will present 'Proof of Pointer Programs with Ownership in SPARK'. In the RISC-V devroom, Fabien Chouteau will present 'Alternative languages for safe and secure RISC-V programming'.

Posted on 1/8/2019    

Feb 5, 2019 — Bristol, UK

Safety-Critical Systems Symposium

AdaCore is exhibiting at this event. 

Posted on 10/29/2018    

Feb 26, 2019 — Nuremberg, Germany

Embedded World 2019

AdaCore is exhibiting at this event.

Posted on 10/29/2018    

Feb 27, 2019 — Minneapolis, MN

SIGCSE 2019

AdaCore will be exhibiting at this event. Booth #514.

Posted on 1/9/2019    

Mar 12, 2019 — Munich, Germany

Aerospace Tech Week - Avionics Expo

AdaCore is exhibiting at this event and giving a talk on “Qualification strategy for an automatic code generator”

Posted on 10/29/2018