На чем пишут программное обеспечение для космических ракет/спутников/самолетов?

Question

[cthulhudx]

Интересует, какие языки программирования чаще используют для данных целей.Используют ли ассемблер, или что-либо высокоуровневое?

Answer 1

[Saboteur]

Драйвера большинства железяк обычно написаны на Си или ассемблере. В космической промышленности обычно используется специфический софт для конкретного железа, то есть чаще это больше похоже на станок с программным управлением, чем на персональный комп или сервер с операционной системой для работы с пользователем.

В более сложных системах может быть использована проприетарная ОС. Иногда может быть даже что-то на базе *nix.

Наеример на компьютере Curiosity установлена операционная система реального времени VxWorks. Она же использовалась в других марсианских аппаратах: Spirit, Opportunity, Phoenix, Pathfinder и спутнике Mars Reconnaissance Orbiter, а также во многих земных роботах и встроенных системах.
Все программы Curiosity написаны на Си (НЕ С++, а обычный С)

Comments

[Дмитрий Полушкин]

На расте :)

Answer 2

[Alexey]

Ну, двоичный код это для мазохистов :) На С пишут, не обязательно на асме. На erlang-е тоже.

Answer 3

[barmaglod]

В рамках космической программы "Буран" был разработан язык ДРАКОН, который до сих пор используется в различных проектах вроде "Протон-М", "Тополь-М" и других.
Сайт

Answer 4

[Дмитрий Полушкин]

Как пишут ещё понятно, а вот как тестировать подобный код - задачка поинтереснее ;)

Answer 5

[m1v1nka]

давно, правда, видел статью как раз чуть-ли не Ваш вопрос, там было много языков около 10, а то и более, но самые главные выделяли это:
- Phyton
- С/C++
- ассемблер
- Haskell (могу ошибаться)
в статья так же было взято интервью что есть у них человек который даже на фортране пишет код)
журналисты были в NASA вроде бы

Comments

[Vlad_Fedorenko]

Там точно был Питон? Страшно летать на самолётах, для которых ПО написано на языке с динамической типизацией)

[m1v1nka]

Vlad_Fedorenko: коль быть честным написал по памяти, но помню что питон там для расчетов был или что-то в этом вроде. Так же вроде бы на хабре видел статью про ОСь которая используется в самолетах

[Владимир Проскурин]

NASA использует Python для научных вычислений.

Answer 6

[Nick Murzin]

В универе нас подначивали тем, что софт для спутников(высчитывает траекторию или что-то в этом роде) написан на асемблере. Но это нас всё равно не мотивировало его учить =D

Answer 7

[zugo]

В США специально для этой цели был разработан язык Ada.
В Раше до сих пор в космической и военной промышленности активно юзают Fortran.

А так, наверное, обычно на С - стандарт для встраиваемых систем.

Answer 8

[Сергей]

Уж точно не высокоуровневое. Двоичный код, максимум ассемблер

Comments

[АртемЪ]

Почему же? Двоичный код и ассемблер отлаживать не самое лучшее занятие.
Пишут все на высокоуровневых языках, со вставками ассемблера.

Answer 9

[Владимир Мартьянов]

В свое время слышал про Ада в данном контексте.