Skip navigation
ada-background-802851578.jpg
Reasons to Use Ada and SPARK

Reasons to Use Ada and SPARK

There are many reasons to take advantage of the Ada/SPARK programming language. We have collected some articles that address these topics.

Ada is actually an old programming language compared to newer languages like Rust but it has been improved over time with new versions. A large number of embedded applications are programmed in C or C++ so why consider Ada/SPARK for an embedded project?

There are many reasons to do so. We have collected a few articles that address this issue that you might find enlightening.

Ada—The Language of Cost Savings?

VDC Research thinks Ada can help control software-development costs. The firm’s findings, including TCO calculations, reveal how that’s possible.

Read more

11 Myths About Ada

The Ada language is alive and well, as can be confirmed by developers of embedded real-time systems in critical industries worldwide. You'd never know that from some of the misconceptions that have sprung up over the years.

Read more

What's the Difference Between Sound and Unsound Static Analysis?

Timeliness and cost are two main factors for code verification, which separates sound from unsound. But recent advances are closing those gaps.

Read more

Assessing the Ada Language for Audio Applications

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.

Read more

Embedded Programming in the Large

Programming in the large is something embedded programmers should be familiar with, as projects often last months or years and include a number of developers.

Read more

What's The Difference: Ada Then and Now

Ada has evolved over the years taking in the latest programming ideas from object oriented programming to contract-based programming.

Read more