На stackexchange собрали ответы инженеров SpaceX о том на каком железе и софте летают их корабли. Если кратко - и железо, и ОС, и средства разработки совсем коммодити-коммодити, но с тройным резервированием.
На Falcon 9 стоят 3 dual core x86 с Linux на каждом. Логику бортового софта писали на C/C++. Чтобы не тратиться на защиту вычислителей от радиации просто сравнивают результат трех параллельных вычислений. И отправляют команды на PowerPC (тут удивили, где-то жива еще архитектура) микроконтроллеры двигателей, например, только если все три результата сошлись
Тестировали все это на модели ракеты и на Dragon, пишут, все примерно так же устроено. Все интерфейсы, которые мы видели у астронавтов сделаны на Chromium и JavaScript (чистом что ли, без фреймворков?)
https://www.facebook.com/legezo/posts/3163946240334669