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