論文の概要: Trust by design -- in praise of modularization: a case study
- arxiv url: http://arxiv.org/abs/2606.16670v1
- Date: Mon, 15 Jun 2026 13:05:15 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-06-16 16:21:34.566268
- Title: Trust by design -- in praise of modularization: a case study
- Title（参考訳）: モジュラー化を称賛するデザインによる信頼--ケーススタディ
- Authors: Peter Fettke, Wolfgang Reisig,
- Abstract要約: このコントリビューションは、設計による信頼を達成するためのモジュール化の利点に焦点を当てたケーススタディを提示します。
さらなる研究は、提示されたアイデアの本格的な理論を開発するだろう。
- 参考スコア（独自算出の注目度）: 1.3464152928754485
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Ensuring that collective adaptive systems remain safe, reliable, and trustworthy requires measures that transcend so far established formal methods, and in particular established verification techniques. In this contribution, we suggest three such measures: (1) conceptual means: runs with locally confined cause and effect of events, (2) temporal logic like verification techniques that respect and exploit such runs, (3) composing system properties from properties of components. This contribution presents a case study which particularly focuses on the benefits of modularization for achieving trust by design. Further work will develop a full-fledged theory for the presented ideas.
- Abstract（参考訳）: 集合的適応システムの安全性、信頼性、信頼性を保証するには、これまで確立された形式的手法、特に確立された検証手法を超越した措置が必要である。
本稿では,(1)概念的手段:局所的に限定された原因と事象の影響を伴う実行,(2)そのような実行を尊重し活用する検証手法のような時間論理,(3)構成要素の性質からシステム特性を構成すること,の3つの方法を提案する。
このコントリビューションは、特に設計による信頼を達成するためのモジュール化の利点に焦点を当てたケーススタディを提示します。
さらなる研究は、提示されたアイデアの本格的な理論を開発するだろう。
関連論文リスト
- Multi-Modal Agents for Power Distribution Defect Detection: An Evaluation of Foundation Models [12.657204866483681]
送電網は信頼性の高い送電に重要である。
従来の検査手法は、意味理解、一般化、クローズドループ自動化の限界に直面している。
本稿では,電力分布欠陥検出に特化したマルチモーダルエージェントフレームワークを提案する。
論文 参考訳（メタデータ） (2026-06-11T06:57:01Z) - Make Mechanistic Interpretability Auditable: A Call to Develop Guidelines via Continuous Collaborative Reviewing [7.7014773606123645]
我々はMIコミュニティに、ピアレビューを補完する新しいレビューシステムを開発するよう呼びかける。
我々は、AIの安全性、産業、ガバナンスにおいて、MI自体の監査が不可欠であることを提案する。
論文 参考訳（メタデータ） (2026-04-24T17:42:31Z) - Modelling Trust and Trusted Systems: A Category Theoretic Approach [0.0]
私たちは、カテゴリ内の要素、クレーム、結果、決定をオブジェクトとして定式化します。
この枠組みは信頼の確立を理解するための厳格なアプローチを提供する。
ブートランシャットダウンシーケンスやEvil Maid攻撃など,多数の実例を提示する。
論文 参考訳（メタデータ） (2026-02-11T21:08:51Z) - A Taxonomy and Methodology for Proof-of-Location Systems [42.222053626544366]
本稿では,PoL(Proof-of-Location)システムの4つの中核領域を同定する分類法を提案する。
次に、アプリケーション固有の要件を適切なPoLアーキテクチャにマッピングする方法論を紹介します。
全体として、この作業はセキュアでスケーラブルで相互運用可能なPoLシステムを構築するための構造化されたアプローチを提供する。
論文 参考訳（メタデータ） (2025-08-19T19:39:05Z) - Advancing Embodied Agent Security: From Safety Benchmarks to Input Moderation [52.83870601473094]
エンボディード・エージェントは、複数のドメインにまたがって大きな潜在能力を示す。
既存の研究は主に、一般的な大言語モデルのセキュリティに重点を置いている。
本稿では, エンボディエージェントの保護を目的とした新しい入力モデレーションフレームワークを提案する。
論文 参考訳（メタデータ） (2025-04-22T08:34:35Z) - A Theory-driven Interpretation and Elaboration of Verification and Validation [49.97673761305336]
本稿では,システム工学における検証と検証の形式理論について述べる。
検証と検証の正確な定義を開発し、システムに関する知識の確認と文脈化におけるそれらの役割を明確にする。
論文 参考訳（メタデータ） (2025-04-11T17:58:07Z) - Between Randomness and Arbitrariness: Some Lessons for Reliable Machine Learning at Scale [2.50194939587674]
dissertation: 信頼性を犠牲にすることなくスケーラビリティを実現するために、MLにおける偏在性のソースの定量化と緩和、不確実性推定と最適化アルゴリズムのランダム性。
論文は、機械学習の信頼性測定に関する研究が法と政策の研究と密接に結びついていることの例による実証的な証明として機能する。
論文 参考訳（メタデータ） (2024-06-13T19:29:37Z) - Trust but Verify: Assigning Prediction Credibility by Counterfactual
Constrained Learning [123.3472310767721]
予測信頼性尺度は統計学と機械学習において基本的なものである。
これらの措置は、実際に使用される多種多様なモデルを考慮に入れるべきである。
この研究で開発されたフレームワークは、リスクフィットのトレードオフとして信頼性を表現している。
論文 参考訳（メタデータ） (2020-11-24T19:52:38Z) - A Unified Taylor Framework for Revisiting Attribution Methods [49.03783992773811]
我々はTaylor属性フレームワークを提案し、7つの主流属性メソッドをフレームワークに再構成する。
我々はTaylor属性フレームワークにおいて、良い属性の3つの原則を確立する。
論文 参考訳（メタデータ） (2020-08-21T22:07:06Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。