Отличное видео про софт SpaceX для тех, кто знает английский 😬



Ролик рассказывает и прекрасно иллюстрирует основные проблемы космической электроники и пути их решения. Кратко о содержании видео.



1) В ходе полёта высокоэнергетические частицы солнечного ветра (СКЛ) или галактические космические лучи (ГКЛ) могут вызвать сбой в компьютере ракеты или корабля (Bit Flip). Но эти проблемы можно решить следующим образом.



Потеря данных в памяти — в SpaceX используют биты чётности (так называемые биты паритета).



Потеря данных в ходе вычислений — в SpaceX используют аппаратно-программное резервирование. В составе каждой более-менее значимой системы используется центральная вычислительная машина (ЦВМ), состоящая из трёх двухъядерных процессоров, дающая, в итоге, шестикратный уровень резервирования. Вычисленные данные сравниваются между ядрами процессора. В случае несовпадения (Bit Flip) процессор вместе с его выделенными аппаратными и программными ресурсами перезагружается, синхронизируется с остальными двумя и снова включается в работу.



3) На грузовом Dragon не менее 18 систем снабжены троированной ЦВМ.



4) На каждом двигателе Merlin 1D также установлена троированная ЦВМ.



5) Софт на процессорах работает на специальной сборке операционной системы Linux. Её поддержкой занимается специальная команда.



6) Код пишется на программном языке C++, для возможности использования богатой экосистемы этого языка.



7) Код Dragon 1, Dragon 2, Falcon 9, Falcon Heavy и всех наземных систем содержит в своём составе унифицированные модули, позволяя ускорять программные нововведения.