Языки программирования, использовавшиеся при разработке ПО ОК Буран

Материал из свободной русской энциклопедии «Традиция»
Перейти к: навигация, поиск

Разработка программного обеспечения для бортовых вычислителей, наземных и испытательных систем в ходе создания орбитального корабля «Буран» стала, по всей видимости, самым грандиозным проектом такого рода в истории человечества, результаты которого не превзойдены до сих пор.

В ходе работ над программным обеспечением было создано множество программных средств и языков программирования, использовавшихся в различных областях разработки.

  • Для разработки бортового программного обеспечения был создан проблемно-ориентированный язык реального времени ПРОЛ2 и базирующаяся на нем система автоматизации программирования и отладки САПО ПРОЛОГ[1].[2] Так же на Прологе для обеспечения работы управляющих алгоритмов была создана операционная система «Пролог-диспетчер», управлявшая работой БЦВМ.[3]
  • Для разработки программного обеспечения наземных испытаний корабля был создан проблемно-ориентированный язык ДИПОЛЬ и базирующаяся на нём система автоматизации программирования и отладки. Для обеспечения работы алгоритмов испытаний была создана Автоматизированная испытательная система, которая и в настоящее время используется для испытаний космических объектов.
  • Кроме того, был разработан специальный язык моделирования ЛАКС. Активно применялся ассемблер. Также есть сведения[4] о применении в разработке бортового ПО языка ПСИ-Фортран, для создания которого применялся также разработанный советскими учёными язык Рефал[5].

См. также[править]

Примечания и ссылки[править]

  1. Прямой связи с французским ЯП «Prolog» не имеет.
  2. ИПМ им. М.В.Келдыша РАН, Системное и прикладное программирование
  3. Автоматическая посадка стотонного утюга или А с кем работаете Вы?
  4. Автоматизация программирования вычислений над вещественными числами посредством операций целочисленной арифметики, Фролов Андрей Петрович
  5. Суперкластер с глобально адресуемой памятью, Александр Речинский, Виктор Горбунов, Леонид Эйсымонт