すべてのコマンド
kshana <scenario.toml> はシナリオを実行します。それ以外のコマンドはすべてサブコマンドです。kshana --help はそのすべての使い方を表示し、各サブコマンド自身の --help がそのフラグを一覧表示します。例はチェックアウトしたリポジトリから実行します。
| コマンド | 内容 | 例 | ドキュメント |
|---|---|---|---|
kshana <scenario.toml> |
あらゆる種類のシナリオを実行し、その結果、グラフ、レポートを書き出す | kshana scenarios/clock-holdover.toml |
シナリオ |
kshana --study <suite.toml> |
シナリオ群を実行し、一つの集計済みでスタンプ付きの調査にまとめる | kshana --study scenarios/quantum-pnt-demonstrator.suite.toml |
使い方 |
kshana --validate <scenario.toml> |
シナリオを実行せずにリントする | kshana --validate scenarios/gnss-ins.toml |
使い方 |
kshana kinds [--json] |
すべてのシナリオ種別を、必須フィールドと任意フィールドとともに一覧表示する | kshana kinds |
種別 |
kshana example [<name>] |
出発点にできる同梱のシナリオを表示する | kshana example clock-holdover > clock-holdover.toml |
シナリオ |
kshana receiver-trust <scenario> |
受信機ログを採点する。live はストリームを採点し、evidence は署名付きパックを書き出す |
kshana receiver-trust examples/receiver-trust/session.toml |
受信機の信頼性 |
kshana evidence keygen, verify, attach-timestamp, round-trip |
エビデンスパックに署名、検証、タイムスタンプ付与を行い、ラボでの実行をそのスコアに関連付ける | kshana evidence keygen --out signer.key |
エビデンスパック |
kshana jammertest import, score |
公開されている Jammertest の計画を読み込み、それに照らしてログを採点する | kshana jammertest score --help |
Jammertest |
kshana trust-telemetry |
信頼ストリームを Prometheus、CEF、LEEF、OTLP、MQTT のメッセージとして出力する | kshana trust-telemetry --result session.result.json --print-metrics |
信頼テレメトリ |
kshana imu-fit <imu.csv> |
静止状態の IMU ログからハイブリッドセンサーのパラメーターを推定する | kshana imu-fit still.csv --axis x --expected-mean 0 --id bench-imu |
機器の入力 |
kshana nmea-scenario <scenario> |
スクリプト化したジャミングとスプーフィングを含む合成のブリッジ NMEA と、教官ログを書き出す | kshana nmea-scenario scenarios/training/coastal-drag-off.toml --out drag.nmea |
NMEA 訓練 |
kshana interference-map adsb, ais, daily, sensitivity, fetch-land |
航空機と船舶の報告から、干渉マップと観測所の日次プロダクトを作成する | examples/interference-map/regenerate.sh |
干渉マップ、観測所 |
kshana route-exposure |
経路のうち、劣化したセルを横切る割合 | kshana route-exposure --route examples/interference-map/input/route-adsb.geojson --map examples/interference-map/output/ |
干渉マップ |
kshana bench spec, truth, cases, score, baseline, seal, reveal-check, manifest, verify-manifest, validate, leaderboard |
kshana-bench のタスク、採点、封印したホールドアウト、リーダーボード | kshana bench baseline --task d --split test --out results/ |
Bench |
kshana bench-export <scenario> |
ラボ用シミュレーター向けに、シナリオの機体運動とイベントを出力する（信号は書き出されません） | kshana bench-export scenarios/gnss-ins.toml --out run1 --epoch 2025-03-01T10:00:00Z |
test bench |
kshana compliance-report |
一連の実行が、公開されているレジリエンスフレームワークのどの行の証拠を裏付けるか | kshana compliance-report --mapping |
Compliance |
kshana lunanet-afs-check spec, symbols, generate |
LunaNet AFS のコードとフレームを検査し、生成する | kshana lunanet-afs-check spec |
LunaNet AFS |
kshana standards-pack list, run, rows, tests |
採点対象の標準パック | kshana standards-pack run imo-circ-1575 |
標準パック |
kshana partner check <submission.toml> |
データパートナーの提出物の形式とメタデータを検査し、そのデータファイルをエンジンのリーダーで読み込みます。採点はしません | kshana partner check examples/partner-submission/submission.toml |
パートナーのデータ |
kshana osnma verify <input> |
受信機がどの衛星の航法データを認証できるか | kshana osnma verify examples/osnma/pages-good.txt --public-key "$(cat examples/osnma/public-key.txt)" --json |
OSNMA |
kshana iq scene, acquire, track, sweep, labfit, campaign, conditions, frontend, monitor, inventory, info, extract, convert, decimate |
ソフトウェア受信機でベースバンド記録を作成、読み取り、変換、処理する | kshana iq scene scene.sdrx --rate 2046000 --duration 1 --signal gps-l1ca --prn 3,11 --cn0 45 の後に kshana iq acquire scene.sdrx --signal gps-l1ca --prn 3,11 |
IQ とソフトウェア受信機 |
kshana sky <request> |
指定したスカイラインのもとでの、見通し線の可視性、DOP（精度低下率）、可用性 | kshana sky --site 59.44,24.75 --systems gps-baseline,galileo --mask 10 |
スカイライン |
kshana skyline |
組み込みの遮蔽プロファイルと、その出所 | kshana skyline --presets |
スカイライン |
kshana --help, --version |
すべてのコマンドの使い方、エンジンのバージョン | kshana --help |
使い方 |