Kshana が動作する場所と、しない場所

会議の場で誰かが約束事として初めて知ることのないよう、文書にした適用範囲の境界です。

略語：CPU、中央演算処理装置。GPU、グラフィックス処理装置。NPU、ニューラル処理装置。FPGA、フィールドプログラマブルゲートアレイ。MCU、マイクロコントローラーユニット。RTOS、リアルタイムオペレーティングシステム。OPS-SAT、欧州宇宙機関の軌道上ソフトウェア実験衛星。PyPI、Python Package Index。MCP、Model Context Protocol。AI、人工知能。JSON、JavaScript Object Notation。

実行#

動作しないもの#

ベアメタルのフライト用 MCU、または Rust 標準ライブラリのない小型の RTOS。Kshana は全体が std クレートです。ヒープを確保し、ファイルを読み、JSON を整形し、標準ライブラリの浮動小数点関数を使います。no_std ビルドはなく、それを生成する機能もありません。

決定：no_std のフライトコアは提供しません。それを作ることは、独自の検証負担を伴う別の製品になり、Kshana をフライトソフトウェアに入れることになります。そこでの認定は、それ自体が一つのプログラムであり、私たちにはそこを通る道筋がありません。

代わりにすること#

• Kshana は地上またはペイロードコンピューターで実行し、その結果をアップロードしてください。slot-timing 種別は、フライトコンピューターが必要とする数値、すなわち測位解の周期、逸脱時刻、ガードを、ちょうど出力します。それらの表は数バイトです。
• 閉じた式だけで足りるなら、それを移植してください。ホールドオーバーの逆算は、多項式の分散に対する、短い単調な根探索であり、その式とともに SLOT-TIMING.md に記載されています。これをフライトコードで再実装するのは容易です。Kshana から派生したコードは、Kshana のライセンスのもとにとどまります。

同じく対象外#

ハードリアルタイムの保証（Kshana はメモリを確保し、最悪実行時間についての主張はしません）、いかなるものについてもフライト認定、そして同期プロトコル、コントローラー、ルーティングスタック。Kshana は、それらのシステムが設計の基準とするタイミングの証拠を提供します。Kshana はそれらのいずれでもありません。