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

Ada Is a Memory-Safe Language. It's Also Not New. That's the Point. - Blog

May 04, 2026

The NSA and CISA published a cybersecurity information sheet in 2022 recommending that developers move to memory-safe languages. It was updated in 2023, then again in June 2025. These reports sparked extensive global discussion about the use of memory-safe languages in critical software. Other regulations, such as the European Cyber Resilience Act, do not explicitly mention technologies like memory safety but instead focus on higher-level concepts such as 'state-of-the-art' and 'secure-by-design'.

Software & OS

embedded world 2026 Podcast with AdaCore - Podcast

April 25, 2026

Ken Briodagh, Editor-in-Chief at Embedded Computing Design, interviews Jose Ruiz from AdaCore at Embedded World.

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