News

Press Releases

See More »

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

Posted on 11/24/2020

AdaCore In the Press

See More »
Embedded Software Engineering.de

SPARK und MISRA-C – Die Vorteile von Sprach-Subsets

Posted on 11/16/2020
Unmanned Systems Technology

Behind the lines: why real-time operating systems are growing in importance and how the different types can be used

Posted on 10/28/2020
Military Embedded Systems

Securing military embedded systems is a giant challenge

Posted on 10/15/2020
ADS

ADS Member Spotlight – AdaCore

Posted on 10/1/2020

Upcoming Events

See More »

Dec 1, 2020 — Virtual

Military Embedded Systems Webcast: How To Enable the Intelligent Edge for Critical Avionics Software

Modernization efforts that require consolidating multiple proven software systems onto a single intelligent edge platform are difficult. Fortunately, there are strategies that allow you to maintain your software integrity and partitioning while taking advantage of cutting edge software development technology. In this webinar, subject matter experts from Wind River and AdaCore will demonstrate how you can map your existing architecture to guest operating systems on hypervisors, by using Wind River’s Helix Virtualization Platforms and software development tools from the compiler experts at AdaCore.

Posted on 11/18/2020    

Dec 8, 2020 — Virtual

RISC-V Summit 2020

AdaCore will be sponsoring and exhibiting at this virtual event, which will highlight the continued rapid expansion of the RISC-V ecosystem, presenting both commercial offerings and exciting open-source developments. 

Posted on 11/11/2020    

Dec 10, 2020 — Virtual

Military Embedded Systems Webcast: Accelerating Avionics Design & Testing through FACE Conformance

Boeing, in partnership with the US Army, AdaCore, CoreAVI, Presagis and Real-Time Innovations (RTI), will demonstrate an integrated FACE Commercial-off-the-Shelf (COTS) solution stack covering cockpit displays, graphics systems and data transport connectivity. This stack enables high mission capability using the world’s latest and most advanced avionics technologies designed to accelerate RTCA DO-178C DAL A safety certification and FACE conformance.

Posted on 11/18/2020