Ken Briodagh interviews Jose Ruiz with AdaCore live from embedded world 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.

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

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.

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!

When designing systems with high integrity, say for automotive applications, what is the programming language of choice? I believe that’s referred to as a loaded question, because there are so many variables involved, and it’s a question that’s almost impossible to answer.

Unfortunately, many developers make a decision for the wrong reasons. To get to the root of the matter, I invited Quentin Ochem, the Chief Product and Revenue Officer at AdaCore, to be my guest on this week’s Embedded Executives podcast.

Memory safety bugs pose a significant threat to the security and reliability of critical software systems, with major tech companies like Google and Microsoft attributing over 70% of their security vulnerabilities to these issues.