Max Home IndustryТолько что открылся второй ежегодный конкурс Make With Ada для заявок, которые разрабатывают и реализуют проект встроенного программного обеспечения, в котором Ada и/или SPARK являются основными языковыми технологиями. Чтобы узнать, что требуется, взгляните на прошлогодние призовые работы.
Этот конкурс проектов встраиваемого программного обеспечения спонсируется AdaCore, поставщиком коммерческих программных решений для Ada в рамках:
инициатива инициатива по стимулированию роста Ada и SPARK для разработки встроенных систем и в более общем плане для разработки “программного обеспечения, которое имеет значение”.
Крайний срок проведения конкурса-15 сентября, а призовой фонд составляет более 8000 евро. Он открыт для лиц в возрасте 18 лет и старше (или совершеннолетия в стране их проживания) и небольших групп физических лиц (не организаций) до четырех членов.
Проекты для участия в конкурсе должны использовать языки Ada или SPARK. Они могут дополнительно использовать компоненты, написанные на других языках (например, сторонние библиотеки), но только исходная часть проекта, использующая Ada или SPARK, будет оцениваться по следующим четырем критериям:
Имеет ли Проект Лицензию на свободное программное обеспечение, как определено Фондом свободного программного обеспечения, или лицензию с открытым исходным кодом, как определено Инициативой с открытым исходным кодом? Имеет ли он открытый дизайн? Использует ли он открытые инструменты, оборудование и платформы?
СОТРУДНИЧЕСТВО-это проект, используемый другими членами сообщества программистов? Имеет ли он четко определенные интерфейсы и документацию? Доступен ли он в общедоступном репозитории через систему управления версиями, такую как svn или git? Есть ли у него система отслеживания ошибок? Можно ли его построить с помощью инструментов, доступных сообществу?
НАДЕЖНОСТЬ: Использует ли Проект процессы и технологии, обеспечивающие высокую уверенность в том, что программное обеспечение соответствует его требованиям (например, формальные методы, контрактное программирование, тестирование и стандарты кодирования)? Является ли его документация точной?
Изобретательский проект демонстрирует нестандартное мышление, приносит ли он новые решения существующей проблемы или применяет существующие решения к новой?
Комментируя первый конкурс, состоявшийся в 2016 году, судья конкурса Уильям Вонг сказал::
“Судейство прошлогоднего конкурса Make with Ada показало мне, как разработчики, новички в Ada и SPARK, могут быстро освоить эти языки и создать несколько оригинальных встроенных приложений»
Он был выигран Стефаном Каррезом с помощью инструмента мониторинга EtherScope, который анализирует трафик Ethernet, считывая сетевые пакеты (TCP, UDP, IGMP и т.д.), Выполняя анализ в режиме реального времени и отображая результаты на сенсорной панели 480×272. Второе место было присуждено за фреймворк, разработанный в Ada 2012 для разработки программного обеспечения для управления гоночным автомобилем NXP cup, а третье место досталось проекту Bluetooth-маяков.
В этом году, в дополнение к денежным призам, лучший студент-финалист рейтинга получит портативный 3D-принтер Printbot, а все активные участники получат футболку «Make with Ada» по окончании конкурса.
Другие элементы инициативы AdaCore по продвижению Ada и Spark для встраиваемой системы-это бесплатное онлайн-обучение, доступное в AdaCore U (u.adacore.com), различные ресурсы для разработчиков свободного программного обеспечения и студентов/любителей в репозитории GitHub (github.com/AdaCore) и сайт libre (libre.adacore.com).