Услуги программирования на Ada

Об Ada

Ada — это язык программирования общего назначения, разработанный Пентагоном.

Ada была разработана по следующим основным принципам (упоминая лишь некоторые):

  • надежное программное обеспечение (то есть ПО с меньшим количеством ошибок и меньшим количеством дырок в безопасности)
  • поддержка больших проектов, состоящих из множества взаимосвязанных компонентов
  • поддержка всех видов устройств (включая обычные компьютеры и ноутбуки, но также и разные виды «встроенной» электроники)
  • высокая скорость и производительность
  • хорошая поддержка многопроцерных (и современных многоядерных процессоров) систем

Статистика утверждает, что в программах на Ada в четыре раза меньше ошибок, чем в программах на других языках!

И скорость программ на Ada сравнима с самыми быстрыми языками программирования, такими как C, C++, Fortran.

Мифы об Ada

Миф 1. Ada — старинный, устаревший язык программирования

На самом деле, это правда только по отношению к первой версии спецификации Ada, Ada83, разработанной в 1983 г.

Однако последняя спецификация Ada, Ada2012 — это вполне современный язык программирования, с такими современными чертами, как объектно-ориентированное программирование и шаблоные типы. Я бы сказал, что она даже «более современна», чем большинство других современных языков программирования.

Миф 2. Ada — это только для больших систем

Да, Ada была разработана в первую очередь для больших систем, таких как сложные оборонные системы Пентагона. Но эти «большие» возможности полезны и для меньших программ. Они делают программирование более комфортным в общем и более надежным даже для не таких уж и больших программ. Они уменьшают время на отладку и таким образом уменьшают общее время разработки. Это значит, что я делаю ту же работу за меньшее время.

Миф 3. Ада — это для электроники

Действительно, Ada — хороший язык программирования для встроенных систем (электроники), но она так же хороша для обычных персональных компьютеров. Она просто универсальна.

Миф 3. Разработка на Ada требует дорогих технологий.

В действительности, есть хороший бесплатный компилятор Ada (называется GNAT) для большинства современных операционных систем. Он идет со всем ПО для программирования на профессиональном уровне.

Мы работаем в основном с Линуксом, и конечно, есть GNAT для Линукс.

Услуги по Ada

Мы предлагаем разработку любых видов программ (особенно программ под Линукс) на Ada (ПО с технологией повышенной надежности!)

Обычно, разработка ПО высокой надежности стоит дорого. Мы предлагаем то же за ту же цены, как обыкновенная разработка ПО, использующая менее надежные технологии. Да, программное обеспечение повышенной надежности без увеличения цены! Все программные проекты должны делаться с технологиями повышенной надежности, не только управление атомными бомбами Пентагона. Нет никаких причин использовать менее надежные технологии, когда есть инструменты более высокой степени надежности.

Будьте уверены, что мы пишем программы, имея безопасность в уме. Можете быть уверенными, что в наших программах не будет shell code injections, SQL injections, отсутствующие криптографические подписи в HTTP(S) запросах и других часто встречающихся дырок в безопасности, которые делают идиоты.

Пожалуйста пишите Виктору Портону о любом проекте: большом или маленьким. Мы рассмотрим возможность сделать его на Ada.

Наша квалификация

Будьте уверены, что Виктор Портон (хоть и не будучи военным) понимает Ada намного лучше, чем работники Пентагона. У меня была возможность видеть код, написанный сотрудником Пентагона на пенсии. Он был действительно плохим. Я однозначно лучше.

См. также