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 Hackster.io developer platform at https://www.hackster.io/contests/adacore3. 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!

Eligibility

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.

Judges

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 (learn.adacore.com). Other elements of this initiative also include resources for free software developers and students/hobbyists at the GitHub repository (github.com/AdaCore), and the free GNAT Community development environment available to download (adacore.com/community).

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 https://www.adacore.com/company/our-customers 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. www.adacore.com

Leave a Reply

featured blogs
Aug 5, 2020
The Wainlux K6 is a compact, powerful, simple-to-use laser engraver. It'€™s also incredibly low-priced at around $160 for an Early Bird pledge....
Aug 5, 2020
There are some products that have become so familiar that their name has entered everyday language.  The Hoover Company became so successful in the vacuum cleaner market that its name has entered the language to describe the task they perform.  Here in the UK, many ...
Aug 5, 2020
We renamed our user conference to CadenceLIVE (from CDNLive) just in time for it not to be live and to go virtual. The first conference is CadenceLIVE Americas coming up from August 11th to 13th.... [[ Click on the title to access the full blog on the Cadence Community site....
Jul 31, 2020
[From the last episode: We looked at the notion of sparsity and how it helps with the math.] We saw before that there are three main elements in a CNN: the convolution, the pooling, and the activation . Today we focus on activation . I'€™ll start by saying that the uses of ...

featured video

Product Update: DesignWare MIPI C-PHY/D-PHY IP

Sponsored by Synopsys

Get the latest update on Synopsys' DesignWare MIPI C-PHY/D-PHY IP solution and how the 24 Gbps total bandwidth can enable your camera, display, automotive, drone, and image sensor SoCs implemented in advanced FinFET processes.

Click here for more information about Synopsys' DesignWare MIPI C-PHY/D-PHY IP solution

Featured Paper

Improving Performance in High-Voltage Systems With Zero-Drift Hall-Effect Current Sensing

Sponsored by Texas Instruments

Learn how major industry trends are driving demands for isolated current sensing, and how new zero-drift Hall-effect current sensors can improve isolation and measurement drift while simplifying the design process.

Click here for more information

Featured Chalk Talk

Avnet and Samtec Enable System-Level Exploration with new RFSoC Kit

Sponsored by Samtec and Avnet

5G infrastructure presents daunting challenges on the RF front. We want to put the processing as close as possible to the antenna, and the standards are evolving so fast that programmability is a must. In this episode of Chalk Talk, Amelia Dalton chats with Matt Brown from Avnet and Matt Burns from Samtec about the Avnet Zynq Ultrascale+ RFSoC Development Kit, which brings the power and flexibility of an FPGA-based RF front end to your lab bench.

Click here for more information about the Avnet Zynq Ultrascale+ RFSoC Development Kit