- PVSM.RU - https://www.pvsm.ru -
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€
Специальные призы в виде двух программируемых квадрокоптеров подготовлены победителям в областях надёжности и новизны, соответственно.
Проекты будут оцениваться по четырём критериям:
Ключевые требования:
Все подробности узнаете на сайте www.makewithada.org [1]
Дерзайте и удачи вам!
Автор: OCTAGRAM
Источник [2]
Сайт-источник PVSM.RU: https://www.pvsm.ru
Путь до страницы источника: https://www.pvsm.ru/konkurs/140571
Ссылки в тексте:
[1] www.makewithada.org: http://www.makewithada.org/
[2] Источник: https://habrahabr.ru/post/303804/?utm_source=habrahabr&utm_medium=rss&utm_campaign=best
Нажмите здесь для печати.