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.

For this three part 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!

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!

Battery Ventures is investing in AdaCore which will realize AdaCore's expansion, placing the company as a go-to source for high-integrity software-development tooling. Battery Ventures' investment will expand AdaCore’s product portfolio, creating innovative new tools and technologies addressing the growing needs of companies looking for high integrity software development.

Considered to be one of the fastest-growing programming languages used today, Rust is making its way through software development environments such as AdaCore’s GNAT Pro.

AdaCore, a provider of software development and verification tools, recently launched its RecordFlux technology, designed to ease the development and security of binary communication protocols.