industry news
Subscribe Now

AdaCore’s Fifth Annual Make with Ada Programming Competition Launching July 31st

Over $9K in cash prizes to be awarded for the most innovative embedded systems projects developed using Ada and/or SPARK

NEW YORK, July 28, 2020 – Today AdaCore announced that the 5th annual “Make with Ada” programming competition will be launched on Friday, July 31st. Over the past four years this AdaCore-sponsored competition has produced impressive software engineering projects developed by participants worldwide, and this year’s competition promises to be equally successful. Geared to both experienced and new Ada and/or SPARK users, the contest has as its objective the design and implementation of an innovative embedded software project using Ada and/or SPARK as the primary language. Entrants must demonstrate that their system meets all requirements and uses sound software engineering practices.

The contest will start July 31, 2020, and run to January 31, 2021, offering over $9,000 in total prizes. Participants can register on the developer platform at High placing submissions from previous years include a smart base IoT adjustable bed, an electrocardiogram detection device, a high integrity sumobot, a Swiss Army smart watch, an automated plant sprinkler and many more!


The competition is open to both individuals and team participants. Individuals must be at least 18 years of age. Teams can be composed of up to four participants, each of whom must be individually eligible. Student projects must be submitted either by a student participant (age 26 or less with a valid student ID), or a team composed of student participants. Business-supported people/projects are not eligible.

Evaluation Criteria and Prizes

Projects will be judged based on the documentation supplied in project logs, and prizes will be awarded to those projects that best meet the overall criteria:

  • Software quality – Does the software meet its requirements?;
  • Openness – Is the project Freely Licensed Open Source Software (FLOSS)?; and
  • “Buzz factor” – Does it have a wow effect to appeal to the software community?

The following prizes will be awarded (US dollars):

  • One First Prize, in the amount of $2000
  • Ten Finalist Prizes, in the amount of $600 each
  • One Student-only Prize, in the amount of $1000, will go to the best-ranking student finalist. A project submitted by a student is eligible for both the Student-only Prize and the cash prizes.

Award winners will be announced in March 2021.


Project submissions will be evaluated by a judging panel consisting of Bill Wong, Senior Technology Editor at Electronic Design; and Fabien Chouteau, AdaCore software engineer and an author of the Make with Ada blog post series.

“I have followed or judged the Make with Ada Competition since its inception, and I am amazed at how the competitors have raised the bar in terms of quality and complexity,” said Bill Wong. “The number of entries utilizing SPARK has also grown, which I find very encouraging.”

“The Make with Ada competition is a wonderful demonstration of the benefits and tools of Ada and SPARK in programming embedded systems, for new and experienced Ada users alike,” said Fabien Chouteau. “Each year we are continuously impressed and inspired by the innovation of the project entries. Best of luck to all!”

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. For those new to these languages, or looking to brush up on programming skills, AdaCore has developed an interactive e-learning platform to learn Ada and SPARK ( Other elements of this initiative also include resources for free software developers and students/hobbyists at the GitHub repository (, and the free GNAT Community development environment available to download (

About Ada and SPARK

Ada is a modern, internationally standardized programming language with a long and successful track record in the development of high-reliability embedded systems. Its strong typing and compile-time checking help catch errors early when they are easiest and least expensive to correct. The most recent version of the Ada standard, Ada 2012, supports contract-based programming (pre- and postconditions for subprograms), which in effect embeds the software’s low-level requirements as checkable assertions in the source code.

In critical systems where testing alone might not provide sufficient confidence, the SPARK subset of Ada supports mathematics-based assurance that relevant program properties are met (for example, the absence of run-time errors such as buffer overflow). SPARK can be introduced incrementally into a project, and contracts can be verified either statically (by the SPARK proof engine) or dynamically (with run-time checks).

About AdaCore

Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company’s offerings:

  • The GNAT Pro development environment for Ada, a complete toolset for designing, implementing, and managing applications that demand high reliability and maintainability;
  • The CodePeer advanced static analysis tool, an automatic Ada code reviewer and validator that can detect and eliminate errors both during development and retrospectively on existing software;
  • The SPARK Pro verification environment, a toolset based on formal methods and oriented towards high-assurance systems; and
  • The QGen model-based development tool, a qualifiable and customizable code generator and verifier for Simulink® and Stateflow® models, intended for safety-critical control systems.

Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as railway systems, space systems, commercial avionics, military systems, air traffic management/control, medical devices, and financial services.  AdaCore has an extensive and growing worldwide customer base; see for further information.

AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris.

Leave a Reply

featured blogs
Aug 1, 2021 Made in Long Ridge Open Space Preserve (camera Carey Guo) Monday: HOT CHIPS 2021 Preview Tuesday: Designed with Cadence Video Series Wednesday: July Update Thursday:... [[ Click on the title to access the full blog on the Cadence Community site. ...
Jul 30, 2021
You can't attack what you can't see, and cloaking technology for devices on Ethernet LANs is merely one of many protection layers implemented in Q-Net Security's Q-Box to protect networked devices and transaction between these devices from cyberattacks. Other security technol...
Jul 29, 2021
Learn why SoC emulation is the next frontier for power system optimization, helping chip designers shift power verification left in the SoC design flow. The post Why Wait Days for Results? The Next Frontier for Power Verification appeared first on From Silicon To Software....
Jul 28, 2021
Here's a sticky problem. What if the entire Earth was instantaneously replaced with an equal volume of closely packed, but uncompressed blueberries?...

featured video

Intelligent fall detection using TI mmWave radar sensors

Sponsored by Texas Instruments

Actively sense when a fall has occurred and take action such as sending out an alert in response. Our 60GHz antenna-on-package radar sensor (IWR6843AOP) is ideal for fall detection applications since it’s able to detect falls in large, indoor environments, can distinguish between a person sitting and falling, and utilizes a point cloud vs a person’s identifiable features, which allows the sensor to be used in areas where privacy is vital such as bathrooms and bedrooms.

Click here to explore the AOP evaluation module

featured paper

PrimeLib Next-Gen Library Characterization - Providing Accelerated Access to Advanced Process Nodes

Sponsored by Synopsys

What’s driving the need for a best-in-class solution for library characterization? In the latest Synopsys Designer’s Digest, learn about various SoC design challenges, requirements, and innovative technologies that deliver faster time-to-market with golden signoff quality. Learn how Synopsys’ PrimeLib™ solution addresses the increase in complexity and accuracy needs for advanced nodes and provides designers and foundries accelerated turn-around time and compute resource optimization.

Click to read the latest issue of Designer's Digest

featured chalk talk

The Wireless Member of the DARWIN Family

Sponsored by Mouser Electronics and Maxim Integrated

MCUs continue to evolve based on increasing demands from designers. We expect our microcontrollers to do more than ever - better security, more performance, lower power consumption - and we want it all for less money, of course. In this episode of Chalk Talk, Amelia Dalton chats with Kris Ardis from Maxim Integrated about the new DARWIN line of low-power MCUs.

Click here for more information about Maxim Integrated MAX32665-MAX32668 UB Class Microcontroller