AdaCore
New York, NY 10001 [email protected]
+1 212 620 7300
https://www.adacore.com/
Rust Embedded Community Roundtable: Will Rust Replace C? - Story
September 02, 2025The 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.
AdaCore and CodeSecure Merge to Safeguard Next-Gen Embedded Applications - News
June 18, 2025AdaCore 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, 2025Ken 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, 2025Hello 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.
2025: Automotive Tech Predictions, CES Highlights, and Programming for High-Integrity Systems - Podcast
January 16, 2025In 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.
Hacking the Linux Kernel in Ada - Part 3 - Blog
December 06, 2024For 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!




