Ada Resource Association

Ben debunks 11 myths about the Ada Programming Language, starting with “Ada is dead”.

Bill Wong describes AdaPilot, a new open-source project to develop a safety-critical flight-controller system based on Ada-SPARK.

Ben Brosgol compares and contrasts Ada and C, and suggests when you should use each.

This article describes the differences between Ada and SPARK, including why one would choose one or the other.

A discussion about securing communications and systems, including how Ada and SPARK can help.

Once considered a DoD-only programming language, Ada continues to evolve and is increasingly being taught in universities around the globe for high-integrity applications that demand safety, security, and reliability. The language, around since the early 1980s, is now undergoing a revival of sorts in industry and in academia.

Jack Ganssle uses the occasion of Robert Dewar’s passing to describe some of the benefits of using Ada over C in embedded projects.

Michael Silva shows how Ada can be used to program a 7-segment display on a microcontroller, and how Ada detected a bug in his program that would have gone undetected in some other commonly used languages.

The author discusses using Ada on a small microcontroller board, the STmicroelectronics STM32F407 Discovery board.

Micheal Silva discusses using a newly released GNAT system to program an STM32F4 Discovery board.