Ada Resource Association

The author describes how Ada code can be used in environments where formal analysis of the entire program is impractical.

This in-depth article evaluates the use of the Ada language for DSP applications, comparing its advantages versus C and C++. It also presents the porting of a C language implementation of the MPEG-2 Layer-2 decoder, based on fixed-point operations, to the Ada language.

This article discusses how Ada and SPARK technology can cut development costs by detecting bugs earlier in the development cycle.

The author describes how Ada appeared to a long-time C programmer.

Jim Rogers compares the High Integrity C++ standard to out-of-the-box Ada, and notes that many of the recommendations are unnecessary for Ada, and others where using of a separate tool is required are supported directly by Ada profiles and restrictions.

Ada for Automation (A4A) is a framework for designing industrial automation applications using the Ada language. It makes use of Hilscher boards and can exchange process data via CANopen.

The author argues that the demands on modern software are becoming harder to meet with most existing programming languages, but Ada has a long track record of meeting exactly those demands.

One of the judges for Adacore’s “Make with Ada” competition discusses how one of the competitors fared using Ada for the first time.

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.