Make with Ada – конкурс программных проектов для встраиваемых устройств, спонсируемый компанией AdaCore. В нём могут принять участие независимые разработчики и небольшие группы, использующие языки Ada или SPARK для разработки надежных, открытых и безопасных программ.
Цель этого конкурса – распространение информации о преимуществах языков Ada и SPARK и поощрение их использования в новых проектах. Призовой фонд более 8000 €.
Специальные призы
Все активные участники получат футболку «Make with Ada» по окончании соревнований.
Специальный приз только для студентов: Assempled Printrbot!
Судьи оценят все проекты по их соответствию четырем основным ценностям AdaCore:
Инновационный
Демострирует ли проект оригинальное мышление, привносит ли новые решения в существующую проблему или предлагает существующие решения для новой проблемы?
Совместный
Может ли проект использоваться другими членами сообщества программистов? Имеет ли он четко определенные интерфейсы и документацию? Публичный репозиторий через систему управления версиями, такую как svn или git? Систему отслеживания ошибок? Можно ли его собрать при помощи инструментов, доступных для сообщества?
Надежный
Использует ли проект процессы и технологии, которые способствуют высокой степени уверенности в том, что программное обеспечение отвечает его требованиям (например, официальные методы, контрактное программирование, тестирование и стандарты кодирования)? Насколько точна его документация?
Открытый
Использует ли проект Free Software лицензию, определенную Free Software Foundation, или лицензию с открытым исходным кодом, определенную Open Source Initiative? Открытый дизайн? Использует ли он открытые инструменты, оборудование и платформы?
Основные правила
Участники должны быть лицами, а не организациями
Вы можете участвовать в конкурсе только в качестве отдельного лица или группы лиц. Организации (например, коммерческие предприятия) не имеют права.
Максимум 4 человека на команду
Команда может состоять из одного зарегистрированного лидера, который создаст приложение и управляет им, а также до трех дополнительных членов команды.
Необходимо использовать в первую очередь Ada
Вы можете включить любой язык программирования, который вы хотите, но проект будет оцениваться на части Ada / SPARK.
Необходимо вести журнал проекта
Проект должен быть четко документирован на английском языке в официальном журнале проекта. Доступ к журналу будет предоставлен после утверждения вашей первоначальной заявки.
Работа должна быть оригинальной
Ваш проект должен быть оригинальным. Повторное использование сторонних компонент, таких как уже существующие библиотеки, разрешено, но должно быть документировано.
Встроенное программное обеспечение
Ваша заявка должна быть проектом встроенного программного обеспечения. Судьи будут сверяться с определением.
Комментарии (6)
kostus1974
16.05.2017 10:00+1а тут есть поклонники ada? может кто-нибудь из читателей когда-то вышел из ada? свои подходы в программировании вынес из ada?
чем путь ada лучше пути того же rust или c#?
kirilloid
16.05.2017 10:51+1Ada более безопасный язык. Не найду сейчас ссылку, но в программах на Аде находят гораздо меньше ошибок, чем в программах на си, при этом скорость разработки почти не отличается.
Я когда-то встречался с кодом на Аде, похоже на Паскаль.
Почему Ада не испольуется массово?
"There is lots of Ada tools for embedded development but most of it is very expensive."
"In my experience new Ada developers typically hate the language… But after about three Ada projects most programmers learn to love the language."
Чем Ада лучше? Безопасность, безопасность, безопасность.
Rust — это безопасность (по памяти), скорость как у си.
C# просто общий язык для разработки бизнес-приложений. С кучей штук типа LINQ, которые приятны, но в embedded-разработке не особо нужны.
eao197
16.05.2017 12:03+3а тут есть поклонники ada?
Это сильно вряд ли. Ada в СНГ никогда не была широко известна. Поскольку основной ее областью применения была оборонка в США и странах НАТО, а так же области, где очень высокие требования к надежности ПО: авиация, космос, транспорт, медицина. Опять же на Западе.
Про Ada наслышаны, в основном, те, кто начинал учиться программированию еще в СССР. Либо же просто знает про Ada в силу специфики своей предметной области.
чем путь ada лучше пути того же rust или c#?
AFAIK, Ada и C# живут в совсем разных прикладных нишах. Плюс к тому, Ada — это нативный язык с ручным управлением памятью, тогда как C# — это .NET и GC.
Сравнивать Rust и Ada гораздо сложнее. Оба целят приблизительно в одну и ту же область. Но Ada более стабильный язык, имеющий долгую историю успешного применения в очень специфических нишах. Rust-у пока еще только предстоит туда влезть. Что будет непросто, ибо a) традиции и старые наработки и b) для Ada есть SPARK, который позволяет верифицировать код. Для Rust-а ничего этого пока нет.
С другой стороны, в наших Палестинах вряд ли кто-то будет всерьез рассматривать Ada. Уж больно малоизвестный и специфический язык. Так что для новых проектов, особенно не связанных с высокой надежностью и встраиваемыми системами, у Rust-а здесь шансов гораздо больше. ИМХО.
TheWind3
16.05.2017 14:07Я в далеком прошлом программировал на Ada.
По состоянию на тот момент (20 лет назад) это был жутко громоздкий, неудобный язык. По сравнению с современным c# — это как примерно автомобиль Форд начала 20 века с современным «фокусом».
Честно говоря, совершенно не понимаю, зачем сейчас возрождать Ada.kostus1974
16.05.2017 16:11вот и я о том же думаю. все мы читали те самые статьи про ПО на ада для ввс сша и про их же наса, где на каждую строку кода на ада приходилось 400 строк комментариев. это все помнят и ценят. с автомобилями не — немного слабо. всё-таки и форд т, и фокус — не такие и разные (даже не уверен, что фокус экономичнее; про среднюю скорость в городе 15..25 км в час тоже забывать не надо). а вот абакус-сукаба и ПК — это разные технологии. пк — это прорыв. что такого прорывного в ада, чего нет в других языках? в том же раст? именно технологический разрыв? почему не c++? в ада нельзя накосячить с памятью? но это не функция языка, как идеи — это функция от реализации. и сборщик мусора тоже может быть кривым в конкретной реализации.
а вообще когда мы говорим о возрождении чего-то там, о прекрасном ада, о великолепном хаскеле и т.п. — а хде библиотеки, нужные конкретному васе для сетевухи, для видяхи, для звуковухи и вообще для gpio? нету или есть, но от 2001-го года? зачем пусть и чудесный, но сферический конь в вакууме?
16433407
Ребят, ну либо «Make Ada Great Again», либо «Больше Ada». Последнее название как раз про популяризацию.