AdaCore

150 W. 30th Street, 16th floor
New York, NY 10001
info@adacore.com
+1 212 620 7300
https://www.adacore.com/
AdaCore
Articles related to AdaCore
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!

Software & OS

Embedded Executive: Choosing Your Programming Language, AdaCore - Podcast

November 27, 2024

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.

Software & OS

Memory Safety in Ada, SPARK, and Rust - Whitepaper

November 22, 2024

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.

Open Source

Hacking the Linux Kernel in Ada - Part 2 - Blog

November 15, 2024

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!

Open Source

Hacking the Linux Kernel in Ada - Part 1 - Blog

October 22, 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!

Software & OS

Battery Ventures Teams with AdaCore for High Integrity Software Development - News

April 02, 2024

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.