€5000 prize for Ada programming challenge

June 21, 2016 // By Graham Prophet
AdaCore – supplier of software development and verification tools for mission-critical, safety-critical, and security-critical systems – has created a competition called “Make with Ada”, which aims to demonstrate to embedded systems programmers, the benefits of the Ada language for for reliable, safe and secure software.

The contest aims to help the embedded software engineers improve the quality of their code by encouraging the use of the Ada and SPARK programming languages. The competition will run from June 20 to September 30, 2016 and offers over €8000 in total prizes. Participants can register for the competition at www.makewithada.org


The competition is open to individuals and to teams with up to four members. The goal is to design and implement an embedded software project for an ARM Cortex M or R processor where Ada and/or SPARK are the principal language technologies. Entrants will need to demonstrate that their system meets its requirements and has been developed using sound software engineering practices. Submission deadline is September 30, 2016. The award winners will be announced in November 2016.


There will be three cash prizes of €5000, €2000 and €1000, plus two prizes of nano-drones, one for the project rated best for dependability, and the other for the project rated best for inventiveness.


“This is an exciting opportunity for developers to try a new technology and show their imagination and programming talents,” said Fabien Chouteau, AdaCore software engineer and author of the Make With Ada blog post series. “Ada is most known for its usage in large-scale long-lived systems but it is also an excellent tool even for the most humble embedded project.”


The competition is part of an overall AdaCore initiative to foster the growth of Ada and SPARK for developing embedded systems and more generally for developing “software that matters”. Other elements of this initiative are the free on-line training available at AdaCore U ( u.adacore.com), and the various resources for free software developers and students/hobbyists at the github repository ( github.com/AdaCore) and the libre site ( libre.adacore.com).


Further information about Ada and Spark, along with links to free resource pages and instructions on how to get started by downloading