Ir al contenido

ETSIINF en Twitter ETSIINF en Facebook
Inicio > Tablón de anuncios

MAKE WITH ADA - programming competition - €8000 in Prizes

Encouriging the use of the ADA and SPARK programming languages

Anuncio. Enviado por orex válido desde 04/07/2016 hasta 03/08/2016 (caducado)

We are pleased to announce the launch of the “Make with
      Ada” programming competition, a contest that aims to help
      the embedded software community improve the quality of
      their code by encouraging the use of the Ada and SPARK
      programming languages. The competition will run from June
      20 to September 30, 2016 and offers over €8000 in total
      prizes. Participants can register for the competition at

      Competition Rules
      The competition is open to individuals and to teams with
      up to four members. The goal is to design and implement an
      embedded software project for an ARM Cortex M or R
      processor where Ada and/or SPARK are the principal
      language technologies. Entrants will need to demonstrate
      that their system meets its requirements and has been
      developed using sound software engineering practices.
      Submission deadline is September 30, 2016. The award
      winners will be announced in November 2016.

      Prizes and Judging Criteria
      Cash prizes will be awarded to the projects that best meet
      the overall criteria of software dependability, openness,
      collaborativeness and inventiveness.
      * Top Prize - 5000 Euros
      * Second Prize – 2000 Euros
      * Third Prize – 1000 Euros
      Two special awards (nano-drones) will also be offered: one
      for the project rated best for dependability, and the
      other for the project rated best for inventiveness.

      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 are the free on-line training available at
      AdaCore U (, and the various resources for
      free software developers and students/hobbyists at the
      github repository ( and the libre site

      Further information about Ada and Spark, along with links
      to free resource pages and instructions on how to get
      started by downloading the GNAT GPL edition for Bare Board
      ARM, are available at