Формальний доказ на драйверах пристроїв за допомогою SPARK — ada-ukraine.github.io

Запит на безпеку повертає популярність мові програмування Ada. Як «найкращий варіант для виживання», що виник у 70-х за ініціативи Пентагону і застосовується у ШІ-продуктах Nvidia, драйвить український Miltech

Мова програмування Ada, що народилася наприкінці 70-х за ініціативи Пентагону, зуміла увійти до топ-10 індексу TIOBE у липні 2025 року. Чи може її поява в рейтингу означати усвідомлення цінності довговічних, надійних та безпечних продуктів? Адже саме ці якості виділяють Ada серед інших мов програмування, і саме з цих причин її використовують для розробки ПЗ військових та великих складних проєктів у США та Європі. А яка доля Ada в українському ІТ? Щоб дізнатися відповідь на це питання, ми поспілкувалися з кандидатом технічних наук Олександром Корочкіним, який є ініціатором викладання Ada в українських університетах, з Head of Engineering української MilTech-компанії «Атлон Авіа», що використовує цю мову для своїх розробок, а також з програмістами, які працюють в компанії AdaCore — виробника засобів розробки ПЗ для Ada. 

Вступ до програмування вбудованих систем мовою Ada — ada-ukraine.github.io