論文の概要: JTA: Joint Testability Architecture for Scenario-Based Validation of Safety-Critical Software

• arxiv url: http://arxiv.org/abs/2608.05594v1
• Date: Thu, 06 Aug 2026 04:35:38 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-08-07 17:43:06.698977
• Title: JTA: Joint Testability Architecture for Scenario-Based Validation of Safety-Critical Software
• Title（参考訳）: JTA: シナリオベースの安全クリティカルソフトウェア検証のための共同テスト可能性アーキテクチャ
• Abstract要約: 統合テスト容易性アーキテクチャ(JTA)は、コントロール可能性、可観測性、アイソラビリティという3つの側面に沿って検証能力を特徴付け、それらを3つのドメインで編成する。 JTAは、安全クリティカルなソフトウェアにおけるシナリオベースの検証をモデル化、設計、評価するためのアーキテクチャ基盤を提供する。
• 参考スコア（独自算出の注目度）: 3.90115985145439
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Validation adequacy in safety-critical software depends on more than the system under test. Critical scenarios must be constructed under controlled conditions, execution evidence must be aligned into verdict-ready form, and abnormal outcomes must be attributable to actionable causes. Existing testability research remains largely artifact-centric and offers little architectural support for reasoning about the combined capability of the scenario, the test system, and the system under test. Joint Testability Architecture (JTA) addresses this gap by treating those three elements as a single object of analysis and design. It characterizes validation capability along three dimensions--controllability, observability, and isolability--and organizes them through three domains, three bridges, and an analysis-design-evaluation-refinement loop. JTA also introduces scenario contracts, joint capability assessment, validation blind-spot identification, and bridge-oriented design actions that map capability gaps to concrete improvements in control points, evidence organization, and attribution boundaries. An illustrative analysis of ArduPilot failsafe validation shows that link-loss scenarios are comparatively mature, whereas state-estimation anomaly scenarios remain harder to validate because evidence alignment and attribution semantics are weaker. JTA is not a replacement for existing testing or safety-analysis techniques; it provides an architectural basis for modeling, designing, and assessing scenario-based validation in safety-critical software.
• Abstract（参考訳）: 安全クリティカルなソフトウェアの検証精度は、テスト中のシステム以上のものに依存します。 重要なシナリオは、制御された条件下で構築され、実行証拠は検証可能な形式に整列され、異常な結果が実行可能な原因に起因する必要がある。 既存のテスト容易性の研究はほとんどがアーティファクト中心であり、シナリオ、テストシステム、テスト中のシステムの組み合わせ能力について推論するためのアーキテクチャ的なサポートはほとんど提供されない。 共同テスト容易アーキテクチャ(JTA)は、これらの3つの要素を分析と設計の単一のオブジェクトとして扱うことで、このギャップに対処します。 制御性、可観測性、アイソラビリティという3つの次元に沿って検証機能を特徴付け、それらを3つのドメイン、3つのブリッジ、分析-設計-評価-再定義ループを通じて整理する。 JTAはまた、シナリオコントラクト、共同能力評価、検証盲点識別、そして、機能ギャップを制御ポイント、エビデンス組織、帰属境界の具体的な改善にマップするブリッジ指向の設計アクションも導入している。 ArduPilotのフェールセーフ検証の実証分析によると、リンクロスのシナリオは比較的成熟しているが、証拠のアライメントと属性のセマンティクスが弱いため、状態推定の異常シナリオは検証が難しい。 JTAは、既存のテストや安全分析技術に代わるものではなく、安全クリティカルなソフトウェアにおけるシナリオベースの検証をモデル化、設計、評価するためのアーキテクチャ基盤を提供する。

関連論文リスト

• FLY-EVAL++: An Evidence-Driven Evaluation Protocol for Safety-Constrained Flight Prediction with Large Language Models [45.90905049052029]
  FLY-EVAL++は,安全クリティカル環境下での大規模言語モデルに対するエビデンス駆動評価プロトコルである。 PilotBench設定を履歴条件および多段階予測タスクで拡張することにより、FLY-EVAL++ for Flight Trajectory and Attitude Prediction (FTAP)をインスタンス化する。 本結果より, 安全クリティカル領域の評価は, 精度中心の報告のみに頼るのではなく, 制約満足度と構造的妥当性を明示的に測定すべきであることが示唆された。
  論文  参考訳（メタデータ） (2026-09-03T16:00:02Z)
• Towards Trustworthy Embodied Intelligence: A Systems Framework and Graded Trustworthiness Levels [53.63220028820581]
  身体的知性は、学習した知覚と意思決定をリアルタイムの計算、制御、物理的相互作用と統合する。 我々は,信頼に値するインテリジェンスを,特定のタスクを確実に実行するための持続能力として定義する。
  論文  参考訳（メタデータ） (2026-07-28T17:50:44Z)
• Gatekeepers and Hallucinations: A Layered Evaluation Framework for LLM-Driven Quantum Circuit Generation [0.0]
  材料インフォームド変分量子固有解器(VQE)回路生成のための階層評価フレームワークを提案する。 5つの異なるLCM障害モード(幾何学幻覚、存在しないAPI使用、統合障害、制約違反、検証不可能な出力)を分類する。 評価プラットフォーム自身のソースコードの法医学的な監査により、サイレントフォールバック・テンプレート置換によって、ハーネスに2つの明らかなモデル障害が生じたことが確認された。
  論文  参考訳（メタデータ） (2026-06-16T19:17:54Z)
• What to Test Next: Interpretable Coverage Gap Discovery in Driving VLMs [52.50210189669399]
  視覚言語モデル(VLM)を駆動するには,操作設計領域(ODD)が定義する様々な条件のシーンを正確に理解する必要がある SliceScorerは、欠落したスライス推薦のための決定論的スコアリングルールである。 SliceNavは, 従来のスライス発見法よりも, 高リスクカバレッジギャップを効果的に表面化することを示す。
  論文  参考訳（メタデータ） (2026-06-01T03:18:01Z)
• Referential Security as a New Paradigm for AI Evaluations [5.748110232428846]
  我々は,AI評価の新しいパラダイムとして参照セキュリティを提案する。 このアプローチは、モデルアイデンティティを経験的に検証可能な性質として再設計し、参照安定性を実体セキュリティが条件としているものと区別する。
  論文  参考訳（メタデータ） (2026-05-25T10:24:10Z)
• Automated Self-Testing as a Quality Gate: Evidence-Driven Release Management for LLM Applications [51.56484100374058]
  我々は,エビデンスに基づくリリース決定を伴う品質ゲートを導入する自動自己テストフレームワークを提案する。 内部展開型多エージェント対話型AIシステムの縦型ケーススタディにより,本フレームワークの評価を行った。
  論文  参考訳（メタデータ） (2026-03-13T20:44:15Z)
• TeleAI-Safety: A comprehensive LLM jailbreaking benchmark towards attacks, defenses, and evaluations [46.98103424349245]
  既存の安全性評価ベンチマークとフレームワークは、コアコンポーネントのアンバランスな統合によって制限されることが多い。 本稿では,モジュール型かつ再現可能なフレームワークであるTeleAI-Safetyと,厳密な安全性評価のための体系的なベンチマークを提案する。 12の異なるリスクカテゴリにまたがる342の攻撃コーパスによって、TeleAI-Safetyベンチマークは14のターゲットモデルに対して広範な評価を行う。
  論文  参考訳（メタデータ） (2025-12-05T07:23:30Z)
• A Requirements-Driven Platform for Validating Field Operations of Small Uncrewed Aerial Vehicles [48.67061953896227]
  DroneReqValidator (DRV)は、sUAS開発者が運用コンテキストを定義し、複数のsUASミッション要件を設定し、安全性特性を指定し、独自のsUASアプリケーションを高忠実な3D環境にデプロイすることを可能にする。 DRVモニタリングシステムは、sUASと環境からランタイムデータを収集し、安全特性のコンプライアンスを分析し、違反をキャプチャする。
  論文  参考訳（メタデータ） (2023-07-01T02:03:49Z)
• A Verification Framework for Component-Based Modeling and Simulation Putting the pieces together [0.0]
  提案する検証フレームワークは,コンポーザビリティを異なるレベルで検証するための方法,テクニック,ツールサポートを提供する。 特に、コンポーザビリティ全体の正しさにおける重要性と、プロセスで生じる困難度から、ダイナミック・セマンティック・コンポータビリティ(Dynamic-Semantic Composability)のレベルに注目します。
  論文  参考訳（メタデータ） (2023-01-08T18:53:28Z)
• Recursively Feasible Probabilistic Safe Online Learning with Control Barrier Functions [60.26921219698514]
  CBFをベースとした安全クリティカルコントローラのモデル不確実性を考慮した再構成を提案する。 次に、結果の安全制御器のポイントワイズ実現可能性条件を示す。 これらの条件を利用して、イベントトリガーによるオンラインデータ収集戦略を考案する。
  論文  参考訳（メタデータ） (2022-08-23T05:02:09Z)
• A Review of Testing Object-Based Environment Perception for Safe Automated Driving [0.0]
  自動運転システムの安全確保は、環境認識の不確実性を考慮しなければならない。 本論文では,安全確保の一環として認識テストがいかに実現されるかに関する文献をレビューする。
  論文  参考訳（メタデータ） (2021-02-16T21:40:39Z)
• Efficient statistical validation with edge cases to evaluate Highly Automated Vehicles [6.198523595657983]
  自動運転車の大規模展開は、まだ解決されていない多くの安全上の課題にもかかわらず、差し迫っているようだ。 既存の標準は、検証が要求をカバーするテストケースのセットだけを必要とする決定論的プロセスに焦点を当てています。 本稿では, 自動生成テストケースを最悪のシナリオに偏り付け, システムの挙動の統計的特性を計算するための新しい手法を提案する。
  論文  参考訳（メタデータ） (2020-03-04T04:35:22Z)

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

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