Сегодня стартовал четвертый ежегодный конкурс “Make with Ada”!

Призовой фонд составляет более $8000, призы достанутся самым инновационным проектам разработанным с использованием языка Ада и/или SPARK.

Нью-Йорк и Париж, Сентябрь 2019 - сегодня компания AdaCore анонсировала старт 4-го ежегодного конкурса по программированию “Make with Ada”. Конкурс ориентирован на энтузиастов и новичков в языке Ада. Целью конкурса является проектирование и реализация проекта в сфере встраиваемых систем на языках Ада или SPARK. Участники должны продемонстрировать, что их системы отвечают всем заявленным требованием, а также владение лучшими с точки зрения надежности методами разработки программного обеспечения.

Конкурс проходит с 10 сентября 2019 по 31 января 2020 и имеет призовой фонд более $8000. Желающие участвовать могут зарегистрироваться на онлайн-платформе Hackster.io http://www.hackster.io/contests/adacore2. В прошлые года участники представили такие проекты, как детектор электрокардиограммы, автономные роботы, контроллер экспонометра и многие другие.

Требования к участникам

Возможно, как индивидуальное, так и командное участие. Участники должны быть старше 18 лет. Команды могут быть от двух до четырех человек. Студенческие проекты должны быть представлены либо студентом (участником, не старше 26 лет с действительным студенческим удостоверением), либо командой, состоящей из студентов. Участники и проекты, с бизнес-поддержкой не допускаются.

Критерии оценки и призы

Работы будут оцениваться на основе журнала проекта. Призы получат проекты наиболее удовлетворяющие следующим критериям:

  • Качество ПО - Удовлетворяет ли программное обеспечение своим требованиям?
  • Открытость - Является ли работа проектом с открытым кодом?
  • Новое в этом году, “Эффект резонанса” - Насколько впечатляющим будет проект для сообщества?

Разыгрываются следующие призы:

  • Первый приз (один) в размере 2000 долларов США
  • Призы финалиста (десять) в размере 600 долларов США каждый
  • Студенческий приз (один) “Analog Discovery 2 Pro Bundle” стоимостью 299.99 долларов США получит лучший участник-студент. Проекты подаваемые студентами будут претендовать на денежный и студенческий приз одновременно

Победители будут оглашены в марте 2020 года.

Судьи

В судейскую коллегию входят Билл Вонг (Bill Wong), старший технологический редактор в Electronic Design и Фабьян Жуто (Fabien Chouteau), инженер-программист AdaCore, автор блог-серии “Make with Ada”. 

“Причиной того, что многие программисты не рассматривают языки Ада и SPARK всерьез служит множество мифов вокруг Ады, в том числе, что Ада сложна в реализации и в изучении”, говорит Билл Вонг. “Как показал опыт участников этого конкурса, разработка встраиваемых систем на языке Ада намного проще, чем вы думаете, а преимуществ (экономия затрат, качество кода, меньше ошибок и т.д.) - много”.

“Одна из основных целей нашего ежегодного конкурса - показать преимущества Ada, SPARK и связанных технологий, поэтому в этом году мы решили улучшить критерии”, говорит Фабьян Жуто. “Помимо качества программного продукта и открытости исходного кода мы будем смотреть, как представленные проекты будут восприняты техническим сообществом в целом”.

Конкурс “Make with Ada” является частью инициативы AdaCore по стимулированию внедрения Ada и SPARK в области разработки встраиваемых систем а, в более общем плане, для разработки важного программного обеспечения. Другими частями этой инициативы являются: интерактивная обучающая платформа (learn.adacore.com), всевозможные ресурсы для разработчиков свободного программного обеспечения и студентов на сайте GitHub (github.com/AdaCore) и среда разработки GNAT Community (adacore.com/community).

Дальнейшая информация о языках Ada и SPARK, ссылки на бесплатные ресурсы и инструкции по началу работы доступны по адресу http://makewithada.org/getting-started.

О языках Ада и SPARK

Ада - это современный язык программирования, имеющий международный стандарт, с длинной и успешной историей применения в области встраиваемых систем и систем высокой надежности. Его строгая система типов и проверки в момент компиляции позволяют обнаружить ошибки на ранних стадиях разработки, когда их легче всего и дешевле всего исправить. Самая последняя версия стандарта языка Ада 2012 предоставляет средства контрактного программирования (такие, как пред- и постусловия), которые позволяют выразить требования к ПО в виде исполняемых конструкций в исходном коде.

В системах с критическими требованиями к надежности, где тестирование само по себе не может обеспечить достаточной достоверности, язык SPARK (подмножество Ады) поддерживает математическую гарантию того, что программа обладает требуемыми свойствами (например, отсутствием ошибок времени выполнения, таких как переполнение буфера). SPARK можно вводить в проект постепенно, а контракты можно проверять либо статически (с помощью SPARK инструментария), либо динамически (проверками во время выполнения).

О AdaCore

Основанная в 1994 году, AdaCore поставляет средства разработки и проверки программного обеспечения для областей, где критически важна безопасность и надежность систем. Четыре ведущих продукта компании:

  • Среда разработки GNAT Pro для Ada, полный набор инструментов для проектирования, реализации и управления приложениями в сферах требующих высокой надежности и длительного сопровождения;
  • Продвинутый инструмент статического анализа CodePeer, автоматический рецензент и валидатор кода Ada, который может обнаруживать и устранять ошибки как во время разработки, так и далее в процессе сопровождения существующего программного обеспечения;
  • Среда проверки SPARK Pro, набор инструментов, основанный на формальных методах и ориентированный на высоконадежные системы; а также
  • Средство разработки на основе моделей QGen, квалифицируемый и настраиваемый генератор кода и верификатор для моделей Simulink® и Stateflow®, предназначенный для систем управления, критичных для безопасности.

На протяжении многих лет клиенты используют продукты AdaCore для разработки и поддержки широкого спектра критически важных приложений в таких областях, как железнодорожные системы, космические системы, коммерческое авиационное оборудование, военные системы, управление и контроль воздушного движения, медицинские приборы и финансовые услуги. AdaCore имеет обширную и растущую базу клиентов по всему миру; см. www.adacore.com/customers/ для получения дополнительной информации.

Продукты AdaCore имеют открытый исходный код и поставляются с поддержкой экспертного уровня, предоставляемой самими разработчиками. Компания имеет штаб-квартиру в Северной Америке в Нью-Йорке и европейскую штаб-квартиру в Париже. www.adacore.com

Контакты

AdaCore US
Jessie Glockner
E: glockner@adacore.com
T: +1-646-532-2723

AdaCore UK
Abigail Singleton
E: abigail@singletonpr.com
T: +44 (0)1252 448 169

AdaCore EU
Pamela Trevino
E: trevino@adacore.com
T: +33 1 49 70 87 82

Last Updated: 9/11/2019
Posted on: 9/10/2019