AdaCore

150 W. 30th Street, 16th floor
New York, NY 10001
[email protected]
+1 212 620 7300
https://www.adacore.com/
AdaCore
Articles related to AdaCore
Software & OS

Rust Embedded Community Roundtable: Will Rust Replace C? - Story

September 02, 2025

The code battle between Rust and C feels like it’s been heating up all year, and some folks are starting to pick a winner, at least in particular cases. Rust and C can both offer good performance and control for embedded hardware and systems, but the differences seem to end there.

Security

AdaCore and CodeSecure Merge to Safeguard Next-Gen Embedded Applications - News

June 18, 2025

AdaCore and CodeSecure have agreed on a merger arrangement. It will develop an incorporated company dedicated to enhancing software safety, security, and consistency across various markets. AdaCore will share its knowledge in efficient software development for defense, aerospace, rail, and automotive applications. CodeSecure is to include its application security testing, such as advanced static analysis abilities that identify and mitigate vulnerabilities in embedded systems.

Security

Ken Briodagh Interviews Jose Ruiz with AdaCore at embedded world 2025 - Video

June 10, 2025

Ken Briodagh interviews Jose Ruiz with AdaCore live from embedded world 2025

Tech News Roundup

ICYMI: Embedded Insights Ep20 Partnerships, Channel Sounding, RTK - Video

June 06, 2025

Hello Embedded Engineers, Developers and Makers! Welcome to In Case You Missed it: Embedded Insights, the weekly news show all about Embedded technologies and solutions from Embedded Computing Design.

Software & OS

AdaCore and NVIDIA Bring Ada, SPARK Languages to Autonomous Vehicle Development - News

June 04, 2025

AdaCore introduced the Ada and SPARK programming languages into the automotive industry. While partnering with NVIDIA, and employing NVIDIA’s Drive OS, AdaCore will publish an off-the-shelf reference process enabling the utilization for designers thinking of next-generation automotive applications

Automotive

2025: Automotive Tech Predictions, CES Highlights, and Programming for High-Integrity Systems - Podcast

January 16, 2025

In this episode of Embedded Insiders, Bruce Franklin, Senior Director of Automotive at Micron, joins us to share his 2025 predictions for the automotive industry. He dives into the role of embedded memory and storage in robotaxis, key considerations for manufacturers, and how these advancements will shape the future of self-driving cars and next-generation architectures.

Open Source

Hacking the Linux Kernel in Ada - Part 3 - Blog

December 06, 2024

For this three parts series, we implemented a ‘pedal to the metal’ GPIO driven, flashing of a LED, in the context of a Linux kernel module for the NVIDIA Jetson Nano development board (kernel-based v4.9.294, arm64) in my favorite programming language … Ada!