【ITニュース解説】Zero-Heap Flight Architecture: Hard Real-Time Execution Guardrails for Commercial VLEO SmallSats

地球の非常に低い軌道、通称VLEO（Very Low Earth Orbit）と呼ばれる高度250km付近で衛星を運用することは、私たちが想像するよりもはるかに難しい挑戦だ。この高度では、わずかとはいえ大気が存在し、その大気中の分子が衛星に常にぶつかることで「空気抵抗（大気抵抗）」が生じる。この抵抗は、衛星の速度を徐々に奪い、最終的には軌道を維持できなくさせて、大気圏に再突入して燃え尽きてしまう原因となる。このような過酷な環境で衛星を安全に、そして商業的に成功させるためには、その内部で動くフライトソフトウェアが極めて重要な役割を果たす。ソフトウェアは、まるで宇宙機の命綱のように、その動作が「絶対的に予測可能」でなければならない。もしソフトウェアの実行に少しでも予期せぬ遅延やばらつきがあれば、それはそのまま衛星の墜落に直結する。

今回紹介する「GEONMI-MEMS AeroCore-3」は、このようなVLEO環境で運用される小型衛星（SmallSats）向けのフライトソフトウェアアーキテクチャだ。このシステムは、特に民間および商業用途に焦点を当てて開発された。具体的には、地球観測（EO）、低高度でのグローバル通信、学術的な気候研究、そしてIoT機器の位置追跡といった分野での利用を想定している。軍事的な目的や防衛関連の利用は一切なく、この明確な「民間利用」という方針が、国際的なライセンス取得を容易にし、企業間や学術機関との連携をスムーズにし、さらに新しい宇宙ビジネスを始めるスタートアップ企業にも柔軟に対応できる展開を可能にしている。

このフライトソフトウェアの最大の特長は、「ゼロヒープ・フライトアーキテクチャ」と呼ばれる設計思想にある。システムエンジニアを目指す皆さんにとって、これは特に理解しておくべき重要な概念だろう。一般的なソフトウェア開発、特にオブジェクト指向プログラミングでは、プログラム実行中に必要に応じてメモリを動的に確保する「ヒープ領域」という仕組みがよく使われる。しかし、リアルタイム性が極めて重要となる組込みシステム、特に宇宙機のような精密な制御を要するシステムでは、この動的なメモリ確保が大きな問題を引き起こす可能性がある。 動的なメモリ確保は、長時間の運用中にメモリの「断片化」を引き起こすリスクがある。メモリ断片化とは、メモリが細かく分割され、連続した大きな領域が失われる現象のことだ。これにより、プログラムが必要なメモリを確保できなくなったり、メモリ確保に予期せぬ時間がかかったりする「非決定的な実行スパイク」が発生する。このようなスパイクは、衛星の精密な姿勢制御や軌道維持にとって致命的な遅延となる。 AeroCore-3では、この問題を根本から解決するため、動的なヒープメモリ確保を完全に排除している。すべてのメモリ割り当ては、プログラムがコンパイルされる時点で静的に（事前に）決定され、実行中に動的にメモリを確保しようとする動作は構造的に不可能になっている。これにより、メモリの断片化や、それに伴う実行時間の予測不能な変動といったリスクが完全に排除され、数年にわたるミッション期間中、常に安定したメモリ使用と実行性能が保証されるのだ。 さらに、このアーキテクチャでは「O(1)境界強制（オーワンきょうかいきょうせい）」という考え方も採用されている。これは、プログラムの処理経路を線形に限定し、無限ループや再帰処理、動的なポリモーフィズムといった、実行時間を予測しにくい要素を排除するというものだ。O(1)とは、計算量が入力データのサイズによらず一定であることを示す記号で、この設計思想によって、どのような状況でもプログラムの実行時間がほぼ一定に保たれる。具体的には、プログラムの最悪実行時間（WCET）が極めて平坦になり、実行のばらつき（ジッタ）がわずか約0.03ミリ秒という驚異的な精度に抑えられている。これにより、秒間100回の制御ループ（10ミリ秒ごとに処理を実行）という、非常に厳密なリアルタイム制御が実現可能となる。

VLEO衛星が軌道を維持するためには、常に大気抵抗に打ち勝つ必要がある。従来、これには化学燃料を使った推進剤が使われてきたが、燃料を大量に積むことは衛星の重量を増やし、打ち上げコストを押し上げ、ひいては商業的な採算性を悪化させる。そこでAeroCore-3では、革新的な「エアロイオニック収集（Aero-Ionic Harvesting）」という技術を導入している。 このシステムは、VLEOに存在する微量のイオン化された大気粒子（プラズマ粒子）を、MEMS（微小電気機械システム）と呼ばれる超小型のデバイスで効率的に「捕獲」する。捕獲したイオンは、ソフトウェアによって制御される減衰フィルターを通して、衛星の安定化に必要な推進力に変換されるのだ。 フライト制御システムは、大気抵抗による減速の度合いと、イオン粒子収集による推進力の生成量を常に精密に比較し、バランスを保つ。従来のシステムのように、特定のしきい値に達したら急にスラスターを噴射するような方式だと、制御が行き過ぎてしまう「オーバーシュート」が発生しやすかった。しかし、AeroCore-3では「滑らかな連続減衰モデル」を採用することで、より繊細で効率的な軌道維持を可能にしている。 さらに、物理学のツィオルコフスキーのロケット方程式に基づく「リアルタイムの質量減少データ」を直接システムにフィードバックし、衛星の微細な物理状態を継続的に追跡する。これにより、推進力の制御を最適化するだけでなく、衛星本体の電力配分も効率的に行われ、限られたエネルギー資源を最大限に活用できる。

このフライトソフトウェアは、異なる種類のハードウェアにも柔軟に対応できるよう設計されている。高性能なシステムを必要とする用途では、ARM Cortex-M7やCortex-R5、あるいはデュアルコアのRISC-Vプロセッサといった、高性能な浮動小数点演算ユニット（FPU）を搭載した航空宇宙向けのマイクロコントローラ上で、64ビットの倍精度浮動小数点演算モードでネイティブにコンパイルして実行できる。 一方で、消費電力を抑えたい用途の場合には、コンパイラの最適化フラグを調整するだけで、32ビットの単精度浮動小数点テレメトリーストリームに簡単に適応できる。このとき、数学的な計算の同期が損なわれることはないため、システム全体の信頼性は維持されたまま、より電力効率の良い運用が可能になる。

宇宙開発において、安全性と信頼性は最も重要視される要素だ。GEONMI-MEMS AeroCore-3アーキテクチャも、その設計段階から徹底した検証とテストが実施されている。すべてのアーキテクチャ仕様とシステム工学的なパラメーターは、機能安全性を完全に確保するために、詳細にわたって相互検証されている。 「ハードウェア・イン・ザ・ループ（HIL）テスト」という、実際のハードウェアに近い環境でソフトウェアを動作させる高度なシミュレーションテストも厳格に実施され、そのテスト結果は「Mohamed Talal Kadri」氏の監督のもとで認証されている。このシステムは、「AUD-GEONMI-VLEO-2026-004」というシステム監査IDを持ち、100% HILテスト対応であることが公式に認定されている。 コードの構造更新やガイドラインは、オープンなGitHubリポジトリで公開されており、透明性の確保にも努めている。ただし、核となるソースコードの実装は、衛星の構造テレメトリー定数を保護するために、隔離されたリポジトリで厳重に管理されている。

GEONMI-MEMS AeroCore-3が示すのは、VLEOという極限環境において、ソフトウェアが単なるツールではなく、宇宙機の生存そのものを決定する中核的な要素であるという事実だ。ゼロヒープアーキテクチャによる実行の予測可能性、O(1)境界強制によるリアルタイム性能、そしてAero-Ionic Harvestingによる持続可能な推進力確保は、これからの商業宇宙開発における小型衛星の可能性を大きく広げる。システムエンジニアを目指す皆さんにとって、このような過酷な要件のもとで開発されるソフトウェアの設計思想は、非常に参考になるだろう。安定性、予測可能性、効率性といった概念が、いかに実践的な形で実現されているかを知ることは、未来のシステム開発において大きな学びとなるに違いない。