Basilisk and Docker for Reproducible GN&C Simulation: A Workflow Reference

あなたが宇宙エンジニアであり、人工衛星のデジタルツインを構築しようとしていると想像してください。その衛星がどのように飛行し、どのように操縦し、重力に対してどのように反応するかをテストしたいと考えています。これを行うために、Basiliskと呼ばれる強力なオープンソースソフトウェアツールを使用します。

しかし、Basilisk は高性能なレーシングエンジンのようなものです。驚くほど優れていますが、非常にデリケートでもあります。これをあなたのラップトップ、同僚のデスクトップ、大学のサーバーで実行しようとすると、悪夢のような状況に直面するかもしれません。「私のマシンでは動くのに、あなたのマシンでは動かない！」という問題です。これは、すべてのコンピュータがわずかに異なるソフトウェアバージョン、ライブラリ、設定を持っているために発生します。

この論文は、その頭痛の種に対する解決策を提示します。Dockerです。

「お弁当箱」の比喩

Basilisk ソフトウェアと、それを実行するために必要なすべての依存関係（追加ツール）を、複雑で多層構造のサンドイッチだと考えてください。

• 問題点: このサンドイッチを友人に送ろうとすると、パンが潰れたり、レタスがしおれたり、友人がそれを食べるのに適切なナイフを持っていなかったりする可能性があります。計算機用語で言えば、これは「依存関係の管理」の問題です。
• 解決策（Docker）: 著者らは、このサンドイッチ全体を密封された自己完結型のお弁当箱（Docker コンテナ）の中に収めました。このお弁当箱の中では、パンは新鮮で、道具は含まれており、温度も完璧です。友人が暑いキッチンにいようが、冷たいオフィスにいようが、湿った地下室にいようが、お弁当箱を開ければ、サンドイッチはあなたが詰めたときと全く同じ状態です。

この論文が実際に行っていること

この論文は、このお弁当箱を構築するための「レシピ」（Dockerfile という一連の指示）を提供します。以下に、彼らが説明するワークフローを簡潔に分解して示します。

1. コンテナの構築（お弁当箱）
著者らは、Basilisk ソフトウェアをダウンロードし、必要なすべてのツール（Python や C++ コンパイラなど）をインストールし、必要な通りに環境を設定する特定のレシピを作成しました。ソフトウェアのバージョンを固定することで、この「お弁当箱」が決して変化しないようにしました。これにより、今日構築したものが、5 年後に構築したものと同じであることが保証されます。

2. 「魔法」の接続（バインドマウント）
通常、お弁当箱の中にファイルを格納すると、外部から簡単に編集することはできません。著者らは「魔法の窓」（バインドマウントと呼ばれる）を作成することでこれを解決しました。これにより、自分のコンピュータでシミュレーションコードを書くと、コンテナが即座にその変更を検知します。お弁当箱の一貫性と、自分の作業スペースの柔軟性の両方を得ることができます。

3. シミュレーションの実行（シナリオ）
この論文は、ビデオゲームのチュートリアルのように、3 つの複雑さのレベルを順を追って説明します。

• レベル 1: 浮遊する岩。 単にシミュレーション内に宇宙船を配置し、エンジンが動作していることを確認するだけの単純なスクリプトです。
• レベル 2: 地球軌道。 重力、地球、物理法則（地球の重力の微妙な揺らぎを含む）を追加し、人工衛星の軌道を確認するより複雑なスクリプトです。
• レベル 3: 太陽 - 地球系。 太陽と地球の間を移動する人工衛星をシミュレートする、最も複雑なスクリプトです。これには、惑星の位置の巨大なデータベース（SPICE と呼ばれる）を使用します。

4. 「BSKSim」フレームワーク（レゴキット）
単純なテストであれば、1 つの長いスクリプトを書くことができます。しかし、大規模で複雑なミッションの場合、それはごちゃごちゃしてしまいます。著者らは、BSKSimと呼ばれるフレームワークを導入しています。

• 比喩: レゴで組み立てると想像してください。すべてのブロックを接着して 1 つの巨大なブロックにするのではなく、BSKSim は再利用可能な既製のブロック（力学、センサー、制御ソフトウェアのモジュール）を提供します。これらのブロックをさまざまな方法で組み合わせることで、ブロックを毎回作り直すことなく、異なるミッションを構築できます。

5. 「もしも」の機械（モンテカルロ分析）
最後に、この論文は、シミュレーションを連続して 100 回実行する方法を示しています。ただし、毎回わずかなランダムな変化を加えます（例：「もし人工衛星が 10kg 重かったらどうなるか？」や「もし開始位置が数メートルずれていたらどうなるか？」など）。これにより、エンジニアは不確実性下での設計の信頼性を理解することができます。

なぜこれが重要なのか（論文によると）

• 再現性: 研究者が「このシミュレーションを実行してこの結果を得た」と言った場合、他の誰でもこの「お弁当箱」をダウンロードし、全く同じコードを実行して、全く同じ結果を得ることができます。「私のマシンでは動く」という言い訳はもう不要です。
• 使いやすさ: 学生や新しいエンジニアがソフトウェアのインストールに数週間を費やす必要はありません。1 つのコマンドを実行するだけで、環境が準備されます。
• 可視化: このシステムは、Vizardと呼ばれる 3D ツール（ビデオゲームエンジンに似たもの）に接続されており、数値を見るだけでなく、実際に 3D 空間を飛行する人工衛星を「見る」ことができます。

注意点（限界）

この論文は、欠点についても率直に述べています。

• サイズ: 「お弁当箱」は重いです。コンパイルされたコードとすべてのツールを含んでいるため、ファイルは大きく、初めて構築する際には時間（15〜20 分）がかかります。
• グラフィックス: リアルタイムで 3D アニメーションを見たい場合、コンピュータにはコンテナと相性の良いグラフィックカードが必要です。そうでない場合は、動画を保存して後で見る必要があります。
• 更新: Basilisk ソフトウェアは常に更新されているため、互換性を保つために「お弁当箱」のレシピは定期的に更新する必要があります。

要約すると、この論文は、複雑な宇宙シミュレーションツールを携帯可能で壊れないパッケージに包むためのガイドブックであり、使用しているコンピュータに関係なく、誰でもそれを簡単に使用、共有、信頼できるようにするものです。