Конкретные дистрибутивы Linux для запуска высоконадежного программного обеспечения для космических полетов?
Отредактировано для ясности:
Надежность и отказоустойчивость чрезвычайно важны, есть ли конкретный Linux дистрибутивы (или, возможно, типы Linux дистрибутивов) рекомендуется для запуска высоконадежного программного обеспечения C ++?
Я занимаюсь разработкой программного обеспечения на C ++ для выполнения некоторых простых задач (считывание данных с последовательного ввода, установка максимальных и минимальных значений логики на выводных выводах, снятие видео (и сохранение) и некоторая математика с плавающей запятой) на борту ракеты Blue Origin. Программное обеспечение будет работать в Linux.
Спасибо за ваши знания и опыт.
Решение
Компания Astronoutics производит дисплеи для самолетов. У них есть продукт «Электронная книга полетов» на лайнерах Boing-787. Их главная привлекательность — возможность запуска двух наборов приложений. Высоконадежные приложения, на которые пилот может положиться (сертифицированные приложения), а также несертифицированные приложения, работающие на одном дисплее.
Чтобы достигнуть этого подвига, их показы имеют два компьютера в них. Один работает под управлением сертифицированной операционной системы, а другой может запускать что угодно вообще (обычно Windows).
Сертифицированная ОС, на которой они работают, — Linux. Это, однако, не ваш ванильный Linux. Это значительно урезанная версия, с достаточным количеством функциональных возможностей для того, что им нужно, и не более того. Это потому, что сам процесс сертификации очень дорогой, и количество строк сильно влияет на это.
Таким образом, вы можете запускать Linux в средах с высокой надежностью, но это не обычный Linux.
Другие решения
Других решений пока нет …