論文の概要: OntoGSN: An Ontology for Dynamic Management of Assurance Cases

• arxiv url: http://arxiv.org/abs/2506.11023v1
• Date: Tue, 20 May 2025 08:15:16 GMT
• ステータス: 翻訳完了
• システム内更新日: 2025-06-22 23:32:14.484009
• Title: OntoGSN: An Ontology for Dynamic Management of Assurance Cases
• Title（参考訳）: OntoGSN:保証事例の動的管理のためのオントロジー
• Authors: Tomas Bueno Momcilovic, Barbara Gallina, Ingmar Kessler, Dian Balta,
• Abstract要約: IntoGSN: Ontology and support OWL for management ACs in the Goalcturing Notation (GSN) standard。 OntoGSNは知識表現とクエリ可能なグラフを提供する。 我々は,大規模言語モデルにおけるロバスト性の保証を含む事例において,コントリビューションの有用性を実証する。
• 参考スコア（独自算出の注目度）: 0.3999851878220878
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Assurance cases (ACs) are a common artifact for building and maintaining confidence in system properties such as safety or robustness. Constructing an AC can be challenging, although existing tools provide support in static, document-centric applications and methods for dynamic contexts (e.g., autonomous driving) are emerging. Unfortunately, managing ACs remains a challenge, since maintaining the embedded knowledge in the face of changes requires substantial effort, in the process deterring developers - or worse, producing poorly managed cases that instill false confidence. To address this, we present OntoGSN: an ontology and supporting middleware for managing ACs in the Goal Structuring Notation (GSN) standard. OntoGSN offers a knowledge representation and a queryable graph that can be automatically populated, evaluated, and updated. Our contributions include: a 1:1 formalization of the GSN Community Standard v3 in an OWL ontology with SWRL rules; a helper ontology and parser for integration with a widely used AC tool; a repository and documentation of design decisions for OntoGSN maintenance; a SPARQL query library with automation patterns; and a prototypical interface. The ontology strictly adheres to the standard's text and has been evaluated according to FAIR principles, the OOPS framework, competency questions, and community feedback. The development of other middleware elements is guided by the community needs and subject to ongoing evaluations. To demonstrate the utility of our contributions, we illustrate dynamic AC management in an example involving assurance of adversarial robustness in large language models.
• Abstract（参考訳）: 保証ケース(AC: Assurance Case)は、安全性や堅牢性といったシステム特性の構築と信頼性維持のための一般的な成果物である。 ACの構築は難しい場合があるが、既存のツールは静的なドキュメント中心のアプリケーションと動的コンテキスト(例えば自律運転)のためのメソッドをサポートする。 残念なことに、ACの管理は依然として課題であり、変更に直面した組み込みの知識を維持するには相当な努力が必要だ。 そこで我々は OntoGSN: Ontology and support middleware for management ACs in the Goal Structuring Notation (GSN) standard。 OntoGSNは知識表現とクエリ可能なグラフを提供する。 SWRLルールを備えたOWLオントロジーにおけるGSN Community Standard v3の1:1の形式化、広く使用されているACツールとの統合のためのヘルパーオントロジーとパーサ、OntoGSN保守のための設計決定のリポジトリとドキュメント、自動化パターンを備えたSPARQLクエリライブラリ、プロトタイプインターフェースなどです。 オントロジーは標準のテキストに厳密に準拠しており、FAIRの原則、OOPSフレームワーク、能力に関する質問、コミュニティからのフィードバックに従って評価されている。 他のミドルウェア要素の開発は、コミュニティのニーズによってガイドされ、継続的な評価の対象となっている。 提案するコントリビューションの有用性を示すために,大規模言語モデルにおける対角的ロバスト性の保証を含む例で,動的AC管理について解説する。

関連論文リスト

• On Automating Security Policies with Contemporary LLMs [3.47402794691087]
  本稿では、テキスト内学習と検索強化生成(RAG)の革新的組み合わせにより、攻撃緩和ポリシーコンプライアンスを自動化するフレームワークを提案する。 STIXv2 フォーマットと Windows API ドキュメントで公開されている CTI ポリシを用いて実施した実証評価では,RAG ベースラインに比べて精度,リコール,F1 スコアの大幅な向上が示されている。
  論文  参考訳（メタデータ） (2025-06-05T09:58:00Z)
• A Novel Zero-Trust Identity Framework for Agentic AI: Decentralized Authentication and Fine-Grained Access Control [7.228060525494563]
  本稿では,Agentic AI IAMフレームワークの提案について述べる。 リッチで検証可能なエージェント識別子(ID)に基づく包括的フレームワークを提案する。 また、Zero-Knowledge Proofs(ZKPs)によって、プライバシ保護属性の開示と検証可能なポリシーコンプライアンスを実現する方法について検討する。
  論文  参考訳（メタデータ） (2025-05-25T20:21:55Z)
• Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation [52.626086874715284]
  我々は、安全でない出力の階層構造を検証する抽象的DNN検証と呼ばれる新しい問題定式化を導入する。 出力到達可能な集合に関する抽象的解釈と推論を活用することにより,形式的検証プロセスにおいて,複数の安全性レベルを評価することができる。 我々の貢献には、新しい抽象的安全性の定式化と既存のアプローチとの関係を理論的に探求することが含まれる。
  論文  参考訳（メタデータ） (2025-05-08T13:29:46Z)
• Towards Trustworthy GUI Agents: A Survey [64.6445117343499]
  本調査では,GUIエージェントの信頼性を5つの重要な次元で検証する。 敵攻撃に対する脆弱性、シーケンシャルな意思決定における障害モードのカスケードなど、大きな課題を特定します。 GUIエージェントが普及するにつれて、堅牢な安全基準と責任ある開発プラクティスを確立することが不可欠である。
  論文  参考訳（メタデータ） (2025-03-30T13:26:00Z)
• A Framework for Measuring the Quality of Infrastructure-as-Code Scripts [0.0]
  インフラストラクチャ・アズ・コード(IaC)は現代のソフトウェア開発に不可欠なものになっています。 IaCスクリプトの急速な普及は、より良いコード品質評価方法の必要性を強調している。 本稿では,リポジトリを基盤とする新しいIaCコード品質フレームワークを提案する。
  論文  参考訳（メタデータ） (2025-02-05T12:36:19Z)
• Operationalizing Assurance Cases for Data Scientists: A Showcase of Concepts and Tooling in the Context of Test Data Quality for Machine Learning [1.6403311770639912]
  保証事例( Assurance Cases, AC)は、安全工学において、品質主張を構造化された方法で議論するための確立されたアプローチである。 我々は,データサイエンティストが日々使用している技術であるPythonとJupyter Notebookに基づいて,機械学習(ML)コンポーネントのためのACの運用を支援するフレームワークを提案する。 ノートブックを通じて文書化されたフレームワークのアプリケーションの結果は、既存のACツールに統合できる。
  論文  参考訳（メタデータ） (2023-12-08T09:34:46Z)
• A General Framework for Verification and Control of Dynamical Models via Certificate Synthesis [54.959571890098786]
  システム仕様を符号化し、対応する証明書を定義するためのフレームワークを提供する。 コントローラと証明書を形式的に合成する自動化手法を提案する。 我々のアプローチは、ニューラルネットワークの柔軟性を利用して、制御のための安全な学習の幅広い分野に寄与する。
  論文  参考訳（メタデータ） (2023-09-12T09:37:26Z)
• Towards an Interface Description Template for AI-enabled Systems [77.34726150561087]
  再利用(Reuse)は、システムアーキテクチャを既存のコンポーネントでインスタンス化しようとする、一般的なシステムアーキテクチャのアプローチである。 現在、コンポーネントが当初目的としていたものと異なるシステムで運用する可搬性を評価するために必要な情報の選択をガイドするフレームワークは存在しない。 我々は、AI対応コンポーネントの主情報をキャプチャするインターフェイス記述テンプレートの確立に向けて、現在進行中の作業について述べる。
  論文  参考訳（メタデータ） (2020-07-13T20:30:26Z)

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

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