論文の概要: Trust Without Boundaries: An Architectural Analysis of Satellite Flight Software

• arxiv url: http://arxiv.org/abs/2608.14532v1
• Date: Fri, 14 Aug 2026 17:48:56 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-17 20:14:29.462163
• Title: Trust Without Boundaries: An Architectural Analysis of Satellite Flight Software
• Title（参考訳）: 境界のない信頼: 衛星飛行ソフトウェアの構造解析
• Abstract要約: 我々はNASAのCore Flight Software(cFS)を分析し、オーソリティ、アイデンティティ、コミュニケーション、可観測性、永続性をオンボードコンポーネントに分散させる方法について検討する。 以上の結果から, 単一の妥協されたコンポーネントが, 正当な行動と区別が難しい方法で, 広く共有された権威を活用できることが示唆された。
• 参考スコア（独自算出の注目度）: 2.6955341508867843
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: As spacecraft become more software-driven and interconnected, onboard flight software is an increasingly important security boundary. Popular flight software architectures often treat onboard components as trusted peers, simplifying integration while limiting internal isolation and access control. We analyze NASA's Core Flight Software (cFS) to examine how authority, identity, communication, observability, and persistence are distributed across onboard components. Using NASA's flight-representative NOS3 simulator, we validate these weaknesses through five experiments implemented with a malicious onboard component that abuses legitimate architectural privileges. We then compare cFS with other modular flight software frameworks to identify recurring trust assumptions and architectural weaknesses. Our results show that a single compromised component can exploit broadly shared authority in ways that are difficult to distinguish from legitimate behavior. We conclude with architectural implications and discuss mechanisms for strengthening internal trust boundaries in future flight software systems.
• Abstract（参考訳）: 宇宙船がよりソフトウェア駆動で相互接続されるようになるにつれ、オンボードの飛行ソフトウェアはますます重要なセキュリティ境界となっている。 一般的なフライトソフトウェアアーキテクチャは、しばしばオンボードコンポーネントを信頼できるピアとして扱い、内部分離とアクセス制御を制限しながら統合を簡素化する。 我々はNASAのCore Flight Software(cFS)を分析し、オーソリティ、アイデンティティ、コミュニケーション、可観測性、永続性をオンボードコンポーネントに分散させる方法について検討する。 NASAのフライト表現型NOS3シミュレータを使って、正統なアーキテクチャ特権を悪用する悪意のあるオンボードコンポーネントで実装された5つの実験を通して、これらの弱点を検証する。 cFSと他のモジュラーフライトソフトウェアフレームワークを比較して、繰り返し発生する信頼の前提とアーキテクチャの弱点を特定します。 以上の結果から, 単一の妥協されたコンポーネントが, 正当な行動と区別が難しい方法で, 広く共有された権威を活用できることが示唆された。 我々は,将来の飛行ソフトウェアシステムにおいて,内部信頼境界を強化するためのメカニズムについて,アーキテクチャ的含意をもって結論づける。

関連論文リスト

• RTL-Arrow: Hardware-to-Cloud Bridge [0.3437656066916039]
  RTL-Arrowは、ハードウェア/データ分割をブリッジするパフォーマンスのバイナリをコンパイルするフレームワークである。 セキュリティ研究プログラムのために,これらのライブラリをパッケージングし,配布する過程から学んだアプローチ,そのメリット,教訓について述べる。
  論文  参考訳（メタデータ） (2026-06-11T19:45:15Z)
• ComAct: Reframing Professional Software Manipulation via COM-as-Action Paradigm [44.50099842456479]
  ComActorはプログレッシブな3段階フレームワークを通じてトレーニングされた自己修正エージェントである。 ComForgeは、Windowsコンテナで大規模なトレーニングを行うためのスケーラブルなプラットフォームである。 ComCADBenchは、実際のCADソフトウェアを操作するエージェントの最初のベンチマークである。
  論文  参考訳（メタデータ） (2026-06-11T11:53:32Z)
• The Cognitive Circuit Breaker: A Systems Engineering Framework for Intrinsic AI Reliability [0.0]
  大規模言語モデル(LLM)は、ミッションクリティカルなソフトウェアシステムにますます多くデプロイされている。 本稿では,遅延のオーバーヘッドを最小限に抑えた本質的な信頼性監視を実現する,新しいシステムエンジニアリングフレームワークであるCognitive Circuit Breakerを提案する。 本稿では,認知的不協和の統計的に有意な検出,アーキテクチャに依存したout-of-Distribution(OOD)の一般化,およびこのフレームワークがアクティブな推論パイプラインに無視可能な計算オーバーヘッドを付加することを示す。
  論文  参考訳（メタデータ） (2026-04-15T02:34:37Z)
• Why Does the LLM Stop Computing: An Empirical Study of User-Reported Failures in Open-Source LLMs [50.075587392477935]
  オープンソースのDeepSeek、Llama、Qwenのエコシステムから、705の現実世界の失敗に関する大規模な実証的研究を行った。 ホワイトボックスオーケストレーションは、モデルアルゴリズムの欠陥からデプロイメントスタックのシステム的脆弱性へと、信頼性のボトルネックを移動させます。
  論文  参考訳（メタデータ） (2026-01-20T06:42:56Z)
• Privacy-Preserving IoT in Connected Aircraft Cabin [1.1882429922524669]
  現代の航空機キャビンのような共有されたマルチベンダ環境におけるIoTデバイスの普及は、データコラボレーションの約束と、乗客のプライバシーに対するリスクの衝突を引き起こす。 本稿では,CSMIMのようなアーキテクチャ上にプライバシ・エンハンシング・テクノロジー(PET)の層を統合することにより,このギャップを埋めるフレームワークを提案し,評価する。 リソース制約のあるハードウェアで高忠実なテストベッドを使用して、データのプライバシ、ユーティリティ、コンピューティングパフォーマンスのトレードオフを定量化する。
  論文  参考訳（メタデータ） (2025-11-19T09:41:25Z)
• An AUTOSAR-Aligned Architectural Study of Vulnerabilities in Automotive SoC Software [6.313369851991342]
  本研究は、自動車のシステム・オン・チップ(SoC)脆弱性180件を分析した。 16の根本原因と56の影響を受けるソフトウェアモジュールを特定し、CWE(Common Weaknession)カテゴリとアーキテクチャレイヤの階層化遅延を調査した。 我々は、パッチの遅れを長くした主要な脆弱性パターンとクリティカルモジュールを発見し、自動車のCPSプラットフォームをセキュアにするための実用的な洞察を提供する。
  論文  参考訳（メタデータ） (2025-10-09T08:38:06Z)
• ASTREA: Introducing Agentic Intelligence for Orbital Thermal Autonomy [51.56484100374058]
  ASTREAは、自律的な宇宙船運用のためのフライト・ヘリテージ・ハードウェア上で実行される最初のエージェント・システムである。 我々は,資源制約付き大規模言語モデル(LLM)エージェントと強化学習コントローラを,空間対応プラットフォームに適した非同期アーキテクチャに統合する。
  論文  参考訳（メタデータ） (2025-09-16T08:52:13Z)
• DRIFT: Dynamic Rule-Based Defense with Injection Isolation for Securing LLM Agents [52.92354372596197]
  大規模言語モデル(LLM)は、強力な推論と計画能力のため、エージェントシステムの中心となってきています。 この相互作用は、外部ソースからの悪意のある入力がエージェントの振る舞いを誤解させる可能性がある、インジェクション攻撃のリスクも引き起こす。 本稿では,信頼に値するエージェントシステムのための動的ルールベースの分離フレームワークを提案する。
  論文  参考訳（メタデータ） (2025-06-13T05:01:09Z)
• The Impact of SBOM Generators on Vulnerability Assessment in Python: A Comparison and a Novel Approach [56.4040698609393]
  Software Bill of Materials (SBOM) は、ソフトウェア構成における透明性と妥当性を高めるツールとして推奨されている。 現在のSBOM生成ツールは、コンポーネントや依存関係を識別する際の不正確さに悩まされることが多い。 提案するPIP-sbomは,その欠点に対処する新しいピップインスパイアされたソリューションである。
  論文  参考訳（メタデータ） (2024-09-10T10:12:37Z)
• On the Security Blind Spots of Software Composition Analysis [46.1389163921338]
  Mavenリポジトリで脆弱性のあるクローンを検出するための新しいアプローチを提案する。 Maven Centralから53万以上の潜在的な脆弱性のあるクローンを検索します。 検出された727個の脆弱なクローンを検出し、それぞれに検証可能な脆弱性証明プロジェクトを合成する。
  論文  参考訳（メタデータ） (2023-06-08T20:14:46Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。