Electronic Design

Demonstrating SPARK with a Mars Rover (Part 2): The Safety Property

This is part two of a four-part series highlighting the Ada SPARK programming language that’s designed to facilitate the ...
Electronic Design

What’s the Difference Between Ada and SPARK?

Ada is a general-purpose language, like C++ or Java, supporting the usual features of modern programming languages, such as data encapsulation, object orientation, templates (called “generics”), ...
Business Wire

AdaCore Enhances Security-Critical Firmware with NVIDIA

NEW YORK & PARIS--(BUSINESS WIRE)--AdaCore, a trusted provider of software development and verification tools, today announced it is working with NVIDIA to implement Ada and SPARK programming ...
Business Wire

Ada and SPARK enter the automotive ISO-26262 market with NVIDIA

NEW YORK--(BUSINESS WIRE)--High-integrity software tooling experts, AdaCore, are delighted to announce the introduction of the Ada and SPARK programming languages into the automotive market. Together ...
Machine Design

The Many Ways You Can “Make with Ada”

I’ve been a fan of Ada and SPARK for a while now, and really wished I had it available when I was programming full time. It’s been used in military and avionic applications where secure and safety ...