The challenge

We’re calling on developers across the globe to build cool embedded applications using the Ada and SPARK programming languages and are offering over $8000 in total prizes. Why? Well, the Ada programming language was designed from its inception to be used in applications where safety and security are of the utmost importance and with the increased need for trustworthy software, we want to encourage the use of Ada/SPARK.

We want you to demonstrate your inventiveness and build safe, secure and reliable software that matters. Need some inspiration? Check out previous contest submissions here.

The Technology

The goal is to design and implement an embedded software project where Ada and/or SPARK are the principal language technologies. Judges will refer to this definition of embedded software.

Our free GNAT Community compiler with IDE and comprehensive toolset is available for you to use but any compiler, language and board is acceptable in your project submission. See our Getting Started page for further platform and hardware support information.Still have questions about what you can use? Check out our submission requirements in the rules tab, our FAQ tab or post your question on the discussion tab.