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
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.

Software & OS

AdaCore’s GNAT Pro Now Supports Rust - News

July 27, 2023

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.