編集：信頼性と耐障害性が非常に重要であると信頼性の高い宇宙飛行ソフトウェアを実行するための特定のLinuxディストリビューション？明確にするため
、はどの特定のLinuxディストリビューション（またはLinuxディストリビューションのおそらく種類）があるが、信頼性の高いC++ソフトウェアを実行するための推奨？
Blue Originロケットに搭載された簡単なタスク（シリアル入力データの読み出し、出力ピンの論理ハイとローの設定、ビデオ（および保存）、および浮動小数点数の計算）を実行するC++ソフトウェアを開発しています。ソフトウェアはLinux上で動作します。
あなたの知識と経験をお寄せいただきありがとうございます。
Astronouticsと呼ばれる会社が飛行機用のディスプレイを製造しています。 Boing-787ドリームライナーには "Electronic Flight Book"製品があります。主な魅力は、2セットのアプリケーションを実行できることです。パイロットが信頼できるアプリケーション（認証されたアプリケーション）と認証されていないアプリケーションを同じディスプレイ上で実行する信頼性の高いアプリケーション。
この偉業を達成するために、ディスプレイには2台のコンピュータがあります。 1つは認定されたオペレーティングシステムを実行しており、もう1つは何か（通常はWindows）を実行できます。
実行している認定済みのOSはLinuxです。しかし、バニラのLinuxではありません。それは、必要なものだけを十分に機能させたもので、バージョンを大幅に削減しました。これは、認証プロセス自体が非常に高価であり、行数がこれに大きく影響するためです。
信頼性の高い環境でLinuxを実行できますが、これは通常のLinuxではありません。
洞察をいただきありがとうございます。具体的な例を挙げていますか？（航空宇宙レベルの信頼性のために変更されたLinuxカーネル） – nolan
私は、Linuxのバージョンを販売している企業は、認定を受けていると思います。私はあなたの名前を与えることはできません。 –
本当にあなたがしていることによって異なります。 "シンプル"は非常に多くの異なる領域をカバーしています。 – samuelnj
シリアルデータを読み込み、出力ピンに論理ハイとローを設定し、ビデオ（および保存）といくつかの浮動小数点数を取得します。 – nolan
C++で書かれた宇宙飛行士ソフトウェアは、抽象化の背後に隠れていることはほとんどありません。 1989年にNASA（契約者のMcDonnell Douglassを通じて）がCにSVDS（宇宙飛行士のダイナミックシミュレータ - シャトル内での上昇荷重をモデル化するために使用された）ポートを行ったが、好きな言葉はFORTRANだった。重要なソフトウェアはすべての命令を検証（および再検証）する能力です。その時、C++はそれが何の目に見えてもシンプルに輝きましたが、それは意識的に避けられました。 –