Ada competition results show path to improved code quality - AdaCore

October 26, 2017 //By Graham Prophet
Ada competition results show path to improved code quality - AdaCore
AdaCore – supplier of software development and verification tools for mission-critical, safety-critical, and security-critical systems – has announced the winners of its 2017 “Make with Ada” programming competition, with the commentary that this year’s entries demonstrate the ease of using Ada and SPARK languages for developing reliable, safe and secure software.

 

This, the second running of the competition for embedded project programming, aimed to show how the Ada and SPARK language technologies can significantly improve code quality for modern embedded systems without requiring a steep learning curve for developers unfamiliar with these languages. Prizes are awarded to the projects that best meet the overall criteria of software dependability, openness, collaborativeness and inventiveness.

 

This year 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 visualise 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.

 

“I thoroughly enjoyed the challenge of this competition, and was able to prove that Ada can be successfully used for bare-metal projects that require fast execution,” said first place winner Jonas Attertun. “The design of my project was, thanks to Ada's many nice features, much easier to understand compared to a lot of the other C implementations out there. And the combination of increased design readability and the strictness of Ada made the resulting software safer and will simply further collaborative development and reuse.”

 

Fabien Chouteau, AdaCore software engineer, comments, “Despite the short time frame, the submissions included a number of innovative and well-engineered projects with documentation that was both comprehensive and comprehensible. And importantly, the competition attracted contestants with little or no previous experience with Ada or SPARK."

 

The Make with Ada competition ran from May 15, 2017, through September 15, 2017, and attracted 35 entries. Each entrant needed to design and implement an embedded software project, using Ada and/or SPARK as the principal language technologies. Entrants needed to demonstrate that their system met its requirements and was developed using sound software engineering practices.

 

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 include free on-line training available at AdaCore U (u.adacore.com), and various resources for free software developers and students/hobbyists at the GitHub repository (github.com/adacore) and the libre site (https://libre.adacore.com/).

 

Information about the next year Make with Ada competition will be available during Q2 2018 at https://www.makewithada.org/.

 

Images and videos of the top two projects are available at:

 

https://www.makewithada.org/entry/ada-motorcontrol

 

https://www.makewithada.org/entry/smartwatch

 

next page; Ada, SPARK & AdaCore


Vous êtes certain ?

Si vous désactivez les cookies, vous ne pouvez plus naviguer sur le site.

Vous allez être rediriger vers Google.