We are pleased to announce the launch of the “Make with
Ada” programming competition, a contest that aims to help
the embedded software community 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.
Competition Rules
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.
Prizes and Judging Criteria
Cash prizes will be awarded to the projects that best meet
the overall criteria of software dependability, openness,
collaborativeness and inventiveness.
* Top Prize - 5000 Euros
* Second Prize – 2000 Euros
* Third Prize – 1000 Euros
Two special awards (nano-drones) will also be offered: one
for the project rated best for dependability, and the
other for the project rated best for inventiveness.
The “Make with Ada” 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 the GNAT GPL edition for Bare Board
ARM, are available at
http://makewithada.org/getting-started.