При разработке программного обеспечения (ПО) для наземных систем космического корабля использовались технология структурного проектирования программ с использованием языка ДИПОЛЬ, а для решения задач моделирования использовался язык ЛАКС. ПО БЦВМ и Операционная Система (ОС) были написаны на языках ПРОЛ2 (по мотивам языка ПРОЛОГ) и Assembler/370. В разработке ПО было широко использована концепция R-технологии (R-машина и R-язык), с использованием системы автоматизации программирования и отладки САПО. Применение компьютерных технологий, разработанных в СССР, позволило в короткие сроки разработать программные комплексы объёмом около 100 Мб. В случае отказов ракетных блоков первой и второй ступеней ракеты-носителя система управления орбитального корабля обеспечивает его аварийное возвращение на землю в автоматическом режиме.
Какой язык использовался для решения задач моделирования?