The 1st place prize of €5000/$5500 was awarded to Jonas Attertun from Sweden for his Ada Motorcontrol. The project involved the design of a software platform for developing a brushless DC motor controller (BLDC/PMSM). He used a custom, open-source board with an STM32F446 microprocessor, a sensored field-oriented control algorithm, and a logging feature to simplify development and allow users to visualize what is happening.
The 2nd place prize of €2000/ $2200 went to German Rivera from California, USA, who also won last year’s 2nd place prize. This year, his project was a Smartwatch. He developed the embedded software of a "Swiss Army Knife" watch in Ada 2012 using a Hexiwear IoT wearable development board with two NXP Kinetis microcontrollers.
The 3rd place prize of €1000/$1100 was awarded to Manuel Iglesias Abbatemarco from Ecuador for his Ada IoT Stack project. This project added several components to the Ada Drivers Library to support an IoT Framework based on an existing lwIP (lightweight IP) implementation ported to the embedded STM32 Ethernet family of devices.
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.
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?
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?
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?
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?
You may participate in the competition only as an individual or team of individuals; organizations (for example commercial enterprises) are not eligible.
A team will consist of one registered leader who creates and manages the application and up to 3 additional team members.
You can include any programing language you want, but the project will be judged on the Ada/SPARK part.
The project must be clearly documented in English in your project entry. Access to your entry will be provided upon approval of your initial project submission.
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.
Your submission must be an embedded software project. Judges will refer to this definition.