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.

On this episode of Embedded Insiders, we’re joined by Paul Butcher, Senior Software Engineer at AdaCore, to discuss how AI can make fuzz testing even more robust through the integration of techniques like symbolic execution and input-to-state correspondence that optimize test data sets against scenarios a system might encounter in the real world

There are many challenges that come with AI testing in safety-critical applications, as well as a variety of processes that can be used to find and fix security vulnerabilities using AI. We interviewed Paul Butcher, Senior Software Engineer at AdaCore Ltd, to discuss the most common security vulnerabilities impacting today's developers when integrating AI and ML in testing processes like fuzz testing, and what solutions AdaCore provides to help combat these concerns.