Сергей Игоревич Рыбин - Ада в России: Обзор

России. Используя терминологию Ada9X, «Russian Ada83 Transition Plan» — это краеугольный камень этой программы.

В эту программу также входят планы подготовке еще одной реализации системы тестирования ACVC. Эта реализация была разработана в Московском Инженерно-Физическом Институте. Она использует PC/DOS как инструментальную и одну из целевых платформ. С самого начала был сделан особый упор на наипростейшие целевые платформы, хотя существует версия для PC XT поддерживающая все возможности языка.

Третья русская Ада-программа, возглавляемая Министерством Гражданской Авиации, ставит своей целью разработку и внедрение в реальный технологический процесс технологию реализации и поддержки встраиваемых авиационных систем. В соответствии с требованиями FAA эта технология должна быть основана на языке Ада. Для этого должно быть разработано специализированное программное окружение включая Ада компилятор. VAX/VMS предполагается как инструментальная платформа (VAX и его русские аналоги — самые распространенные платформы разработки авиа систем). Целевая платформа еще окончательно не определена.

Следующей ступенью программы является реализация Ада 9X.

Сейчас тяжело оценить состояние дел в этих трех программах. Каждая их них имеет свои формальные и неформальные соглашения. У нам есть команды готовые к работе, но эти команды держаться на энтузиазме, а не на реальных деньгах.

3. Ситуация в подробностях

3.1 Русское Ада-сообщество

Русское Ада-сообщество сравнительно небольшое, насчитывает приблизительно две сотни членов. С другой стороны это объединение высоко квалифицированных специалистов, работающих в структурах МО, образовании, лидирующих исследовательских институтах и промышленности. Русское Ада-сообщество будет играть существенную роль в успехе «Russian Ada83 Transition Plan».

Наше Ада-сообщество в основном состоит из разработчиков инструментальных средств, менеджеров и экспертов языка. Ада-программисты составляют малую часть сообщества. Наиболее распространенные программные и аппаратные платформы сейчас, это MS DOS и PC-совместимые компьютеры. Многие русские программисты должны использовать С, С++, Turbo Pascal или языки баз данных (FoxPro, Paradox и т. д.) чтобы зарабатывать на жизнь. Однако, концепции и принципы языка Ада и Ада технологий разработки ПО популярны среди русских программистов. Я знаю многих высоко квалифицированных программистов, кто готов использовать язык Ада в своих проектах. Я думаю будет не трудно организовать Ада-команду в МГУ, т. к. мы имеем прекрасный опыт использования Ады в исследовательских проектах.

3.2 Реализации

Более дюжины реализаций языка Ада в России состоялись. Они основывались на различных инструментальных платформах (IBM PC, русском аналоге IBM-370, PDP-11, DEC Professional, собственных Советских разработках БЭСМ-6 и Эльбрус). Большинство этих систем были ориентированы на кросс-платформенную разработку для специальных русских встраиваемых архитектур. Половина русских реализация Ады вылились в рабочие прототипы, которые были использованы в одном или нескольких реальных проектах. Наилучшие результаты были достигнуты в проекте Паллада, упоминавшемся выше, и проекте Московского Инженерно-Физического Института. До 1993 года, единственным импортным компилятором Ада, получившим распространение в России была одна из ранних версий NYU ADA/ED для IBM-370. Теперь вычислительные центры располагают MS DOS версией NYU ADA/ED. Доступны некоторые нелегальные копии PC Ада компиляторов, но не один из них не используется в коммерческой или финансируемой государством программе.

3.3 Тестирование компиляторов

Еще ни один русский Ада компилятор не прошел сертификацию на ACVC. Но все развиваемые или законченные Ада реализации имеют в планах подготовку к такой сертификации.

Недавно в 1993 наш Вычислительный Центр получил авторизованную копию тестов ACVC 1.11 от German AVF. До этого тесты ACVC не были доступны для русских разработчиков. Ранее наши разработчики использовали наборы тестов сделанные в МГУ и НИИ. Эти работы описаны ниже.

3.4 Использование языка Ада

На основе русских реализаций были выполнены некоторые исследования и коммерческие проекты. Из наиболее серьезных проектов следует отметить встраиваемые авиационные системы.

Сейчас развивается совместный русско-английский проект по подготовке лайнера ИЛ-96М к FAA сертификации и его последующему --">