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.
VDC Research thinks Ada can help control software-development costs. The firm’s findings, including TCO calculations, reveal how that’s possible.
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.
Timeliness and cost are two main factors for code verification, which separates sound from unsound. But recent advances are closing those gaps.
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.
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.
Ada has evolved over the years taking in the latest programming ideas from object oriented programming to contract-based programming.