Почалося змагання «Make with Ada» для розробників вбудованих систем



AdaCore організовує новий конкурс для розробників. Як і в минулі рази, на підготовку дається значно більше часу, ніж в олімпіадах з иноформатике. Це як раз підходить тим, кому не подобаються змагання з швидкого написання страшного коду, який потім тільки викинути.

Сьогодні на порядку денному — розробка для ARM на голому залозі і технології верифікації. Загальний призовий фонд — більше 8000€.

Ada славиться хорошим інструментарієм для багатопоточного програмування. Коли до випуску Windows Vista з моніторами в WinAPI залишалося ще 11 років, а до виходу RHEL 3 з рідними потоками (NTPL) залишалося ще 8 років, вже була стандартизована версія стандарту Ada 95 і сертифікований компілятор GNAT на базі GCC для цього стандарту. Зараз інструментарію настав вирівнювання, але на голому залозі є, де розгулятися. Ada і на звичайних операційних системах надає зручні інструменти розробки багатопотокових програм, але на голому залозі, з власним планувальником, підтримує особливості мови, можна розвернутися на повну силу.

Якщо вам коли–небудь хотілося відчути себе хардкорним розробником, наприклад, систем реального часу, так вакансій було не бачити, є стимул спробувати себе в цій якості.

Спеціальний планувальник для голого заліза створить необхідні передумови, безпечний мова Ada 2012 зменшить кількість сюрпризів при налагодженні, а вже якщо зважитеся зовсім серйозно підійти до цього питання, профіль Ravenscar і формальна верифікація SPARK 2014 зведуть їх до мінімуму. Потрібно попередити, що якщо Ada — це мова загального призначення, то останні два інструменти — вже не для всіх, вони досить суттєво обмежують розробника в стилі написання програм.

Переможці отримають наступні призи:
1 місце: 5000€
2 місце: 2000€
3 місце: 1000€

Спеціальні призи у вигляді двох програмованих квадрокоптеров підготовлені переможцям в областях надійності і новизни, відповідно.

Проекти будуть оцінюватися за чотирма критеріями:
  • Новизна. Демонструє проект нові, нестандартні рішення існуючих проблем або застосовує наявні підходи до нових проблем
  • Спільна робота. Корисний проект іншим учасникам спільноти розробників. Чи є у нього зрозумілий інтерфейс і документація. Спільне сховище системи контролю версій. Система відслідковування помилок. Можна скомпілювати загальнодоступним інструментарієм.
  • Надійність. Застосовуються в проекті процеси і технології, що дають високу впевненість, що програмне забезпечення буде відповідати своїм вимогам. Формальні методи програмування за контрактом, тестування, стандарти написання коду. Точна чи документація.
  • Відкритість. чи Є програма вільною у значенні, визначеному Free Software Foundation. Чи є програма відкритої у значенні, визначеному Open Source Initiative. Відкрита чи її архітектура. Використовує вона відкриті засоби розробки, обладнання та платформи.


Ключові вимоги:
  • Беруть участь тільки одинаки, але не організації. Припустимо участь тільки як одинак або команда одинаків; організації (наприклад, підприємства) не допускаються
  • Максимум 4 людини в команді. Команда складається з одного зареєстрованого капітана, який подає і працює з заявкою, і не більше трьох інших учасників.
  • Основна мова програмування — Ada. В проекті можуть бути інші мови програмування, але оцінюється тільки та частина, що на Ada/SPARK.
  • Обов'язково ведення журналу проекту. Проект повинен бути зрозуміло описаний англійською мовою. Доступ до журналу буде надано після підтвердження заявки.
  • Робота повинна бути оригінальною. Ваш проект повинен бути оригінальним внеском. Застосування бібліотек третіх сторін допускається, але має бути документовано.
  • Цільова середовище виконання. Цільової процесор повинен бути ARM Cortex M or R.


Всі подробиці дізнаєтеся на сайті www.makewithada.org

Дерзайте і удачі вам!
Джерело: Хабрахабр

0 коментарів

Тільки зареєстровані та авторизовані користувачі можуть залишати коментарі.