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