arXiv論文メモ
新着一覧
cs.SE / cs.SY / eess.SY · 査読状況未確認

JPLの検証・妥当性確認作業を共通形式にまとめる

Developing a Unified Verification and Validation Activity Standard at JPL

Maximilian Vierlboeck, Ellen Van Wyk, Natalia Sanchez, Bogdan Oaida, Torrance James Eberhart, Marie Piette Gomez, Christopher Delp, Marijke G. Jorritsma, Alex Desharnais

この論文をやさしく読む

ひとことで言うと

JPLでばらばらになっていた検証・妥当性確認の作業記録を、共通の関係と属性で表す方式を作った。

何に役立つ?

複数の宇宙ミッションで要求と検証の証拠を追跡し、作業方法を再利用する際の設計例になる。

この研究の面白いところ

29人の実務者によるワークショップと、SysMLでの形式化、Jamaへの実装を組み合わせた。

どこまで分かった?

実装の実証はJPLのJamaプラットフォームで行われた。組織全体への導入効果の定量値は要旨にない。

v1のアブストラクトに基づくAI解説。日本語訳とは別に、用途の解釈を含みます。

アブストラクトの日本語訳

NASAジェット推進研究所(JPL)では、過去10年に検証と妥当性確認(V&V)の実施方法が分かれ、作業の断片化によって負担が増え、プロジェクト間の効率や組織内の知識移転が損なわれてきた。本研究は、異なる種類のミッションと分野から29人の実務者が参加した、人間中心設計のワークショップを通じて作った、共通のV&V作業スキーマを示す。関係に基づく構造を採用し、共通の属性を維持しながら、試験、解析、検査、実演、設計レビューという方法を分けて扱える。プラットフォームに依存しないSysML模型として定式化し、要求、V&V作業、実施場所・環境、証拠の間の双方向の関係を定義した。JPLのJamaプラットフォームへの実装では、テンプレートとモジュール化した項目型による統制されたカスタマイズを実証した。これにより、厳密さと機敏さを両立しつつ、自動化、パターンの再利用、デジタルスレッドとの統合を可能にする。

v1の要旨から自動生成。本文の精読・人による確認は未実施。

初稿
2026-09-23(UTC)
最新改訂
2026-09-23 · v1
査読・掲載
査読状況未確認
arXivで読むPDF

更新履歴

取得できた版を表示。版の更新は査読済みを意味しません。過去版の本文差分は未解析です。

原文の要旨

Verification and validation practices (V&V) at NASA's Jet Propulsion Laboratory (JPL) have diverged over the past decade, creating fragmentation that increases overhead, reduces cross-project efficiencies, and inhibits institutional knowledge transfer. We present a unified V&V activity schema developed through human-centered design workshops involving 29 practitioners across multiple mission types and disciplines. The schema builds on a relationship-based architecture that allows for separating methods (Test, Analysis, Inspection, Demonstration, and Review of Design) while maintaining a common attribute set. Formalized as a platform-agnostic SysML model, the schema defines bidirectional relationships between requirements, V&V activities, venues, and evidence. Implementation in JPL's Jama platform demonstrates controlled customization through templates and modular item types, balancing rigor with agility while enabling automations, pattern reuse, and digital thread integration.

著者のコメント

21 pages, 10 figures

arXiv ID: 2609.28600 / 要約の誤りについて