論文の概要: Formalizing Operational Design Domains with the Pkl Language
- arxiv url: http://arxiv.org/abs/2509.02221v1
- Date: Tue, 02 Sep 2025 11:41:27 GMT
- ステータス: 翻訳完了
- システム内更新日: 2025-09-04 15:17:04.012975
- Title: Formalizing Operational Design Domains with the Pkl Language
- Title（参考訳）: Pkl言語による操作設計ドメインの形式化
- Authors: Martin Skoglund, Fredrik Warg, Anders Thorsén, Sasikumar Punnekkat, Hans Hansson,
- Abstract要約: 人間の直接監督なしに操作できる自動化機能の展開は、より高いレベルの自動化を求めるドメインの安全性評価を変更した。
説得力のある安全性を主張するためには、開発者は、意図した文脈で操作した場合、関数が不合理なリスクを伴わないという証拠によって支持される、徹底的な正当化の議論を提示する必要がある。
本稿では,Pkl言語におけるオペレーショナルデザインドメイン仕様(ODD)の形式化について述べる。
- 参考スコア（独自算出の注目度）: 0.4349640169711269
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: The deployment of automated functions that can operate without direct human supervision has changed safety evaluation in domains seeking higher levels of automation. Unlike conventional systems that rely on human operators, these functions require new assessment frameworks to demonstrate that they do not introduce unacceptable risks under real-world conditions. To make a convincing safety claim, the developer must present a thorough justification argument, supported by evidence, that a function is free from unreasonable risk when operated in its intended context. The key concept relevant to the presented work is the intended context, often captured by an Operational Design Domain specification (ODD). ODD formalization is challenging due to the need to maintain flexibility in adopting diverse specification formats while preserving consistency and traceability and integrating seamlessly into the development, validation, and assessment. This paper presents a way to formalize an ODD in the Pkl language, addressing central challenges in specifying ODDs while improving usability through specialized configuration language features. The approach is illustrated with an automotive example but can be broadly applied to ensure rigorous assessments of operational contexts.
- Abstract（参考訳）: 人間の直接監督なしに操作できる自動化機能の展開は、より高いレベルの自動化を求めるドメインの安全性評価を変更した。
人間のオペレータに依存する従来のシステムとは異なり、これらの機能は、現実の条件下では受け入れがたいリスクを導入しないことを示すために、新しいアセスメントフレームワークを必要とする。
説得力のある安全性を主張するためには、開発者は、意図した文脈で操作した場合、関数が不合理なリスクを伴わないという証拠によって支持される、徹底的な正当化の議論を提示する必要がある。
提示された作業に関連する重要な概念は意図されたコンテキストであり、しばしばオペレーションデザインドメイン仕様(ODD)によって捉えられる。
ODDの形式化は、一貫性とトレーサビリティを保持し、開発、検証、アセスメントにシームレスに統合しながら、多様な仕様フォーマットを採用する柔軟性を維持する必要があるため、難しい。
本稿では,Pkl言語でODDを形式化する手法を提案する。
このアプローチは自動車の例で説明されているが、運用状況の厳密な評価を保証するために広く適用することができる。
関連論文リスト
- SOPBench: Evaluating Language Agents at Following Standard Operating Procedures and Constraints [59.645885492637845]
SOPBenchは、各サービス固有のSOPコードプログラムを実行可能な関数の有向グラフに変換する評価パイプラインである。
提案手法では,各サービス固有のSOPコードプログラムを実行可能関数の有向グラフに変換し,自然言語SOP記述に基づいてこれらの関数を呼び出しなければならない。
我々は18の先行モデルを評価し、上位モデルでさえタスクが困難であることを示す。
論文 参考訳（メタデータ） (2025-03-11T17:53:02Z) - Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems [39.23499993745249]
セマンティッククエリにおけるLLM出力に対する正当性条件を指定・強制するためのセマンティック整合性制約(SIC)を導入する。
SICは、従来のデータベース整合性制約をセマンティックセッティングに一般化し、グラウンド、サウンドネス、排他といった一般的なタイプの制約をサポートする。
本稿では,SICをクエリ計画と実行環境に統合するシステム設計について述べる。
論文 参考訳（メタデータ） (2025-03-01T19:59:25Z) - Interactive Agents to Overcome Ambiguity in Software Engineering [61.40183840499932]
AIエージェントは、あいまいで不明確なユーザー指示に基づいて、タスクを自動化するためにますますデプロイされている。
不安定な仮定をし、明確な質問をしないことは、最適以下の結果につながる可能性がある。
対話型コード生成設定において,LLMエージェントが不明瞭な命令を処理する能力について,プロプライエタリモデルとオープンウェイトモデルを評価して検討する。
論文 参考訳（メタデータ） (2025-02-18T17:12:26Z) - Beyond One-Time Validation: A Framework for Adaptive Validation of Prognostic and Diagnostic AI-based Medical Devices [55.319842359034546]
既存のアプローチは、これらのデバイスを実際にデプロイする際の複雑さに対処するのに不足することが多い。
提示されたフレームワークは、デプロイメント中に検証と微調整を繰り返すことの重要性を強調している。
現在の米国とEUの規制分野に位置づけられている。
論文 参考訳（メタデータ） (2024-09-07T11:13:52Z) - Towards Scenario-based Safety Validation for Autonomous Trains with Deep
Generative Models [0.0]
シナリオベース検証のための深層生成モデルを用いたデータシミュレーションの有用性に関する実践経験を報告する。
本研究では,鉄道シーンをより深い生成モデルで意味論的に編集し,限られた量の試験データをより代表的なものにする能力を実証する。
論文 参考訳（メタデータ） (2023-10-16T17:55:14Z) - Safety of the Intended Functionality Concept Integration into a
Validation Tool Suite [0.0]
この研究は、既存のバリデーションツールスイートにおけるSOTIFプロセスの統合を実現する方法を示している。
必要な適応は、アプローチの理解を助けるために付随する例で説明される。
論文 参考訳（メタデータ） (2023-08-31T12:22:35Z) - Setting AI in context: A case study on defining the context and
operational design domain for automated driving [5.083561746476347]
このケーススタディでは、機械学習を自動運転に利用する知覚関数の開発における文脈定義の課題について検討する。
その結果、機械学習を用いたシステムの運用状況を定義する際に、自動車サプライヤーが経験した課題を概説した。
論文 参考訳（メタデータ） (2022-01-27T11:26:32Z) - Unsupervised Domain Generalization for Person Re-identification: A
Domain-specific Adaptive Framework [50.88463458896428]
ドメイン一般化(DG)は近年,人物再同定(ReID)において注目されている。
既存のメソッドは通常、ソースドメインにラベルを付ける必要があります。
本稿では、単純で効率的なドメイン固有適応化フレームワークを提案し、適応正規化モジュールで実現する。
論文 参考訳（メタデータ） (2021-11-30T02:35:51Z) - Evaluating the Safety of Deep Reinforcement Learning Models using
Semi-Formal Verification [81.32981236437395]
本稿では,区間分析に基づく半形式的意思決定手法を提案する。
本手法は, 標準ベンチマークに比較して, 形式検証に対して比較結果を得る。
提案手法は, 意思決定モデルにおける安全性特性を効果的に評価することを可能にする。
論文 参考訳（メタデータ） (2020-10-19T11:18:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。