Программное обеспечение для ракет и космических кораблей SpaceX

[Bedal]

«У нас была какая-то тактика, и мы её придерживались»

[SomaTayron]

«С самого своего начала полёты в космос зависели от компьютеров, как на земле, так и в самом космическом аппарате; SpaceX поднял этот принцип на новый уровень.»

Какой именно принцип и на какой уровень — о чем это? Мета-языки в космонавтике уже десятки лет, в том же ЦУПе программу полета описывают не на си, а на блочном алгоритме. Опять же бортовуха управляется на «прослойке», а не напрямую

[deniswift]

На прослойке между креслом и пультом у иллюминатора

[lovefst]

И что нового-то? То что они применяют C++?

Всё что тут описано — пройденный этап. Да, ракета/шатл — это не городской теплопункт с 20ю датчикам и 5ю исп. ус-вами, естественно такого сложного дублирования нет, но наиболее значимые места (насосы, клапана, теплообменники) — продублированы. Раз в месяц врубается вторая часть, а первая на обслугу (ЦТП работатют-то не 2 дня, а десятилетия). Уже чуть ли не 50 лет всё это управляется ПЛК. Какой язык используется до лампочки, у нас, к примеру, Си.
У Американцев, к примеру была проблема с Маринер-1 в 1962м году — ошибка в ПО на Фортране. Дублирование — оно в критических местах всегда применялось. Что нового изобрели в Spacwe-X непонятно?

[Lorise]

Интересно, кто для верджин галактик их ваяет, что они взлететь нормально не могут