Make with Ada

Programming Competition   May 15 - September 15, 2017

Get Ready! Registration opens on May 15! But you can hit the ground running and get started today on your project.

Make with Ada is an embedded software project competition sponsored by AdaCore. It is open to individuals and small teams using the Ada or SPARK languages to develop dependable, open, inventive and collaborative projects.

The Ada and SPARK languages have a long and successful track record for building reliable, safe and secure software. This competition aims to increase awareness of these benefits by encouraging the use of Ada and SPARK in new projects; entrants will have an opportunity to be rewarded for their efforts with prizes totaling more than 8000€ in value. View our winners from the 2016 competition.

Learn more about Ada resources on our getting started page and download the GNAT GPL for Bare Board ARM. We also have the Ada source code and a complete sample of GNAT projects for selected bare-board platforms supported by GNAT in the Ada Driver's Library.

* Dollar conversion is approximate. Final amount will be based on the current exchange rate.



Special prizes

All active participants will receive a "Make with Ada" t-shirt at the conclusion of the competition.

t-shirt

There will be a special student-only prize available to entrants who supply a student id. An Assembled Printrbot!

printer

Our panel of judges will grade all submissions based on how well they adhere to AdaCore’s four core values.

Inventive

Does the project demonstrate out-of-the-box thinking, does it bring new solutions to an existing problem, or offer existing solutions to a novel problem?

Collaborative

Is the project usable by other members of the programming community? Does it have clearly-defined interfaces and documentation? A public repository through a version control system such as svn or git? A bug tracking system? Can it be built with tools available to the community?

Dependable

Does the project make use of processes and technologies that contribute to high confidence that the software meets its requirements (for example formal methods, contract-based programming, testing, and coding standards)? Is its documentation accurate?

Open

Does the project have a Free Software License, as defined by the Free Software Foundation, or does it have an open-source license, as defined by the Open Source Initiative? Does it have an open design? Does it use open tools, hardware and platforms?

Basic Rules

Submitters must be individuals, not organizations

You may participate in the competition only as an individual or team of individuals; organizations (for example commercial enterprises) are not eligible.

4 persons maximum per team

A team will consist of one registered leader who creates and manages the application and up to 3 additional team members.

Must use primarily Ada

You can include any programing language you want, but the project will be judged on the Ada/SPARK part.

Must maintain a project log

The project must be clearly documented in English on the official project log. Access to the log will be provided upon approval of your initial project submission.

Work submitted must be original

Your project must make an original contribution; the reuse of third-party components such as pre-existing libraries is permitted but must be documented as such.

Embedded

Your project must be written in embedded software. Judges will refer to this definition.

Meet our Judges

Billwong
Jack Ganssle
Cyrille Comar
Rich Nass
Stephanne Carrez