論文の概要: A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
- arxiv url: http://arxiv.org/abs/2510.00092v1
- Date: Tue, 30 Sep 2025 16:13:03 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-10-03 16:59:20.178516
- Title: A Scalable Framework for Safety Assurance of Self-Driving Vehicles based on Assurance 2.0
- Title(参考訳): A Scalable Framework for Safety Assurance of Self-Driving Vehicles Based on Assurance 2.0 (特集 自動車の安全性保証)
- Authors: Shufeng Chen, Mariat James Elizebeth, Robab Aghazadeh Chakherlou, Xingyu Zhao, Eric Barbier, Siddartha Khastgir, Paul Jennings,
- Abstract要約: Assurance 2.0は、ますます複雑で適応的で自律的なシステムの保証問題に対処するために開発されたモダンなフレームワークである。
厳密さ、透明性、適応性を高めるために、再利用可能な保証理論と明示的な対抗策(デファター)を導入している。
限界は、信頼度測定、疑念の残る管理、自動化支援、そして、敗者および確認バイアスの実践的な処理に持続する。
- 参考スコア(独自算出の注目度): 3.2877342344625777
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Assurance 2.0 is a modern framework developed to address the assurance challenges of increasingly complex, adaptive, and autonomous systems. Building on the traditional Claims-Argument-Evidence (CAE) model, it introduces reusable assurance theories and explicit counterarguments (defeaters) to enhance rigor, transparency, and adaptability. It supports continuous, incremental assurance, enabling innovation without compromising safety. However, limitations persist in confidence measurement, residual doubt management, automation support, and the practical handling of defeaters and confirmation bias. This paper presents \textcolor{black}{a set of decomposition frameworks to identify a complete set of safety arguments and measure their corresponding evidence.} Grounded in the Assurance 2.0 paradigm, the framework is instantiated through a structured template and employs a three-tiered decomposition strategy. \textcolor{black}{A case study regarding the application of the decomposition framework in the end-to-end (E2E) AI-based Self-Driving Vehicle (SDV) development is also presented in this paper.} At the top level, the SDV development is divided into three critical phases: Requirements Engineering (RE), Verification and Validation (VnV), and Post-Deployment (PD). Each phase is further decomposed according to its Product Development Lifecycle (PDLC). To ensure comprehensive coverage, each PDLC is analyzed using an adapted 5M1E model (Man, Machine, Method, Material, Measurement, and Environment). Originally developed for manufacturing quality control, the 5M1E model is reinterpreted and contextually mapped to the assurance domain. This enables a multi-dimensional decomposition that supports fine-grained traceability of safety claims, evidence, and potential defeaters.
- Abstract(参考訳): Assurance 2.0は、ますます複雑で適応的で自律的なシステムの保証問題に対処するために開発されたモダンなフレームワークである。
従来のCrims-Argument-Evidence(CAE)モデルに基づいており、厳密さ、透明性、適応性を高めるために、再利用可能な保証理論と明示的な反論(デファター)を導入している。
継続的かつ漸進的な保証をサポートし、安全性を損なうことなくイノベーションを可能にする。
しかし、信頼度測定、残留疑念管理、自動化支援、敗北者の実践的扱い、確認バイアスには限界が持続する。
本稿では,安全性の議論の完全な集合を同定し,それらに対応する証拠を測定するために,<textcolor{black}{a>の分解フレームワークを提案する。
Assurance 2.0パラダイムに基づいて、フレームワークは構造化テンプレートを通じてインスタンス化され、3段階の分解戦略を採用している。
本稿では,E2E(End-to-end)AIベースの自走車(SDV)開発における分解フレームワークの適用に関するケーススタディについて述べる。
SDV開発は,要件工学(RE),検証検証検証(VnV),デプロイ後(PD)の3つの重要な段階に分けられる。
各フェーズは、製品開発ライフサイクル(PDLC)に従ってさらに分解される。
包括的カバレッジを確保するため、各PDLCを適応した5M1Eモデル(人、機械、方法、材料、測定、環境)を用いて分析する。
もともと製造品質管理のために開発された5M1Eモデルは、アシュアランス領域に再解釈され、文脈的にマッピングされる。
これにより、安全クレーム、エビデンス、潜在的敗北者のきめ細かいトレーサビリティをサポートする多次元分解が可能となる。
関連論文リスト
- Automating Steering for Safe Multimodal Large Language Models [58.36932318051907]
基礎モデルの微調整を必要とせず,モジュール型かつ適応型推論時間介入技術であるAutoSteerを導入する。
AutoSteerは,(1)モデル内部層間の最も安全性に関連のある識別を自動的に行う新しい安全意識スコア(SAS),(2)中間表現から有害な出力の可能性を推定するために訓練された適応安全プローバ,(3)安全性のリスクが検出された場合に生成を選択的に介入する軽量な拒絶ヘッドの3つのコアコンポーネントを組み込んだ。
論文 参考訳(メタデータ) (2025-07-17T16:04:55Z) - T2VShield: Model-Agnostic Jailbreak Defense for Text-to-Video Models [88.63040835652902]
テキストからビデオモデルへの攻撃はジェイルブレイク攻撃に弱いため、特別な方法で安全メカニズムをバイパスし、有害または安全でないコンテンツの生成につながる。
我々は、ジェイルブレイクの脅威からテキストからビデオモデルを守るために設計された包括的でモデルに依存しない防衛フレームワークであるT2VShieldを提案する。
本手法は,既存の防御の限界を特定するために,入力,モデル,出力の段階を体系的に解析する。
論文 参考訳(メタデータ) (2025-04-22T01:18:42Z) - On the Trustworthiness of Generative Foundation Models: Guideline, Assessment, and Perspective [377.2483044466149]
Generative Foundation Models (GenFMs) がトランスフォーメーションツールとして登場した。
彼らの広く採用されていることは、次元の信頼に関する重要な懸念を提起する。
本稿では,3つの主要なコントリビューションを通じて,これらの課題に対処するための包括的枠組みを提案する。
論文 参考訳(メタデータ) (2025-02-20T06:20:36Z) - Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP [1.2189422792863451]
本稿では, セマンティックルールに基づく分析機能を備えた Assurance 2.0 の拡張手法を提案する。
本稿では, 論理的整合性, 妥当性, 不整合性など, 保証事例のユニークな意味的側面について考察する。
論文 参考訳(メタデータ) (2024-08-21T15:22:43Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。